Sciweavers

4035 search results - page 71 / 807
» Useless Actions Are Useful
Sort
View
182
Voted
FMICS
2007
Springer
16 years 1 days ago
An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
Maurice H. ter Beek, Alessandro Fantechi, Stefania...
148
Voted
AROBOTS
2005
114views more  AROBOTS 2005»
15 years 5 months ago
Visually Guided Cooperative Robot Actions Based on Information Quality
In field environments it is not usually possible to provide robots in advance with valid geometric models of its environment and task element locations. The robot or robot teams ne...
Vivek A. Sujan, Steven Dubowsky
CVPR
2009
IEEE
17 years 1 months ago
Dense saliency-based spatiotemporal feature points for action recognition
Several spatiotemporal feature point detectors have been recently used in video analysis for action recognition. Feature points are detected using a number of measures, namely sali...
Konstantinos Rapantzikos, Stefanos D. Kollias, Yan...
CORR
2004
Springer
112views Education» more  CORR 2004»
15 years 5 months ago
A Framework for Creating Natural Language User Interfaces for Action-Based Applications
In this paper we present a framework for creating natural language interfaces to action-based applications. Our framework uses a number of reusable application-independent compone...
Stephen Chong, Riccardo Pucella
CAEPIA
2007
Springer
16 years 2 days ago
Heuristics for Planning with Action Costs
We introduce a non-admissible heuristic for planning with action costs, called the set-additive heuristic, that combines the benefits of the additive heuristic used in the HSP pla...
Emil Keyder, Hector Geffner