Sciweavers

4835 search results - page 281 / 967
» Intelligent Selection Tools
Sort
View
ECAI
2000
Springer
15 years 11 months ago
Diagnosis and Diagnosability Analysis Using PEPA
In this paper we propose the use of process algebras as powerful frameworks for model-based diagnosis. In fact, they provide machinery and tools for building component-oriented mod...
Luca Console, Claudia Picardi, Marina Ribaudo
DL
1999
Springer
126views Digital Library» more  DL 1999»
15 years 10 months ago
Managing Personal and Group Collections of Information
In this paper, we describe DIAMS, an agent-based information management tool. Keywords Intelligent agents, information access, collaborative system.
Shawn R. Wolfe, Stephen D. Wragg, James R. Chen
AUSAI
1997
Springer
15 years 10 months ago
Dominant and Recessive Genes in Evolutionary Systems Applied to Spatial Reasoning
Learning genetic representation has been shown to be a useful tool in evolutionary computation. It can reduce the time required to find solutions and it allows the search process ...
Thorsten Schnier, John S. Gero
AMI
2009
Springer
15 years 10 months ago
Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications
Abstract. We provide the first tool for verifying the logic of contextaware applications written for the mainstream sensor network operating system TinyOS; we focus on detecting pr...
Doina Bucur, Marta Z. Kwiatkowska
IDEAL
2000
Springer
15 years 10 months ago
Applying Independent Component Analysis to Factor Model in Finance
Factor model is a very useful and popular model in finance. In this paper, we show the relation between factor model and blind source separation, and we propose to use Independent ...
Siu-Ming Cha, Lai-Wan Chan