Sciweavers

1968 search results - page 75 / 394
» Symmetry in Decision Evaluation
Sort
View
ICRA
2006
IEEE
166views Robotics» more  ICRA 2006»
16 years 6 days ago
Analysis, Design and Control of a Planar Micro-robot Driven by two Centripetal-force Actuators
– This paper presents the motion analysis, design and position control of a novel, low cost, sliding micro-robot, which is actuated by centripetal forces generated by robot mount...
P. Vartholomeos, Evangelos Papadopoulos
CPAIOR
2010
Springer
15 years 11 months ago
The Increasing Nvalue Constraint
This paper introduces the Increasing Nvalue constraint, which restricts the number of distinct values assigned to a sequence of variables so that each variable in the sequence is l...
Nicolas Beldiceanu, Fabien Hermenier, Xavier Lorca...
SEBD
1997
158views Database» more  SEBD 1997»
15 years 7 months ago
Indexing Metric Spaces with M-Tree
M-tree is a dynamic access method suitable to index generic “metric spaces”, where the function used to compute the distance between any two objects satisfies the positivity, ...
Paolo Ciaccia, Marco Patella, Fausto Rabitti, Pave...
ENTCS
2006
130views more  ENTCS 2006»
15 years 6 months ago
LSC Verification for UML Models with Unbounded Creation and Destruction
The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...
Bernd Westphal
COLING
2002
15 years 6 months ago
Antonymy and Conceptual Vectors
For meaning representations in NLP, we focus our attention on thematic aspects and conceptual vectors. The learning strategy of conceptual vectors relies on a morphosyntaxic analy...
Didier Schwab, Mathieu Lafourcade, Violaine Prince