13987 search results - page 562 / 2798 » The Two Guards Problem |
176
click to vote
AI
2008
Springer
15 years 9 months ago
2008
Springer
Distance semantics is a robust way of handling dynamically evolving and possibly contradictory information. In this paper we show that in many cases distance-based entailments can ...
174
click to vote
BIRTHDAY
2008
Springer
15 years 9 months ago
2008
Springer
We survey some of the problems associated with checking whether a given behavior (a sequence, a Boolean signal or a continuous signal) satisfies a property specified in an appropri...
199
click to vote
CGO
2008
IEEE
15 years 9 months ago
2008
IEEE
Dynamic instrumentation systems are gaining popularity as means of constructing customized program profiling and analysis tools. However, dynamic instrumentation based analysis to...
185
click to vote
ECML
2006
Springer
15 years 9 months ago
2006
Springer
In this article, I will consider Markov Decision Processes with two criteria, each defined as the expected value of an infinite horizon cumulative return. The second criterion is e...
191
click to vote
DAWAK
2008
Springer
15 years 9 months ago
2008
Springer
In this paper we discuss problems of constructing classifiers from imbalanced data. We describe a new approach to selective preprocessing of imbalanced data which combines local ov...