Sciweavers

2534 search results - page 433 / 507
» A Type System for the Push-Enter Model
Sort
View
AUTOMATICA
2002
96views more  AUTOMATICA 2002»
13 years 7 months ago
A hybrid control approach to action coordination for mobile robots
In this paper, the problem concerning how to coordinate the contributions from concurrent controllers, when controlling mobile robots, is investigated. It is shown how a behavior ...
Magnus Egerstedt, Xiaoming Hu
ICMCS
1997
IEEE
74views Multimedia» more  ICMCS 1997»
13 years 12 months ago
Link Management Framework for Hyper-Media Documents
This paper presents a framework for link management within hyper-media documents. The framework includes: (1) an object-oriented document architecture with a consistent interface ...
Dragos-Anton Manolescu, Klara Nahrstedt
EURODAC
1994
IEEE
122views VHDL» more  EURODAC 1994»
13 years 12 months ago
Compiled-code-based simulation with timing verification
Due to the complexity of today's systems, prototyping by simulation must be based on simulation-engine-like performance. It is proved by implementations that compiler-driven ...
Winfried Hahn, Andreas Hagerer, C. Herrmann
ISKI
1992
13 years 11 months ago
Generic Update Operations Keeping Object-Oriented Databases Consistent
One of the objectives of ooDBMSs is to use type-speci c methods for manipulating objects, in order to maintain the consistency of the database. This is, however, little help for t...
Christian Laasch, Marc H. Scholl
GBRPR
2009
Springer
13 years 11 months ago
Homeomorphic Alignment of Edge-Weighted Trees
Abstract. Motion capture, a currently active research area, needs estimation of the pose of the subject. This requires a match between a model and the 3D shape, constructed using a...
Benjamin Raynal, Michel Couprie, Venceslas Biri