Sciweavers

2200 search results - page 178 / 440
» Bloch's Constant is Computable
Sort
View
CONCUR
2008
Springer
15 years 8 months ago
R-Automata
R-automata are finite state machines extended with counters which can be incremented or reset to zero along the transitions. The universality question asks whether there is a cons...
Parosh Aziz Abdulla, Pavel Krcál, Wang Yi
CCCG
2008
15 years 8 months ago
An Efficient Query Structure for Mesh Refinement
We are interested in the following mesh refinement problem: given an input set of points P in Rd , we would like to produce a good-quality triangulation by adding new points in P....
Benoît Hudson, Duru Türkoglu
IADIS
2004
15 years 8 months ago
Software for self-government
Government bureaucracies are both extremely complex and long-lived, constantly evolving to reflect and influence their ever changing cultural and physical environments. Software s...
Thomas B. Senior, Brian Warboys
DAGSTUHL
2003
15 years 8 months ago
Robot Bouncing: On the Synergy Between Neural and Body-Environment Dynamics
The study of how infants strapped in a Jolly Jumper learn to bounce can help clarify how they explore different ways of exploiting the dynamics of their movements. In this paper, ...
Max Lungarella, Luc Berthouze
BMVC
1998
15 years 8 months ago
Non-Rigid Image Registration Using a Parameter-Free Elastic Model
The paper presents a new parameter-free approach to non-rigid image registration, where displacements, obtained through a mapping of boundary structures in the source and target i...
Wladimir Peckar, Christoph Schnörr, Karl Rohr...