Sciweavers

4894 search results - page 204 / 979
» Dynamic Abstraction Planning
Sort
View
JACIII
2006
118views more  JACIII 2006»
15 years 4 months ago
Building Intelligent Robotics Systems with Distributed Components
ct-oriented modules that create an abstract interface for a specific class of hardware or software components. If these components provide "intelligent" functions, the ov...
Federico Guedea-Elizalde, Rogelio Soto, Fakhreddin...
MICCAI
2003
Springer
16 years 5 months ago
Determining Epicardial Surface Motion Using Elastic Registration: Towards Virtual Reality Guidance of Minimally Invasive Cardiac
Minimally invasive cardiac surgery is performed on the beating heart, through inter-costal ports. The two major limitations of these procedures are: selecting port locations for op...
Marcin Wierzbicki, Terry M. Peters
ICIW
2009
IEEE
15 years 2 months ago
Constraint Integration and Violation Handling for BPEL Processes
Autonomic, i.e. dynamic and fault-tolerant Web service composition is a requirement resulting from recent developments such as on-demand services. In the context of planning-based...
MingXue Wang, Kosala Yapa Bandara, Claus Pahl
AIPS
2008
15 years 6 months ago
Structural Patterns Heuristics via Fork Decomposition
We consider a generalization of the PDB homomorphism abstractions to what is called "structural patterns". The bais in abstracting the problem in hand into provably trac...
Michael Katz, Carmel Domshlak
OOPSLA
2009
Springer
15 years 11 months ago
A concurrent dynamic analysis framework for multicore hardware
Software has spent the bounty of Moore’s law by solving harder problems and exploiting abstractions, such as highlevel languages, virtual machine technology, binary rewritdynami...
Jungwoo Ha, Matthew Arnold, Stephen M. Blackburn, ...