10568 search results - page 180 / 2114 » Computer Intelligence and Formalization |
152
click to vote
WAPCV
2007
Springer
15 years 9 months ago
2007
Springer
In this paper a simulation model for visual attention is discussed and formally analysed. The model is part of the design of a cognitive system which comprises an agent that suppor...
136
click to vote
DAC
1997
ACM
15 years 6 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
160
click to vote
ASM
2010
ASM
15 years 3 months ago
2010
ASM
This paper presents Matelas, a B predicate calculus definition for social networking, modelling social-network content, privacy policies, social-networks friendship relations, and ...
123
click to vote
COLING
2010
14 years 9 months ago
2010
We present in this paper a formal approach for the representation of multimodal information. This approach, thanks to the to use of typed feature structures and hypergraphs, gener...
130
click to vote
PERVASIVE
2005
Springer
15 years 8 months ago
2005
Springer
Obfuscation concerns the practice of deliberately degrading the quality of information in some way, so as to protect the privacy of the individual to whom that information refers. ...