Sciweavers

471 search results - page 87 / 95
» Modals As A Problem For MT
Sort
View
ICRA
2006
IEEE
225views Robotics» more  ICRA 2006»
15 years 3 months ago
Constraint Optimization Coordination Architecture for Search and Rescue Robotics
— The dangerous and time sensitive nature of a disaster area makes it an ideal application for robotic exploration. Our long term goal is to enable humans, software agents, and a...
Mary Koes, Illah R. Nourbakhsh, Katia P. Sycara
TITB
2002
76views more  TITB 2002»
14 years 9 months ago
Technology improvements for image-guided and minimally invasive spine procedures
This paper reports on technology developments aimed at improving the state of the art for image-guided minimally invasive spine procedures. Back pain is a major health problem with...
Kevin Cleary, Mark Clifford, Dan Stoianovici, Matt...
TMI
2010
143views more  TMI 2010»
14 years 4 months ago
Data Specific Spatially Varying Regularization for Multimodal Fluorescence Molecular Tomography
Fluorescence molecular tomography (FMT) allows in vivo localization and quantification of fluorescence biodistributions in whole animals. The ill-posed nature of the tomographic re...
Damon Hyde, Eric L. Miller, Dana H. Brooks, Vasili...
DOCENG
2006
ACM
15 years 3 months ago
Comparing XML path expressions
XPath is the standard declarative language for navigating XML data and returning a set of matching nodes. In the context of XSLT/XQuery analysis, query optimization, and XML type ...
Pierre Genevès, Nabil Layaïda
LICS
2008
IEEE
15 years 4 months ago
Collapsible Pushdown Automata and Recursion Schemes
Collapsible pushdown automata (CPDA) are a new kind of higher-order pushdown automata in which every symbol in the stack has a link to a stack situated somewhere below it. In addi...
Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong...