1192 search results - page 192 / 239 » Symbolic Query Exploration |
140
click to vote
LOPSTR
2005
Springer
15 years 7 months ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
110
click to vote
SIGIR
2004
ACM
15 years 7 months ago
2004
ACM
Applying Belief Revision logic to model adaptive information retrieval is appealing since it provides a rigorous theoretical foundation to model partiality and uncertainty inheren...
134
Voted
VLDB
2004
ACM
15 years 7 months ago
2004
ACM
At a fundamental level, the key challenge in data integration is to reconcile the semantics of disparate data sets, each expressed with a different database structure. I argue th...
109
Voted
AIIDE
2008
15 years 4 months ago
2008
Systems that provide automated game-design support-whether fully automated game generators, or tools to assist human designers--must be able to maintain a representation of a game...
123
Voted
USS
2008
15 years 4 months ago
2008
Remote error analysis aims at timely detection and remedy of software vulnerabilities through analyzing runtime errors that occur on the client. This objective can only be achieve...