1897 search results - page 12 / 380 » eg 2007 |
CORR
2007
Springer
13 years 7 months ago
2007
Springer
Abstract. The Boolean satisfiability problem (SAT) can be solved efficiently with variants of the DPLL algorithm. For industrial SAT problems, DPLL with conflict analysis depend...
MLQ
2007
13 years 7 months ago
2007
Let R be the preorder of embeddability between countable linear orders colored with elements of Rado’s partial order (a standard example of a wqo which is not a bqo). We show tha...
MP
2007
13 years 7 months ago
2007
Let Bi be deterministic real symmetric m × m matrices, and ξi be independent random scalars with zero mean and “of order of one” (e.g., ξi ∼ N(0, 1)). We are interested to...
CHI
2007
ACM
14 years 8 months ago
2007
ACM
We investigate the differences ? in terms of both quantitative performance and subjective preference ? between direct-touch and mouse input for unimanual and bimanual tasks on tab...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
This paper presents a multi-agent framework designed to simulate synthetic humans that properly balance task oriented and social behaviors. The work presented in this paper focuses...