7991 search results - page 316 / 1599 » Using More Reasoning to Improve |
166
click to vote
NIPS
2004
15 years 8 months ago
2004
In this paper we show that it is possible to model sensory impressions of consumers about beef meat. This is not a straightforward task; the reason is that when we are aiming to i...
159
click to vote
ML
2000
ACM
15 years 6 months ago
2000
ACM
In this paper we present TDLEAF( ), a variation on the TD( ) algorithm that enables it to be used in conjunction with game-tree search. We present some experiments in which our che...
186
click to vote
VLDB
2002
ACM
15 years 6 months ago
2002
ACM
RTMonitor is a real-time data management system for traffic navigation applications. In our system, mobile vehicles initiate time-constrained navigation requests and RTMonitor cal...
207
click to vote
IEEEHPCS
2010
15 years 4 months ago
2010
In grid computing systems, providing fault-tolerance is required for both scientific computation and file-sharing to increase their reliability. In previous works, several mechani...
226
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...