Sciweavers

4486 search results - page 669 / 898
» Cross-Evaluation: A new model for information system evaluat...
Sort
View
PRICAI
2000
Springer
15 years 10 months ago
Functional Understanding Based on an Ontology of Functional Concepts
Abstract. This article discusses automatic identifications of functional structures of artifacts from given behavioral models of components and their connection information (called...
Yoshinobu Kitamura, Toshinobu Sano, Riichiro Mizog...
DAGSTUHL
2006
15 years 8 months ago
Context Dependent Analysis of BioAmbients
BioAmbients is a derivative of mobile ambients that has shown promise of describing interesting features of the behaviour of biological systems. The technical contribution of this...
Henrik Pilegaard, Hanne Riis Nielson, Flemming Nie...
TREC
2004
15 years 8 months ago
Columbia University in the Novelty Track at TREC 2004
Our system for the Novelty Track at TREC 2004 looks beyond sentence boundaries as well as within sentences to identify novel, nonduplicative passages. It tries to identify text sp...
Barry Schiffman, Kathleen McKeown
IJCAI
1989
15 years 7 months ago
Reconstructive Explanation: Explanation as Complex Problem Solving
Existing explanation facilities are typically far more appropriate for knowledge engineers engaged in system maintenance than for endusers of the system. This is because the expla...
Michael R. Wick, William B. Thompson
ICTAC
2010
Springer
15 years 5 months ago
Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform
Flash memory has become a virtually indispensable component for mobile devices in today’s information society. However, conventional testing methods often fail to detect hidden b...
Yunho Kim, Moonzoo Kim, Nam Dang