36 search results - page 4 / 8 » An End to the Middle |
PUK
2000
13 years 8 months ago
2000
Abstract. In this paper we study traditional and enhanced BDDbased exploration procedures capable of handling large planning problems. On the one hand, reachability analysis and mo...
PLDI
1995
ACM
13 years 11 months ago
1995
ACM
Compile-time type information should be valuable in efficient compilation of statically typed functional languages such as Standard ML. But how should type-directed compilation w...
MCAM
2007
Springer
14 years 1 months ago
2007
Springer
Supporting multimedia search has emerged as an important research topic. There are three paradigms on the research spectrum that ranges from the least automatic to the most automat...
ICDE
1999
IEEE
14 years 8 months ago
1999
IEEE
An increasing number of database applications require online access to massive amounts of data. Since large-scale storage systems implemented entirely on magnetic disk can be impr...
CICLING
2012
Springer
12 years 3 months ago
2012
Springer
The positional rigidity of graphemes (as well as words considered as single units) in written sequences has been analyzed in this paper using complex network methodology. In partic...