Sciweavers

4965 search results - page 171 / 993
» A Simple Abstraction for Data Modeling
Sort
View
ER
2001
Springer
60views Database» more  ER 2001»
15 years 11 months ago
Tripod: A Comprehensive Model for Spatial and Aspatial Historical Objects
Abstract Spatio-temporal extensions to data models have been an active area of research for a number of years. To date, much of this work has focused on the relational data model, ...
Tony Griffiths, Alvaro A. A. Fernandes, Norman W. ...
SPIN
2004
Springer
15 years 11 months ago
Model-Driven Software Verification
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
Gerard J. Holzmann, Rajeev Joshi
IROS
2009
IEEE
153views Robotics» more  IROS 2009»
16 years 1 months ago
Symbolic modeling of driving behavior based on hierarchical segmentation and formal grammar
Abstract— This paper presents a new hierarchical segmentation of the observed driving behavioral data based on the levels of abstraction of the underlying dynamics. By synthesizi...
Ato Nakano, Hiroyuki Okuda, Tatsuya Suzuki, Shinki...
APCCM
2009
15 years 7 months ago
Multi-Level Domain Modeling with M-Objects and M-Relationships
Using traditional semantic data modeling, multi-level modeling can be achieved by representing objects in different abstraction hierarchies, namely classification, aggregation and...
Bernd Neumayr, Katharina Grün, Michael Schref...
ECCV
2008
Springer
16 years 8 months ago
Robust Optimal Pose Estimation
Abstract. We study the problem of estimating the position and orientation of a calibrated camera from an image of a known scene. A common problem in camera pose estimation is the e...
Olof Enqvist, Fredrik Kahl