Sciweavers

2169 search results - page 22 / 434
» Testing Incremental Adaptation
Sort
View
COLING
1992
13 years 9 months ago
Chart Parsing Lambek Grammars: Modal Extensions And Incrementality
This paper I describes a method for chart parsing Lambek grammars. The method is of particular interest in two regards. Firstly, it allows efficient processing of grammars which u...
Mark Hepple
ENTCS
2010
104views more  ENTCS 2010»
13 years 8 months ago
Tableau Tool for Testing Satisfiability in LTL: Implementation and Experimental Analysis
We report on the implementation and experimental analysis of an incremental multi-pass tableau-based procedure `a la Wolper for testing satisfiability in the linear time temporal ...
Valentin Goranko, Angelo Kyrilov, Dmitry Shkatov
AAAI
1997
13 years 9 months ago
Incremental Methods for Computing Bounds in Partially Observable Markov Decision Processes
Partially observable Markov decision processes (POMDPs) allow one to model complex dynamic decision or control problems that include both action outcome uncertainty and imperfect ...
Milos Hauskrecht
AIME
2009
Springer
14 years 2 months ago
An Ontology for the Care of the Elder at Home
The care of the elder at home is highly demanded in modern societies. It is based on the difficult task of coordinating multiple professionals and procedures acting on the same pa...
David Riaño, Francis Real, Fabio Campana, S...
ICTAI
2008
IEEE
14 years 2 months ago
An Incremental Hough Transform for Detecting Ellipses in Image Data Streams
In this paper, we present a purely incremental, scalable algorithm for the detection of elliptical shapes in images. Our method uses an incremental version of the Random Hough Tra...
Sofiane Sellah, Olfa Nasraoui