Sciweavers

1816 search results - page 317 / 364
» A New Approach for Solving the Maximum Clique Problem
Sort
View
LPAR
2007
Springer
16 years 11 days ago
Deciding Knowledge in Security Protocols for Monoidal Equational Theories
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
Véronique Cortier, Stéphanie Delaune
CGI
2006
IEEE
16 years 9 days ago
Plausible Locomotion for Bipedal Creatures Using Motion Warping and Inverse Kinematics
One of the main question addressed by paleoanthropologists is the recovery of plausible motions for extinct species whose knowledge is generally limited to incomplete bones and ske...
Guillaume Nicolas, Franck Multon, Gilles Berillon,...
ICDIM
2006
IEEE
16 years 9 days ago
Model-Driven Development of Content-Based Image Retrieval Systems
: Generic systems for content-based image retrieval (CBIR), such as QBIC [7] cannot be used to solve domain-specific image retrieval problems, as for example, the identification of...
Temenushka Ignatova
141
Voted
ICRA
2006
IEEE
135views Robotics» more  ICRA 2006»
16 years 8 days ago
Dynamically formed Heterogeneous Robot Teams Performing Tightly-coordinated Tasks
— As we progress towards a world where robots play an integral role in society, a critical problem that remains to be solved is the Pickup Team Challenge; that is, dynamically fo...
Edward Gil Jones, Brett Browning, M. Bernardine Di...
IEEEARES
2006
IEEE
16 years 8 days ago
Diagnosis of Complex Systems Using Ant Colony Decision Petri Nets
Failure diagnosis in large and complex systems is a critical task. A discrete event system (DES) approach to the problem of failure diagnosis is presented in this paper. A classic...
Calin Ciufudean, Adrian Graur, Constantin Filote, ...