1456 search results - page 218 / 292 » A search quality evaluation based on objective-subjective me... |
178
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
179
click to vote
KDD
2002
ACM
16 years 6 months ago
2002
ACM
Text clustering methods can be used to structure large sets of text or hypertext documents. The well-known methods of text clustering, however, do not really address the special p...
165
click to vote
MICCAI
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Spatial priors, such as probabilistic atlases, play an important role in MRI segmentation. However, the availability of comprehensive, reliable and suitable manual segmen...
145
click to vote
RTSS
1996
IEEE
15 years 10 months ago
1996
IEEE
In this paper we describe our experiments on a realtime system design, focusing on design alternatives such as scheduling jitter, sensor-to-output latency, intertask communication...
153
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Developing scalable algorithms for solving partially observable Markov decision processes (POMDPs) is an important challenge. One promising approach is based on representing POMDP...