Sciweavers

1887 search results - page 99 / 378
» Annotation Framework Validation Using Domain Models
Sort
View
AMAI
2006
Springer
15 years 4 months ago
An algebraic framework for temporal attribute characteristics
Most real-world database applications manage temporal data, i.e., data with associated time references that capture a temporal aspect of the data, typically either when the data i...
Michael H. Böhlen, Johann Gamper, Christian S...
CIE
2005
Springer
15 years 10 months ago
How to Compare the Power of Computational Models
We argue that there is currently no satisfactory general framework for comparing the extensional computational power of arbitrary computational models operating over arbitrary doma...
Udi Boker, Nachum Dershowitz
CG
2000
Springer
15 years 4 months ago
Drawing on the Back of an Envelope: a framework for interacting with application programs by freehand drawing
The Back of an Envelope project demonstrates how a calligraphic interface (one that employs a pen or stylus to input freehand drawing marks) can be used in a wide variety of domai...
Mark D. Gross, Ellen Yi-Luen Do
CONSTRAINTS
2011
14 years 11 months ago
Dantzig-Wolfe decomposition and branch-and-price solving in G12
Abstract The G12 project is developing a software environment for stating and solving combinatorial problems by mapping a high-level model of the problem to an efficient combinatio...
Jakob Puchinger, Peter J. Stuckey, Mark G. Wallace...
ICRA
2007
IEEE
190views Robotics» more  ICRA 2007»
15 years 10 months ago
A UPF-UKF Framework For SLAM
— In this paper we propose a SLAM framework which is based on an algorithm that combines an Unscented Particle Filter (UPF) and Unscented Kalman Filters (UKFs). A UPF is used to ...
Xiang Wang, Hong Zhang