Sciweavers

1887 search results - page 99 / 378
» Annotation Framework Validation Using Domain Models
Sort
View
117
Voted
AMAI
2006
Springer
15 years 2 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...
126
Voted
CIE
2005
Springer
15 years 8 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
124
Voted
CG
2000
Springer
15 years 2 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
145
Voted
CONSTRAINTS
2011
14 years 9 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 9 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