2771 search results - page 101 / 555 » Advances in Document Engineering |
110
click to vote
AMAST
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
102
click to vote
AI
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Large document collections, such as those delivered by Internet search engines, are difficult and time-consuming for users to read and analyse. The detection of common an...
SIGIR
2004
ACM
15 years 6 months ago
2004
ACM
The larger amount of information on the Web is stored in document databases and is not indexed by general-purpose search engines (i.e., Google and Yahoo). Such information is dyna...
120
click to vote
EDBT
2004
ACM
16 years 22 days ago
2004
ACM
XQuery is increasingly popular among computer scientists with a SQL background, since queries in XQuery and SQL require comparable skills to be formulated. However, the number of ...
73
Voted
CRV
2006
IEEE
15 years 6 months ago
2006
IEEE
The Nomad 200 and the Nomad SuperScouts are among the most popular platforms used, for research in robotics. Built in the early 1990’s they were the base of choice for many mobil...