Sciweavers

2111 search results - page 293 / 423
» Exploring evaluation methods for ambient information systems
Sort
View
FORMATS
2007
Springer
15 years 8 months ago
Partial Order Reduction for Verification of Real-Time Components
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
John Håkansson, Paul Pettersson
ATAL
2005
Springer
15 years 10 months ago
Coordinating multiple rovers with interdependent science objectives
This paper describes an integrated system for coordinating multiple rover behavior with the overall goal of collecting planetary surface data. The MISUS system combines techniques...
Tara A. Estlin, Daniel M. Gaines, Forest Fisher, R...
IV
2003
IEEE
200views Visualization» more  IV 2003»
15 years 10 months ago
Artist As Researcher, Understanding The Tools
The paper begins with a response to the nature of contemporary artists relationships to how computers have permeated the fine art domain and how they affect the creative process. ...
Theresa Gartland-Jones
IIR
2010
15 years 6 months ago
Context-Dependent Recommendations with Items Splitting
Recommender systems are intelligent applications that help on-line users to tackle information overload by providing recommendations of relevant items. Collaborative Filtering (CF...
Linas Baltrunas, Francesco Ricci
JCDL
2009
ACM
133views Education» more  JCDL 2009»
15 years 11 months ago
Cost and benefit analysis of mediated enterprise search
The utility of an enterprise search system is determined by three key players: the information retrieval (IR) system (the search engine), the enterprise users, and the service pro...
Mingfang Wu, James A. Thom, Andrew Turpin, Ross Wi...