Sciweavers

1677 search results - page 181 / 336
» On the Completeness of Quantum Computation Models
Sort
View
ISBI
2006
IEEE
16 years 7 months ago
Atlas-assisted tomography: registration of a deformable atlas to compensate for limited-angle cone-beam trajectory
We present a method to improve the quality of cone-beam tomographic images computed from an intra-operative C-arm scan by adding information from an anatomical atlas. Limited rang...
Ofri Sadowsky, Krishnakumar Ramamurthi, Lotta Mari...
PODS
2003
ACM
114views Database» more  PODS 2003»
16 years 6 months ago
Soft stratification for magic set based query evaluation in deductive databases
In this paper we propose a new bottom-up query evaluation method for stratified deductive databases based on the Magic Set approach. As the Magic Sets rewriting may lead to unstra...
Andreas Behrend
ICWS
2009
IEEE
16 years 3 months ago
Composing Services for Third-party Service Delivery
This paper proposes a model-based technique for lowering the entrance barrier for service providers to register services with a marketplace broker, such that the service is rapidl...
Ingo Weber, Alistair Barros, Norman May, Jörg...
ICWS
2009
IEEE
16 years 3 months ago
Intelligent Matching for Public Internet Web Services Towards Semi-Automatic Internet Services Mashup
In this paper, we propose an Internet public Web service matching approach that paves the way for (semi-)automatic service mashup. We will first provide the overview of the soluti...
Chen Wu, Tharam S. Dillon, Elizabeth Chang
ICRA
2008
IEEE
197views Robotics» more  ICRA 2008»
16 years 29 days ago
A Bayesian framework for optimal motion planning with uncertainty
— Modeling robot motion planning with uncertainty in a Bayesian framework leads to a computationally intractable stochastic control problem. We seek hypotheses that can justify a...
Andrea Censi, Daniele Calisi, Alessandro De Luca, ...