Sciweavers

127 search results - page 21 / 26
» A Calculus for Causal Relevance
Sort
View
AIPS
2009
15 years 7 months ago
A Semantics for HTN Methods
Despite the extensive development of first-principles planning in recent years, planning applications are still primarily developed using knowledge-based planners which can exploi...
Robert P. Goldman
IJSI
2008
91views more  IJSI 2008»
15 years 5 months ago
Random Event Structures
Abstract In a line of recent development, probabilistic constructions of universal, homogeneous objects have been provided in various categories of ordered structures, such as caus...
Manfred Droste, Guo-Qiang Zhang
IROS
2006
IEEE
127views Robotics» more  IROS 2006»
15 years 12 months ago
Learning Predictive Features in Affordance based Robotic Perception Systems
This work is about the relevance of Gibson’s concept of affordances [1] for visual perception in interactive and autonomous robotic systems. In extension to existing functional ...
Gerald Fritz, Lucas Paletta, Ralph Breithaupt, Eri...
ISSTA
2009
ACM
15 years 10 months ago
Run-time conformance checking of mobile and distributed systems using executable models
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel
AIME
2001
Springer
15 years 10 months ago
Using Part-of-Speech and Word-Sense Disambiguation for Boosting String-Edit Distance Spelling Correction
Abstract. We report on the design of a system for correcting spelling errors resulting in non-existent words. The system aims at improving edition of medical reports. Unlike tradit...
Patrick Ruch, Robert H. Baud, Antoine Geissbü...