Skip to Main content Skip to Navigation

hal-01148523v1  Conference papers
Michel CosnardLuigi Liquori. Weaving Arigatoni with a graph topology
1sr International Conference on Advanced Engineering Computing and Applications in Sciences ADVCOMP 2007, Nov 2007, Papeete, French Polynesia. pp.55 - 59, ⟨10.1109/ADVCOMP.2007.11⟩
hal-00917757v1  Conference papers
Paul Zimmermann. How Fast Can We Multiply Over GF(2)[x]?
Proceedings of Conference on Algorithmic Number Theory 2007, 2007, Turku, Finland. pp.165-170
hal-00917756v1  Conference papers
Paul Zimmermann. Arithmétique entière
Journées Nationales de Calcul Formel, 2007, Luminy, France
hal-00688671v1  Journal articles
Nicolas CrouseillesGuillaume LatuEric Sonnendrücker. Hermite spline interpolation on patches for parallelly solving the Vlasov-Poisson equation
International Journal of Applied Mathematics and Computer Science, University of Zielona Góra 2007, 17 (3), pp.335-349. ⟨10.2478/v10006-007-0028-x⟩
hal-00650597v1  Book sections
Nancy IdeLaurent Romary. Towards International Standards for Language Resources
Laila Dybkjær and Holmer Hemsen and Wolfgang Minker. Evaluation of Text and Speech Systems, Kluwer Academic Publishers, pp.263-284, 2007
inria-00609120v1  Conference papers
Philippe de GrooteSarah MaarekRyo Yoshinaka. On two Extensions of Abstract Categorial Grammars
14th International Conference on Logic for Programming, Artificial Intel ligence and Reasoning - LPAR 2007, Oct 2007, Yerevan, Armenia. pp.273-287, ⟨10.1007/978-3-540-75560-9_21⟩
hal-00607575v1  Conference papers
Marc BenoîtCatherine MignoletSylvia HerrmannDavide RizzoAnna Camilla Moonen et al.  Landscape as designed by farming systems: a challenge for landscape agronomists in Europe
Farming Systems Design 2007, International symposium on Methodologies for Integrated Analysis of Farm Production Systems, 2007, Catania, Italy
hal-00605348v1  Conference papers
Stéphane MarchesinJean-Michel DischlerCatherine Mongenet. Feature Enhancement using Locally Adaptive Volume Rendering
IEEE/EG International Symposium on Volume Graphics, Sep 2007, Prague, Czech Republic
inria-00188456v1  Journal articles
Sunayana GhoshSylvain PetitjeanGert Vegter. Approximation by conic splines
Mathematics in Computer Science, Springer, 2007, 1 (1), pp.39-69. ⟨10.1007/s11786-007-0004-8⟩
inria-00596488v1  Conference papers
Salah HamriNacer BoudjlidaMahmoud Boufaida. An Approach for Building an OWL Ontology for Workflow Interoperability
3rd International Conference on Interoperability of Enterprise Software and Applications, Mar 2007, Madera, Portugal. pp.357-360, ⟨10.1007/978-1-84628-858-6_39⟩
inria-00594883v1  Journal articles
Dominique CansellDominique Méry. Incremental Parametric Development of Greedy Algorithms
Electronic Notes in Theoretical Computer Science, Elsevier, 2007, roceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS 2006), 185, pp.47-62. ⟨10.1016/j.entcs.2007.05.028⟩
inria-00594662v1  Conference papers
Olivier HoenenEric Violard. A Block Based Parallel Adaptive Scheme for Solving the 4D Vlasov Equation
7th International Conference on Parallel Processing and Applied Mathematics, Sep 2007, Gdańsk, Poland. pp.108-117, ⟨10.1007/978-3-540-68111-3_12⟩
inria-00594389v1  Journal articles
Mohamed Salah BouassidaNajah ChridiIsabelle ChrismentOlivier FestorLaurent Vigneron. Automated Verification of a Key Management Architecture for Hierarchical Group Protocols
Annals of Telecommunications - annales des télécommunications, Springer, 2007, 62 (11-12), pp.1365-1387
inria-00580419v1  Book sections
Frédéric CazalsMarc Pouget. Estimation of Local Differential Properties
CGAL Editorial Board. CGAL User and Reference Manual 3.3 edition, CGAL Editorial Board, 2007
inria-00580418v1  Book sections
Frédéric CazalsMarc Pouget. Approximation of Ridges and Umbilics on Triangulated Surface Meshes
CGAL Editorial Board. CGAL User and Reference Manual 3.3 edition, CGAL Editorial Board, 2007
inria-00168313v1  Conference papers
Rodolphe CharrierChristine BourjotFrançois Charpillet. Deterministic Nonlinear Modeling of Ant Algorithm with Logistic Multi-Agent System
International Conference on Autonomous Agents and Multiagent Systems - AAMAS'07, May 2007, Honolulu Hawaii, United States. pp.920-922, ⟨10.1145/1329125.1329293⟩
inria-00168315v1  Conference papers
Rodolphe CharrierChristine BourjotFrançois Charpillet. A Nonlinear Multi-agent System designed for Swarm Intelligence : the Logistic MAS
First IEEE International Conference on Self-Adaptive and Self-Organizing Systems - SASO 2007, Jul 2007, Boston, United States. pp.32-44, ⟨10.1109/SASO.2007.1⟩
inria-00168317v1  Conference papers
Rodolphe CharrierChristine BourjotFrançois Charpillet. Flocking as a Synchronization Phenomenon with Logistic Agents
European Conference on Complex Systems - ECCS'07, Oct 2007, Dresden, Germany
inria-00177010v1  Conference papers
Nicolas PadoyTobias BlumIrfan EssaHubertus FeussnerMarie-Odile Berger et al.  A Boosted Segmentation Method for Surgical Workflow Analysis
10th International Conference on Medical Image Computing and Computer Assisted Intervention - MICCAI 2007, Oct 2007, Brisbane, Australia. pp.102-109, ⟨10.1007/978-3-540-75757-3_13⟩
inria-00164807v1  Conference papers
Nicolas NouryFrédéric SurMarie-Odile Berger. Fundamental matrix estimation without prior match
14th IEEE International Conference on Image Processing - ICIP 2007, Sep 2007, San Antonio, Texas, United States. pp.I - 513 - I - 516, ⟨10.1109/ICIP.2007.4379004⟩
inria-00509337v1  Journal articles
Olivier Buffet. Reachability Analysis for Uncertain SSPs
International Journal on Artificial Intelligence Tools, World Scientific Publishing, 2007, 16 (4), pp.725-749. ⟨10.1142/S0218213007003527⟩
hal-00463629v1  Conference papers
Pascal Urso. Verification of data consistency for P2P collaborative editing
Inter-Regional Workshop on Rigorous System Development and Analysis 2007, Oct 2007, Nancy, France
hal-00447628v1  Conference papers
Mohamed Salah BouassidaMohamed Bouali. On the performance of group key management protocols in MANETs
Joint Conference on Security in Network Architectures and Information Systems (SAR-SSI‘07), Jun 2007, Annecy, France. pp.275-286
inria-00434090v1  Journal articles
Otfried CheongHazel EverettHyo-Sil KimSylvain LazardRené Schott. Parabola separation queries and their application to stone throwing
International Journal of Computational Geometry and Applications, World Scientific Publishing, 2007, 17 (4), pp.349-360. ⟨10.1142/S0218195907002379⟩
inria-00433391v1  Journal articles
Hejiao HuangHélène KirchnerSongyun LiuWeili Wu. Handling Inheritance Violation for Secure Interoperation of Heterogeneous Systems
International Journal of Security and Networks, Inderscience, 2007, 4 (4), pp.223-233
hal-00433033v1  Conference papers
Stéphane WeissPascal UrsoPascal Molli. Compensation in Collaborative Editing
9th International Workshop on Collaborative Editing Systems - IWCES 2007, Nov 2007, Sanibel Island, Florida, United States. 6 p
inria-00432360v1  Conference papers
Stéphane WeissPascal UrsoPascal Molli. Wooki: A P2P Wiki-Based Collaborative Writing Tool
8th International Conference on Web Information Systems Engineering – WISE 2007, Dec 2007, Nancy, France. pp.503-512, ⟨10.1007/978-3-540-76993-4_42⟩
inria-00432220v1  Conference papers
Charbel RahhalHala Skaf-MolliPascal MolliNishadi Desilva. SemCW: Semantic Collaborative Writing using RST
The 3rd International Conference on Collaborative Computing:Networking, Applications and Worksharing - CollaborateCom'2007, Nov 2007, New York, United States. pp.484-493, ⟨10.1109/COLCOM.2007.4553879⟩
inria-00181775v1  Conference papers
Xavier GoaocJan KratochvilYoshio OkamotoChan-Su ShinAlexander Wolff. Moving vertices to make drawings plane
15th International Symposium on Graph Drawing, Sep 2007, Sydney, Australia. pp.101-112, ⟨10.1007/978-3-540-77537-9_13⟩
inria-00401785v1  Conference papers
Bin GuoAmine BermakMaxime AmbardDominique Martinez. A 4×4 Logarithmic Spike Timing Encoding Scheme for Olfactory Sensor Applications
International Symposium on Circuits and Systems - ISCAS 2007, May 2007, New Orleans, United States. pp.3554 - 3557, ⟨10.1109/ISCAS.2007.378450⟩
inria-00401534v1  Journal articles
Axel HuttAndre LongtinLutz Schimansky-Geier. Additive global noise delays Turing bifurcations
Physical Review Letters, American Physical Society, 2007, 98 (23), pp.230601-1 - 230601-4. ⟨10.1103/PhysRevLett.98.230601⟩
inria-00338679v1  Conference papers
Marie-Dominique MorchMalika Smaïl-Tabbone. Workshop PC Chairs' Message. Web Data Integration for Mining in the Life Sciences (WebDIM4LS)
International Workshops on Web Information Systems Engineering – WISE 2007 Workshops, Dec 2007, Nancy, France. pp.3-4, ⟨10.1007/978-3-540-77010-7_1⟩
inria-00338095v1  Conference papers
Linqiao ZhangHazel EverettSylvain LazardSue Whitesides. Towards an Implementation of the 3D Visibility Skeleton
23rd Annual Symposium on Computational Geometry, Jun 2007, Gyeongju, South Korea. pp.131 - 132, ⟨10.1145/1247069.1247094⟩
hal-00177936v1  Conference papers
Aurélie BertauxAgnès BraudFlorence Le Ber. Mining Complex Hydrobiological Data with Galois Lattices
International Workshop on Advances in Conceptual Knowledge Engineering (ACKE'07), 2007, Regensburg, Germany. pp.519--523
inria-00336524v1  Books
Jacques BahiSylvain Contassot-VivierRaphael Couturier. Parallel Iterative Algorithms: from sequential to grid computing
Chapman & Hall/CRC, pp.240, 2007, Numerical Analysis & Scientific Computing Series, 9781584888086
inria-00333903v1  Reports
Louis-Claude CanonEmmanuel JeannotRizos SakelariouWei Zheng. Comparative Evaluation of the Robustness of DAG Scheduling Heuristics
[Research Report] CoreGRID Institute on Resource Management and Scheduling, TR-0120, 2007
inria-00332460v1  Conference papers
Cindy CappelleMaan El Badaoui El NajjarFrançois CharpilletDenis Pomorski. Obstacles detection and localisation with 3D geographical model and monovision
IEEE Intelligent Transportation Systems Conference - ITSC'07, Sep 2007, Seattle, United States. pp.1102-1107
inria-00326931v1  Conference papers
Claire ChauvinSever Adrian HirstoagaPavla KabelikovaAntoine RousseauFrédéric Bernardin et al.  Solving the Uniform Density Constraint in a Stochastic Downscaling Model
CEMRACS 2007 - Centre d'Eté Mathématique de Recherche Avancée en Calcul Scientifique, Aug 2007, Marseille, France. pp.97-110, ⟨10.1051/proc:2008032⟩
inria-00188020v1  Conference papers
Jérôme FrançoisAdel El-AtawyEhab Al ShaerRaouf Boutaba. A collaborative approach for proactive detection of distributed denial of service attacks
IEEE Workshop on Monitoring, Attack Detection and Mitigation - MonAM'2007, Nov 2007, Toulouse, France
inria-00166536v2  Journal articles
Jérémy FixNicolas P. RougierFrédéric Alexandre. From physiological principles to computational models of the cortex
Journal of Physiology - Paris, Elsevier, 2007, Neuro-Computation: From Sensorimotor Integration to Computational Frameworks, 101 (1-3), pp.32-39. ⟨10.1016/j.jphysparis.2007.10.009⟩
inria-00168415v1  Conference papers
Jérôme FrançoisRadu StateOlivier Festor. Malware models for network and service management
First International Conference on Autonomous Infrastructure, Management and Security, AIMS, Jun 2007, Oslo, Norway. pp.192-195, ⟨10.1007/978-3-540-72986-0_23⟩
inria-00170425v1  Conference papers
Jérôme FrançoisRadu StateOlivier Festor. Botnets for scalable management
18th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM'07, MANWEEK'07), Oct 2007, San José, United States
inria-00323838v1  Conference papers
Areces Carlos. Hybrid Logics: The Old and the New
Proceedigns of LogKCA-07, Nov 2007, San Sebastian, Spain
inria-00323697v1  Conference papers
Karl Tombre. Is Graphics Recognition an Unidentified Scientific Object?
7th International Workshop on Graphics Recognition, Sep 2007, Curitiba, Brazil. pp.329-334, ⟨10.1007/978-3-540-88188-9_31⟩
inria-00164420v1  Conference papers
Balamurugan KarpagavinayagamRadu StateOlivier Festor. Monitoring Architecture for Lawful Interception in VoIP Networks
Second International Conference on Internet Monitoring and Protection - ICIMP 2007, Jul 2007, Silicon Valley, United States
hal-00149163v1  Conference papers
Dominique CansellDominique MéryJoris Rehm. Time Constraint Patterns for Event B Development
7th International Conference of B Users, January 17-19, 2007, 2007, Besançon, France. pp.140-154, ⟨10.1007/11955757_13⟩
hal-00184837v1  Conference papers
Joris RehmDominique Cansell. Proved Development of the Real-Time Properties of the IEEE 1394 Root Contention Protocol with the Event B Method
ISoLA 2007 Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Dec 2007, Poitiers-Futuroscope, France. pp.179-190
inria-00133666v1  Conference papers
Nawal GuermoucheSalima BenbernouEmmanuel CoqueryMohand-Said Hacid. Privacy-Aware Web Service Protocol Replaceability
IEEE International Conference on Web Services - ICWS 2007, Jul 2007, Salt Lake City, Utah, United States. pp.1048 - 1055, ⟨10.1109/ICWS.2007.143⟩
hal-00280088v1  Conference papers
Frédéric PennerathAmedeo Napoli. Mining Frequent Most Informative Subgraphs
Mining And Learning With Graphs (MLG), Aug 2007, Florence, Italy