Sciweavers

1259 search results - page 185 / 252
» Use Cases, Actions, and Roles
Sort
View
KR
1992
Springer
15 years 10 months ago
Abductive Plan Recognition and Diagnosis: A Comprehensive Empirical Evaluation
While it has been realized for quite some time within AI that abduction is a general model of explanation for a variety of tasks, there have been no empirical investigations into ...
Hwee Tou Ng, Raymond J. Mooney
DSN
2007
IEEE
15 years 10 months ago
Automatic Verification and Discovery of Byzantine Consensus Protocols
Model-checking of asynchronous distributed protocols is challenging because of the large size of the state and solution spaces. This paper tackles this problem in the context of l...
Piotr Zielinski
CANDT
2009
15 years 10 months ago
Active artifacts as bridges between context and community knowledge sources
The aim of the paper is twofold: i) understanding how to provide additional information that is reflective of current organizational context in knowledge production and use; ii) p...
Federico Cabitza, Carla Simone
CAIP
2003
Springer
247views Image Analysis» more  CAIP 2003»
15 years 9 months ago
Object Classification and Tracking in Video Surveillance
The design of a video surveillance system is directed on automatic identification of events of interest, especially on tracking and classification of moving vehicles or pedestrian...
Qi Zang, Reinhard Klette
CLEF
2010
Springer
15 years 7 months ago
DAEDALUS at LogCLEF 2010: Analyzing the Success of Search Queries
This paper describes the participation of DAEDALUS at the LogCLEF task. The focus of our experiments was to study if the difference between the native language of the user and the ...
Sara Lana-Serrano, Julio Villena-Román, Jos...