1317 search results - page 186 / 264 » context 2005 |
151
click to vote
BIRTHDAY
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we present an overview of recent developments in the plan-based control of autonomous robots. We identify computational principles that enable autonomous robots to a...
151
click to vote
BIRTHDAY
2005
Springer
15 years 12 months ago
2005
Springer
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
147
click to vote
CAISE
2005
Springer
15 years 12 months ago
2005
Springer
We study, in the context of object/relational mapping tools, the problem of describing mappings between inheritance hierarchies and relational schemas. To this end, we introduce a ...
176
click to vote
CCIA
2005
Springer
15 years 12 months ago
2005
Springer
We propose an hybrid and probabilistic classification of image regions belonging to scenes primarily containing natural objects, e.g. sky, trees, etc. as a first step in solving ...
147
click to vote
CHARME
2005
Springer
15 years 12 months ago
2005
Springer
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...