Sciweavers

3333 search results - page 443 / 667
» Abstract Proof Search
Sort
View
FASE
2007
Springer
16 years 20 days ago
A Service Composition Construct to Support Iterative Development
Abstract. Development of composed services requires a continues adaptation of the composed service to the changing environment of offered services. Services may no longer be avail...
Roy Grønmo, Michael C. Jaeger, Andreas Womb...
LFCS
2007
Springer
16 years 20 days ago
Verifying Balanced Trees
Abstract. Balanced search trees provide guaranteed worst-case time performance and hence they form a very important class of data structures. However, the self-balancing ability co...
Zohar Manna, Henny B. Sipma, Ting Zhang
SARA
2007
Springer
16 years 19 days ago
Computing and Using Lower and Upper Bounds for Action Elimination in MDP Planning
Abstract. We describe a way to improve the performance of MDP planners by modifying them to use lower and upper bounds to eliminate non-optimal actions during their search. First, ...
Ugur Kuter, Jiaqiao Hu
ACCV
2006
Springer
16 years 15 days ago
Object Detection Using a Cascade of 3D Models
Abstract. We present an alignment framework for object detection using a hierarchy of 3D polygonal models. One difficulty with alignment methods is that the high-dimensional transf...
Hon-Keat Pong, Tat-Jen Cham
ADBIS
2006
Springer
150views Database» more  ADBIS 2006»
16 years 15 days ago
Design and Implementation of a Document Database Extension
Abstract. Integration of text and documents into database management systems has been the subject of much research. However, most of the approaches are limited to data retrieval. C...
Stefania Leone, Ela Hunt, Thomas B. Hodel, Michael...