Sciweavers

2242 search results - page 189 / 449
» From testing to anti-product development
Sort
View
ICRA
2007
IEEE
108views Robotics» more  ICRA 2007»
16 years 25 days ago
Automated Tool Handling for the Trauma Pod Surgical Robot
— In order to enable robotic surgery without human assistance, a means must be developed to change tools. As part of the larger Trauma Pod Project, we developed the Tool Rack Sub...
Diana C. W. Friedman, Jesse Dosher, Tim Kowalewski...
BIRTHDAY
2007
Springer
16 years 21 days ago
Models and Software Model Checking of a Distributed File Replication System
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
Nikolaj Bjørner
HT
2006
ACM
16 years 15 days ago
Templates and queries in contextual hypermedia
This paper presents a new definition of context for contextaware computing based on a model that relies on dynamic queries over structured objects. This new model enables develop...
Kenneth M. Anderson, Frank Allan Hansen, Niels Olo...
ICRA
2002
IEEE
209views Robotics» more  ICRA 2002»
15 years 11 months ago
Probabilistic Shape and Appearance Model for Scene Segmentation
Effective image segmentation of a digitized scene into a set of recognizable objects requires the development of sophisticated scene analysis algorithms. Progress in this area has...
Shaun S. Gleason, Mongi A. Abidi, Hamed Sari-Sarra...
PROMS
2001
Springer
109views Multimedia» more  PROMS 2001»
15 years 11 months ago
Model-Based Service Creation in the Friends Project
—This paper presents a model-based approach to service creation. We observe that the complexity of software services increases. To manage this complexity, and to quickly create s...
Wouter B. Teeuw, Dick A. C. Quartel