79 search results - page 12 / 16 » What we understand is what we get: Assessment in Spreadsheet... |
ECOOP
2008
Springer
14 years 12 months ago
2008
Springer
Verification of object-oriented programs relies on object invariants which express consistency criteria of objects. The semantics of object invariants is subtle, mainly because of...
ERCIMDL
2007
Springer
15 years 4 months ago
2007
Springer
We propose and evaluate a query expansion mechanism that supports searching and browsing in collections of annotated documents. Based on generative language models, our feedback me...
TREC
2001
14 years 11 months ago
2001
Many users have acquired a sophisticated understanding of searching the Web in specific domains. For example, we often hear of users who can get amazing deals for electronic produ...
UIST
2010
ACM
14 years 8 months ago
2010
ACM
This paper presents CoCo, a system that automates web tasks on a user's behalf through an interactive conversational interface. Given a short command such as "get road c...
DLOG
2009
14 years 8 months ago
2009
Abstract. In this paper, we describe an approach for ontology comprehension support called model exploration in which models for ontologies are generated and presented interactivel...