1636 search results - page 163 / 328 » Type-Theoretic Functional Semantics |
122
click to vote
EDBTW
2006
Springer
15 years 7 months ago
2006
Springer
Reactivity, the ability to detect and react to events, is an essential functionality in many information systems. In particular, Web systems such as online marketplaces, adaptive (...
120
click to vote
ERSHOV
2006
Springer
15 years 7 months ago
2006
Springer
In this work, we present a semantic query optimization technique to improve the efficiency of the evaluation of a subset of SQL:1999 recursive queries. Using datalog notation, we c...
135
click to vote
EICS
2010
ACM
15 years 6 months ago
2010
ACM
We propose an approach that takes as input a task model, which includes the user's view of the interactive system, and automatically discovers a set of categorized and ranked...
155
click to vote
CADE
2008
Springer
15 years 6 months ago
2008
Springer
LogAnswer is an open domain question answering system which employs an automated theorem prover to infer correct replies to natural language questions. For this purpose LogAnswer o...
153
click to vote
CC
2005
Springer
15 years 6 months ago
2005
Springer
Various techniques for the navigation and matching of data structures using path expressions have been the subject of extensive investigations. No matter whether such techniques ar...