15073 search results - page 2757 / 3015 » Probabilistic algorithms for computing resultants |
102
Voted
AUSDM
2006
Springer
15 years 7 months ago
2006
Springer
How to efficiently discard potentially uninteresting rules in exploratory rule discovery is one of the important research foci in data mining. Many researchers have presented algor...
137
Voted
CAV
2006
Springer
15 years 7 months ago
2006
Springer
niques for Fast Predicate Abstraction Shuvendu K. Lahiri , Robert Nieuwenhuis , and Albert Oliveras Abstract. Predicate abstraction is a technique for automatically exfinite-state ...
144
Voted
DELTA
2004
IEEE
15 years 7 months ago
2004
IEEE
In this report we address the problem of static scheduling of realtime systems that include both hard and soft tasks. We consider systems in which both hard and soft tasks are per...
135
click to vote
DSRT
2004
IEEE
15 years 7 months ago
2004
IEEE
Distributed simulation cloning technology is designed to analyze alternative scenarios of a distributed simulation concurrently within the same execution session. The goal is to o...
133
Voted
ECML
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Approximate Policy Iteration (API) is a reinforcement learning paradigm that is able to solve high-dimensional, continuous control problems. We propose to exploit API for...