2830 search results - page 385 / 566 » No Science without Semantics |
128
click to vote
CADE
2006
Springer
16 years 4 months ago
2006
Springer
The HOL Light prover is based on a logical kernel consisting of about 400 lines of mostly functional OCaml, whose complete formal verification seems to be quite feasible. We would ...
110
click to vote
CADE
2005
Springer
16 years 4 months ago
2005
Springer
In many theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in ...
209
Voted
VLDB
2007
ACM
16 years 4 months ago
2007
ACM
In order to optimize their revenues and profits, an increasing number of businesses organize their business activities in terms of business processes. Typically, they automate imp...
229
click to vote
SIGMOD
2007
ACM
16 years 3 months ago
2007
ACM
Keyword search enables web users to easily access XML data without the need to learn a structured query language and to study possibly complex data schemas. Existing work has addr...
218
Voted
SIGMOD
2006
ACM
16 years 3 months ago
2006
ACM
Recently, there has been extensive research that generated a wealth of new XML full-text query languages, ranging from simple Boolean search to combining sophisticated proximity a...