6829 search results - page 58 / 1366 » Quantitative Generalizations of Languages |
110
click to vote
ESOP
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. General refinement types allow types to be refined by predicates written in a general-purpose programming language, and can express function pre- and postconditions and d...
98
Voted
LOGCOM
2007
15 years 20 days ago
2007
We consider the problem of incorporating arbitrary preferences in planning systems. A preference may be seen as a goal or constraint that is desirable, but not necessary, to satis...
121
Voted
CICLING
2006
Springer
15 years 4 months ago
2006
Springer
Several phrase chunkers have been proposed over the past few years. Some state-of-the-art chunkers achieved better performance via integrating external resources, e.g., parsers and...
ESA
2010
Springer
15 years 1 months ago
2010
Springer
Text search engines return a set of k documents ranked by similarity to a query. Typically, documents and queries are drawn from natural language text, which can readily be partiti...
226
click to vote
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
As a novel, grand AI challenge, General Game Playing is concerned with the development of systems that understand the rules of unknown games and play these games well without human...