Sciweavers

5372 search results - page 270 / 1075
» complexity 2007
Sort
View
ISMAR
2007
IEEE
14 years 2 months ago
Laparoscopic Virtual Mirror for Understanding Vessel Structure Evaluation Study by Twelve Surgeons
In this paper we present the evaluation of a virtual mirror used as a navigational tool within a medical augmented reality (AR) system for laparoscopy. 12 surgeons of our clinical...
Christoph Bichlmeier, Sandro Michael Heining, Moha...
ICDT
2007
ACM
97views Database» more  ICDT 2007»
14 years 2 months ago
Combining Temporal Logics for Querying XML Documents
Close relationships between XML navigation and temporal logics have been discovered recently, in particular between logics LTL and CTL⋆ and XPath navigation, and between the µ-c...
Marcelo Arenas, Pablo Barceló, Leonid Libki...
DAC
2007
ACM
14 years 6 days ago
Synthetic biology: from bacteria to stem cells
Synthetic biology is revolutionizing how we conceptualize and approach the engineering of biological systems. Recent advances in the field are allowing us to expand beyond the con...
Ron Weiss
IANDC
2007
84views more  IANDC 2007»
13 years 8 months ago
The perfectly synchronized round-based model of distributed computing
ectly-synchronized round-based model provides the powerful abstraction of op failures with atomic and synchronous message delivery. This abstraction makes distributed programming ...
Carole Delporte-Gallet, Hugues Fauconnier, Rachid ...
IS
2007
13 years 8 months ago
Matching large schemas: Approaches and evaluation
Current schema matching approaches still have to improve for large and complex Schemas. The large search space increases the likelihood for false matches as well as execution time...
Hong Hai Do, Erhard Rahm