13383 search results - page 353 / 2677 » Abstractions from proofs |
237
click to vote
NLDB
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Extracting information automatically from texts for database representation requires previously well-grouped phrases so that entities can be separated adequately. This pr...
132
click to vote
ROBOCUP
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Component-based software engineering is useful for embedded applications such as robotics. However, heavyweight component systems such as CORBA overstrain the ressources ...
189
click to vote
SCVMA
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We show how to exploit temporal periodicity of moving objects to perform 3D reconstruction. The collection of period-separated frames serve as a surrogate for multiple ri...
163
click to vote
LAWEB
2003
IEEE
16 years 2 days ago
2003
IEEE
This paper analyzes how the semantics of association relationships in OO conceptual modeling can help to build Navigational Models for Web Applications. The work has been develope...
176
click to vote
DAGM
2003
Springer
16 years 23 hour ago
2003
Springer
Abstract. The calibration of cameras from external orientation information and image processing is addressed in this paper. We will show that in the case of known rotation the cali...