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 7 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 4 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 4 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 1 months 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, ...