1222 search results - page 15 / 245 » Some Results on Directable Automata |
HIPS
1998
IEEE
15 years 1 months ago
1998
IEEE
Loop interchange is a powerful restructuring technique for supporting vectorization and parallelization. In this paper, we propose a technique which is better to determine whether...
86
Voted
SIGIR
2012
ACM
13 years 1 days ago
2012
ACM
Search personalization and diversification are often seen as opposing alternatives to cope with query uncertainty, where, given an ambiguous query, it is either preferable to adap...
ACL
1998
14 years 11 months ago
1998
In wide-coverage lexicalized grammars many of the elementary structures have substructures in common. This means that in conventional parsing algorithms some of the computation as...
FORTE
2007
14 years 11 months ago
2007
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
103
click to vote
CSL
2007
Springer
15 years 1 months ago
2007
Springer
We give a new proof showing that it is not possible to define in monadic second-order logic (MSO) a choice function on the infinite binary tree. This result was first obtained by G...