12399 search results - page 874 / 2480 » Deformable structural models |
177
Voted
IROS
2008
IEEE
16 years 2 months ago
2008
IEEE
— We describe algorithms to build self-assembling robot systems composed of active modular robots and passive bars. The distributed algorithms are based on locally optimal matchi...
161
click to vote
SMI
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper presents our recent theoretical results on high genus modeling. We introduce a new concept called regular handles. Using regular handles it is possible to increase genu...
200
Voted
ADG
2006
Springer
16 years 1 months ago
2006
Springer
This paper describes the recent convergence of four topics: polynomial systems, flexibility of three dimensional objects, computational chemistry, and computer algebra. We discuss...
188
click to vote
CALCO
2005
Springer
16 years 1 months ago
2005
Springer
Simulations are a very natural way of relating concurrent systems, which are mathematically modeled by Kripke structures. The range of available notions of simulations makes it ver...
210
click to vote
FSTTCS
2004
Springer
16 years 1 months ago
2004
Springer
This paper introduces an extension of linear temporal logic that allows to express properties about systems that are composed of entities (like objects) that can refer to each othe...