Sciweavers

5113 search results - page 943 / 1023
» Model-integrated system development: models, architecture, a...
Sort
View
SIGMOD
2010
ACM
259views Database» more  SIGMOD 2010»
15 years 10 months ago
An extensible test framework for the Microsoft StreamInsight query processor
Microsoft StreamInsight (StreamInsight, for brevity) is a platform for developing and deploying streaming applications. StreamInsight adopts a deterministic stream model that leve...
Alex Raizman, Asvin Ananthanarayan, Anton Kirilov,...
MICCAI
2005
Springer
16 years 7 months ago
Automatic Detection and Segmentation of Robot-Assisted Surgical Motions
Robotic surgical systems such as Intuitive Surgical's da Vinci system provide a rich source of motion and video data from surgical procedures. In principle, this data can be u...
Henry C. Lin, Izhak Shafran, Todd E. Murphy, Allis...
ICMI
2007
Springer
129views Biometrics» more  ICMI 2007»
16 years 9 days ago
Towards smart meeting: enabling technologies and a real-world application
In this paper, we describe the enabling technologies to develop a smart meeting system based on a three layered generic model. From physical level to semantic level, it consists o...
Zhiwen Yu, Motoyuki Ozeki, Yohsuke Fujii, Yuichi N...
FSR
2003
Springer
94views Robotics» more  FSR 2003»
15 years 11 months ago
Planning under Uncertainty for Reliable Health Care Robotics
We describe a mobile robot system, designed to assist residents of an retirement facility. This system is being developed to respond to an aging population and a predicted shortage...
Nicholas Roy, Geoffrey J. Gordon, Sebastian Thrun
GLOBAL
2003
Springer
15 years 11 months ago
The Klaim Project: Theory and Practice
Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...
Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gi...