231 search results - page 6 / 47 » A Brief Overview of HOL4 |
SEMWEB
2010
Springer
13 years 3 months ago
2010
Springer
Web search is a key technology of the Web, since it is the primary way to access content on the Web. Current standard Web search is essentially based on a combination of textual ke...
PODS
2006
ACM
14 years 8 months ago
2006
ACM
An intelligent agent will often be uncertain about various properties of its environment, and when acting in that environment it will frequently need to quantify its uncertainty. ...
GPCE
2005
Springer
14 years 2 months ago
2005
Springer
Successful software systems must be prepared to evolve or they will die. Although object-oriented software systems are built to last, over time they degrade as much as any legacy s...
CADE
2001
Springer
14 years 9 months ago
2001
Springer
Abstract. JProver is a first-order intuitionistic theorem prover that creates sequent-style proof objects and can serve as a proof engine in interactive proof assistants with expre...
INEX
2007
Springer
14 years 2 months ago
2007
Springer
The INEX Multimedia track focuses on using the structure of XML documents to extract, relate, and combine the relevance of different multimedia fragments. This paper presents a br...