1129 search results - page 196 / 226 » Modular Ranking Abstraction |
123
click to vote
AIME
2001
Springer
15 years 7 months ago
2001
Springer
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...
151
click to vote
ERCIMDL
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. We present an approach to increasing the effectiveness of rankedoutput retrieval systems that relies on graphical display and user manipulation of “views” of retrieva...
124
click to vote
CONCUR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We consider the problem of verifying the safety of wellstructured transition systems (WSTS) with auxiliary storage. WSTSs with storage are automata that have (possibly) i...
152
click to vote
EPIA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Robots need to ground their external vocabulary and internal symbols in observations of the world. In recent works, this problem has been approached through combinations ...
115
Voted
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We present a new method for proving liveness and termination properties for fair concurrent programs, which does not rely on finding a ranking function or on computing th...