680 search results - page 43 / 136 » Complexity of Strict Implication |
ROMAN
2007
IEEE
14 years 2 months 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...
MFCS
2007
Springer
14 years 1 months 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...
LICS
2006
IEEE
14 years 1 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...
PARELEC
2006
IEEE
14 years 1 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....
CIKM
2005
Springer
14 years 1 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...