16513 search results - page 489 / 3303 » Numerical Analysis Methods |
195
click to vote
CHARME
2001
Springer
15 years 10 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
196
click to vote
ACL
2003
15 years 8 months ago
2003
In this paper, we present a learning approach to the scenario template task of information extraction, where information filling one template could come from multiple sentences. ...
175
click to vote
ACL
1997
15 years 8 months ago
1997
This paper presents a new approach to bitext correspondence problem (BCP) of noisy bilingual corpora based on image processing (IP) techniques. By using one of several ways of est...
172
click to vote
ICML
2010
IEEE
15 years 8 months ago
2010
IEEE
We consider approximate policy evaluation for finite state and action Markov decision processes (MDP) in the off-policy learning context and with the simulation-based least square...
176
click to vote
GIS
2006
ACM
15 years 6 months ago
2006
ACM
Geospatial data is often used to predict or recommend movements of robots, people, or animals ("walkers"). Analysis of such systems can be combinatorially explosive. Eac...