206 search results - page 35 / 42 » Deterministic Caterpillar Expressions |
IJCAI
2007
13 years 11 months ago
2007
Conjunctive queries play an important role as an expressive query language for Description Logics (DLs). Although modern DLs usually provide for transitive roles, conjunctive quer...
IJCAI
2001
13 years 11 months ago
2001
A general and expressive model of sequential decision making under uncertainty is provided by the Markov decision processes (MDPs) framework. Complex applications with very large ...
CSL
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. The relationship between automata and logics has been investigated since the 1960s. In particular, it was shown how to determine, given an automaton, whether or not it is...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Space is a spatial programming language designed to exploit the massive parallelism available in a formal model of computation called the Synchronic A-Ram, and physically related ...
COMCOM
2006
13 years 10 months ago
2006
We address the problem of estimating the source-destination (SD) traffic matrix of a VPN from measurements of aggregated traffic along all access links. We derive two different es...