4584 search results - page 574 / 917 » interact 2007 |
169
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
We describe an approach designed to reduce the costs of ontology development through the use of untrained, volunteer knowledge engineers. Results are provided from an experiment i...
160
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
This paper describes our efforts to investigate factors in user's browsing behavior to automatically evaluate web pages that the user shows interest in. To evaluate web pages...
179
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
We introduce a calculus for handling integer arithmetic in first-order logic. The method is tailored to Java program verification and meant to be used both as a supporting procedur...
242
click to vote
SIGMOD
2007
ACM
16 years 7 months ago
2007
ACM
We demonstrate a novel query interface that enables users to construct a rich search query without any prior knowledge of the underlying schema or data. The interface, which is in...
155
click to vote
ICIAP
2007
ACM
16 years 7 months ago
2007
ACM
This paper presents a novel user interaction concept for document image scanning with mobile phones. A high resolution mosaic image is constructed in two main stages. Firstly, onl...