680 search results - page 43 / 136 » Complexity of Strict Implication |
148
click to vote
ROMAN
2007
IEEE
16 years 6 days ago
2007
IEEE
— We are currently investigating the use of rhythm and synchrony in human-robot interaction. Specifically, we are developing techniques for the perception and generation of soci...
131
click to vote
MFCS
2007
Springer
16 years 2 days ago
2007
Springer
Abstract. We define the notion of height-deterministic pushdown automata, a model where for any given input string the stack heights during any (nondeterministic) computation on t...
181
click to vote
LICS
2006
IEEE
15 years 12 months ago
2006
IEEE
Treewidth measures the ”tree-likeness” of structures. Many NP-complete problems, e.g., propositional satisfiability, are tractable on bounded-treewidth structures. In this wo...
155
click to vote
PARELEC
2006
IEEE
15 years 12 months ago
2006
IEEE
At our university, we have a number of small-tomedium-size compute clusters and some technical simulations which could benefit from using several of these clusters simulaneously....
138
click to vote
CIKM
2005
Springer
15 years 11 months ago
2005
Springer
Maintaining strict static score order of inverted lists is a heuristic used by search engines to improve the quality of query results when the entire inverted lists cannot be proc...