Sciweavers

4480 search results - page 578 / 896
» Prototyping Completion with Constraints Using Computational ...
Sort
View
AAAI
1998
15 years 8 months ago
Learning to Extract Symbolic Knowledge from the World Wide Web
The World Wide Web is a vast source of information accessible to computers, but understandable only to humans. The goal of the research described here is to automatically create a...
Mark Craven, Dan DiPasquo, Dayne Freitag, Andrew M...
ECAI
2010
Springer
15 years 7 months ago
Foundations of Tree-like Local Model Updates
Abstract. Model update is an approach to enhance model checking functions by providing computer aided modifications in system development [2, 9]. It has been observed that one majo...
Yan Zhang, Michael Kelly, Yi Zhou
167
Voted
GI
2009
Springer
15 years 4 months ago
Control and safety architecture for a modular medical robot
: In this paper a new approach for a control and safety architecture for a modular task adaptable medical robot is described. The concept has been evaluated with the MINARO robot, ...
Alexander Korff, Martin Niggemeyer, Matías ...
ERCIMDL
2006
Springer
155views Education» more  ERCIMDL 2006»
15 years 10 months ago
SIERRA - A Superimposed Application for Enhanced Image Description and Retrieval
In this demo proposal, we describe our prototype application, SIERRA, which combines text-based and content-based image retrieval and allows users to link together image content of...
Uma Murthy, Ricardo da Silva Torres, Edward A. Fox
ICRA
2002
IEEE
96views Robotics» more  ICRA 2002»
15 years 11 months ago
Mobility Enhancements to the Scout Robot Platform
When a distributed robotic system is assigned to perform reconnaissance or surveillance, restrictions inherent to the design of an individual robot limit the system’s performanc...
Andrew Drenner, Ian T. Burt, Tom Dahlin, Bradley K...