Sciweavers

1585 search results - page 136 / 317
» A framework for computer-aided validation
Sort
View
129
Voted
ECAI
2008
Springer
15 years 5 months ago
Incremental Component-Based Construction and Verification of a Robotic System
Abstract-- Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and m...
Ananda Basu, Matthieu Gallien, Charles Lesire, Tha...
103
Voted
LREC
2008
102views Education» more  LREC 2008»
15 years 4 months ago
Towards a Vector Space Model for FrameNet-like Resources
In this paper, we present an original framework to model frame semantic resources (namely, FrameNet) using minimal supervision. This framework can be leveraged both to expand an e...
Marco Pennacchiotti, Diego De Cao, Paolo Marocco, ...
121
Voted
IJCAI
2003
15 years 4 months ago
Deep Annotation for Information Integration
The success of the Semantic Web crucially depends on the easy creation, integration and use of semantic data. For this purpose, we consider an integration scenario that defies co...
Siegfried Handschuh, Steffen Staab, Raphael Volz, ...
WIIW
2001
104views more  WIIW 2001»
15 years 4 months ago
Modeling Web Site Personalization Strategies
- Abstract Modeling web site personalization strategies. Personalization is a key factor for differentiating services and retaining customers in World Wide Web sites. On the other ...
Fabiana Ruas, Wagner Meira Jr., Paulo Araúj...
105
Voted
JIRS
2006
74views more  JIRS 2006»
15 years 3 months ago
Exploratory Navigation Based on Dynamical Boundary Value Problems
The paper presents a general framework for concurrent navigation and exploration of unknown environments based on discrete potential fields that guide the robot motion. These poten...
Marcelo Trevisan, Marco Aurélio Pires Idiar...