Sciweavers

3522 search results - page 444 / 705
» Modeling and Aspect Weaving
Sort
View
ECSQARU
2005
Springer
16 years 5 days ago
A Possibilistic Inconsistency Handling in Answer Set Programming
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...
Pascal Nicolas, Laurent Garcia, Igor Stépha...
IDA
2005
Springer
16 years 4 days ago
Exploring Hierarchical Rule Systems in Parallel Coordinates
Rule systems have failed to attract much interest in large data analysis problems because they tend to be too simplistic to be useful or consist of too many rules for human interpr...
Thomas R. Gabriel, A. Simona Pintilie, Michael R. ...
ISPEC
2005
Springer
16 years 4 days ago
An Open Approach for Designing Secure Electronic Immobilizers
Abstract. The automotive industry has developed electronic immobilizers to reduce the number of car thefts since the mid nineties. However, there is not much information on the cur...
Kerstin Lemke, Ahmad-Reza Sadeghi, Christian St&uu...
IVA
2005
Springer
16 years 4 days ago
Emotion in Artificial Intelligence and Artificial Life Research: Facing Problems
Psychology and cognitive neuroscience researches are increasingly showing how emotion plays a crucial role in cognitive processes. Gradually, this knowledge is being used in Artifi...
Jackeline Spinola de Freitas, Ricardo R. Gudwin, J...
OTM
2005
Springer
16 years 3 days ago
Evaluating Ontology Criteria for Requirements in a Geographic Travel Domain
Abstract. An ontology is a model of a domain of knowledge. The knowledge that is captured in an ontology can be used for providing interoperability, sharing of information and redu...
Jonathan Yu, James A. Thom, Audrey M. Tam