4460 search results - page 604 / 892 » Formal methods for interactive systems |
188
click to vote
ISMIR
2005
Springer
16 years 3 days ago
2005
Springer
With the rising popularity of digital music archives the need for new access methods such as interactive exploration or similarity-based search become significant. In this paper ...
161
click to vote
ACSC
2003
IEEE
15 years 12 months ago
2003
IEEE
The Map Labelling Problem appears in several applications, mainly in Cartography. Although much research on this problem has been done, it is interesting to note that map-labellin...
182
click to vote
ISWC
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper describes a preliminary investigation of how the capabilities of wearable computers may be used to provide task guidance in mobile environments. Specifically, this stud...
186
click to vote
AAAI
2004
15 years 8 months ago
2004
A growing number of applications seek to incorporate automatically generated narrative structure into interactive virtual environments. In this paper, we evaluate a representation...
160
click to vote
ECIR
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The following paper proposes a new kind of relevance feedback. It shows how so called query profiles can be employed for disambiguation and clarification. Query profiles ...