Sciweavers

1068 search results - page 78 / 214
» For completeness, sublogarithmic space is no space
Sort
View
CIE
2007
Springer
14 years 2 months ago
A Useful Undecidable Theory
Abstract. We show that many so called discrete weak semilattices considered earlier in a series of author’s publications have hereditary undecidable first-order theories. Since ...
Victor L. Selivanov
ICRA
2005
IEEE
176views Robotics» more  ICRA 2005»
14 years 2 months ago
Auto-supervised learning in the Bayesian Programming Framework
Domestic and real world robotics requires continuous learning of new skills and behaviors to interact with humans. Auto-supervised learning, a compromise between supervised and co...
Pierre Dangauthier, Pierre Bessière, Anne S...
SPIRE
2005
Springer
14 years 2 months ago
An Edit Distance Between RNA Stem-Loops
We introduce the notion of conservative edit distance and mapping between two RNA stem-loops. We show that unlike the general edit distance between RNA secondary structures, the co...
Valentin Guignon, Cedric Chauve, Sylvie Hamel
ICRA
2002
IEEE
89views Robotics» more  ICRA 2002»
14 years 1 months ago
On the General Reconfiguration Problem for Expanding Cube Style Modular Robots
We discuss the theoretical limitations for reconfiguration of metamorphic robots made up of Telecubes, six degree of freedom cube shaped modules currently being developed at Xerox...
Sergei Vassilvitskii, Jeremy Kubica, Eleanor G. Ri...
COCOON
1998
Springer
14 years 1 months ago
On Multi-dimensional Hilbert Indexings
Indexing schemes for grids based on space- lling curves (e.g., Hilbert indexings) nd applications in numerous elds. Hilbert curves yield the most simple and popular scheme. We exte...
Jochen Alber, Rolf Niedermeier