Sciweavers

2680 search results - page 408 / 536
» The topology of the independence complex
Sort
View
DSVIS
2005
Springer
15 years 12 months ago
Test of the ICARE Platform Fusion Mechanism
Multimodal interactive systems offer a flexibility of interaction that increases their complexity. ICARE is a component-based approach to specify and develop multimodal interfaces...
Sophie Dupuy-Chessa, Lydie du Bousquet, Jullien Bo...
ECAL
2005
Springer
15 years 12 months ago
Self-assembly on Demand in a Group of Physical Autonomous Mobile Robots Navigating Rough Terrain
Consider a group of autonomous, mobile robots with the ability to physically connect to one another (self-assemble). The group is said to exhibit functional self-assembly if the ro...
Rehan O'Grady, Roderich Groß, Francesco Mond...
ECMDAFA
2005
Springer
96views Hardware» more  ECMDAFA 2005»
15 years 12 months ago
MDA Components: A Flexible Way for Implementing the MDA Approach
As the Model Driven Development (MDD) and Product Line Engineering (PLE) appear as major trends for reducing software development complexity and costs, an important missing stone b...
Reda Bendraou, Philippe Desfray, Marie-Pierre Gerv...
EPIA
2005
Springer
15 years 12 months ago
Reducing Propositional Theories in Equilibrium Logic to Logic Programs
The paper studies reductions of propositional theories in equilibrium logic to logic programs under answer set semantics. Specifically we are concerned with the question of how to...
Pedro Cabalar, David Pearce, Agustín Valver...
FC
2005
Springer
142views Cryptology» more  FC 2005»
15 years 12 months ago
Testing Disjointness of Private Datasets
Two parties, say Alice and Bob, possess two sets of elements that belong to a universe of possible values and wish to test whether these sets are disjoint or not. In this paper we ...
Aggelos Kiayias, Antonina Mitrofanova