9730 search results - page 214 / 1946 » Relating models of backtracking |
136
click to vote
SIGSOFT
2009
ACM
16 years 5 months ago
2009
ACM
Modern development environments often involve models with complex consistency relations. Some of the relations can be automatically established through "fixing procedures&quo...
138
click to vote
CIKM
2007
Springer
15 years 10 months ago
2007
Springer
Dictionary-based approaches to query translation have been widely used in Cross-Language Information Retrieval (CLIR) experiments. Using these approaches, translation has been not...
129
click to vote
CSL
2006
Springer
15 years 8 months ago
2006
Springer
Game quantification is an expressive concept and has been studied in model theory and descriptive set theory, especially in relation to infinitary logics. Automatic structures on t...
171
click to vote
KES
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. A mobile robot that interacts with its environment needs a machineunderstandable representation of objects and their usages. We present an ontology of objects, with gener...
135
click to vote
ICML
2007
IEEE
16 years 5 months ago
2007
IEEE
We propose statistical predicate invention as a key problem for statistical relational learning. SPI is the problem of discovering new concepts, properties and relations in struct...