3255 search results - page 553 / 651 » Combination of Abstractions in the ASTR |
ECIR
2003
Springer
13 years 11 months ago
2003
Springer
Abstract. In this paper the suitability of different document representations for automatic document classification is compared, investigating a whole range of representations be...
SIROCCO
2004
13 years 11 months ago
2004
Shareable data services providing consistency guarantees, such as atomicity (linearizability), make building distributed systems easier. However, combining linearizability with ef...
UAI
1998
13 years 11 months ago
1998
tigate the use of temporally abstract actions, or macro-actions, in the solution of Markov decision processes. Unlike current models that combine both primitive actions and macro-...
AAAI
1994
13 years 11 months ago
1994
We consider using machine learning techniques to help understand a large software system. In particular, we describe how learning techniques can be used to reconstruct abstract Da...
JAR
2006
13 years 10 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...