5643 search results - page 95 / 1129 » Retrieval Evaluation in Practice |
MHCI
2005
Springer
15 years 3 months ago
2005
Springer
This paper includes a review of mobile applications used in museum environments, focusing on the notion of context and its constituent dimensions. Museums are a representative exa...
101
click to vote
DL
1999
Springer
15 years 2 months ago
1999
Springer
Keyphrases provide semantic metadata that summarize and characterize documents. This paper describes Kea, an algorithm for automatically extracting keyphrases from text. Kea ident...
KBSE
1997
IEEE
15 years 2 months ago
1997
IEEE
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...
CAV
2008
Springer
14 years 12 months ago
2008
Springer
In this paper we present a word-level model checking method that attempts to speed up safety property checking of industrial netlists. Our aim is to construct an algorithm that all...
107
click to vote
IE
2007
14 years 11 months ago
2007
In this paper, I describe a possible creative model for approaching realtime 3D Multi-user Virtual Environments (MUVEs) as formal, audio-visual composition environments. The model...