519 search results - page 3 / 104 » Comparing Instance Generation Methods for Automated Reasonin... |
CHI
2006
ACM
14 years 5 months ago
2006
ACM
It has been well established in Cognitive Psychology that humans are able to strategically adapt performance, even highly skilled performance, to meet explicit task goals such as ...
IJCNLP
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. One important component of interactive systems is the generation component. While template-based generation is appropriate in many cases (for example, task oriented spoke...
LPAR
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. In this paper we study the problem of solving hard propositional satisfiability problem (SAT) instances in a computing grid or cloud, where run times and communication b...
DLOG
2003
13 years 6 months ago
2003
We propose a method to compare semantically two natural language texts. The process is realized in two steps, the first translates the texts into description logics terminologies...
CP
2006
Springer
13 years 9 months ago
2006
Springer
Dynamic detection and elimination of symmetry in constraints, is in general a hard task, but in Not-Equals binary constraint networks, the symmetry conditions can be simplified. I...