10038 search results - page 1980 / 2008 » Model Checking for Managers |
137
click to vote
CIVR
2006
Springer
15 years 6 months ago
2006
Springer
Digital photographs are replacing tradition films in our daily life and the quantity is exploding. This stimulates the strong need for efficient management tools, in which the anno...
110
Voted
CLEF
2006
Springer
15 years 6 months ago
2006
Springer
The University of Maryland participated in the English and Czech tasks. For English, one monolingual run using only fields based on fully automatic transcription (the required con...
107
Voted
CLEF
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents the results of our initial experiments in the monolingual English, Spanish and Portuguese tasks and the Bilingual Spanish English, Spanish Portuguese, Englis...
128
Voted
MOBICOM
1997
ACM
15 years 6 months ago
1997
ACM
Hot swapping technology combined with pervasive heterogeneous networks empowers mobile laptop users to select the best network device for their current environment. Unfortunately,...
166
Voted
SDB
1995
15 years 6 months ago
1995
Most of work on partial information in databases asks which operations of standard languages, like relational algebra, can still be performed correctly in the presence of nulls. In...