Sciweavers

3233 search results - page 434 / 647
» Validation Method for Intelligent Systems
Sort
View
AAAI
1994
15 years 7 months ago
Recovering Software Specifications with Inductive Logic Programming
We consider using machine learning techniques to help understand a large software system. In particular, we describe how learning techniques can be used to reconstruct abstract Da...
William W. Cohen
WOA
2010
15 years 4 months ago
Using Mobile Agents for Secure Biometric Authentication
This paper deals with the definition of a strong authentication model, coupling usual password/PIN based methods with a biometric matching, over a Multi Agent distributed infrastru...
Marco Tranquillin, Carlo Ferrari, Michele Moro
SGAI
2010
Springer
15 years 1 months ago
A Structural Approach to Sensor Placement based on Symbolic Compilation of the Model
: In the present paper we address the problem of computing the Minimal Additional Sensor Sets (MASS) that guarantee a desired level of diagnostic discrimination for a system. Recen...
Gianluca Torta, Pietro Torasso
AI
2011
Springer
14 years 10 months ago
Decentralized MDPs with sparse interactions
In this work, we explore how local interactions can simplify the process of decision-making in multiagent systems, particularly in multirobot problems. We review a recent decision-...
Francisco S. Melo, Manuela M. Veloso
IEAAIE
2011
Springer
14 years 9 months ago
Informative Sentence Retrieval for Domain Specific Terminologies
Domain specific terminologies represent important concepts when students study a subject. If the sentences which describe important concepts related to a terminology can be accesse...
Jia-Ling Koh, Chin-Wei Cho