Sciweavers

3528 search results - page 345 / 706
» A New Approach to Planning in Networks
Sort
View
SIGMOD
2005
ACM
99views Database» more  SIGMOD 2005»
16 years 7 months ago
WOODSS and the Web: annotating and reusing scientific workflows
This paper discusses ongoing research on scientific workflows at the Institute of Computing, University of Campinas (IC - UNICAMP) Brazil. Our projects with bio-scientists have le...
Claudia Bauzer Medeiros, José de Jesús Pérez Al...
JIRS
2002
137views more  JIRS 2002»
15 years 6 months ago
Mobile Robot Command by Man-Machine Co-Operation - Application to Disabled and Elderly People Assistance
Disabled people assistance is developing thanks to progress of new technologies. A manipulator arm mounted on a mobile robot can assist the disabled person for the partial restora...
Philippe Hoppenot, Etienne Colle
217
Voted
RR
2010
Springer
15 years 5 months ago
Processing RIF and OWL2RL within DLVHEX
We present an extension of the DLVHEX system to support RIF-Core, a dialect of W3C’s Rule Interchange Format (RIF), as well as combinations of RIF-Core and OWL2RL ontologies. DLV...
Marco Marano, Philipp Obermeier, Axel Polleres
KBSE
2009
IEEE
16 years 1 months ago
Cache-Based Model Checking of Networked Applications: From Linear to Branching Time
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
Cyrille Artho, Watcharin Leungwattanakit, Masami H...
ETFA
2008
IEEE
16 years 1 months ago
Gesture recognition using evolution strategy neural network
A new approach to interact with an industrial robot using hand gestures is presented. System proposed here can learn a first time user’s hand gestures rapidly. This improves pro...
Johan Hägg, Baran Çürükl&uum...