Sciweavers

3384 search results - page 485 / 677
» More Testable Properties
Sort
View
DAGSTUHL
2003
13 years 11 months ago
Toward a Cognitive System Algebra: Application to Facial Expression Learning and Imitation
In this paper, we try to demonstrate the capability of a very simple architecture to learn to recognize and reproduce facial expressions without the innate capability to recognize ...
Philippe Gaussier, Ken Prepin, Jacqueline Nadel
IJCAI
2001
13 years 11 months ago
Weakening Conflicting Information for Iterated Revision and Knowledge Integration
The ability to handle exceptions, to perform iterated belief revision and to integrate information from multiple sources are essential skills for an intelligent agent. These impor...
Salem Benferhat, Souhila Kaci, Daniel Le Berre, Ma...
FORTE
2003
13 years 11 months ago
A Lightweight Formal Analysis of a Multicast Key Management Scheme
Abstract. This paper describes the analysis of Pull-Based Asynchronous Rekeying Framework (ARF), a recently proposed solution to the scalable group key management problem in secure...
Mana Taghdiri, Daniel Jackson
OMER
2001
13 years 11 months ago
Towards Service-Based Flexible Production Control Systems and their Modular Modeling and Simulation
Abstract: Modeling of modern production plants often requires that the system provides means to cope with frequent changes in topology and equipment and can easily be adapted to ne...
Holger Giese, Ulrich Nickel
PSB
2004
13 years 11 months ago
An Evidence Ontology for Use in Pathway/Genome Databases
An important emerging need in Model Organism Databases (MODs) and other bioinformatics databases (DBs) is that of capturing the scientific evidence that supports the information wi...
Peter D. Karp, Suzanne M. Paley, Cynthia J. Kriege...