9989 search results - page 1638 / 1998 » A CLP Approach to Modelling Systems |
146
click to vote
SEFM
2007
IEEE
16 years 1 months ago
2007
IEEE
Reactive integrated development environments for software engineering have lead to an increase in productivity and quality of programs produced. They have done so by replacing the...
217
click to vote
AIHC
2007
Springer
16 years 28 days ago
2007
Springer
Automatic multimodal recognition of spontaneous emotional expressions is a largely unexplored and challenging problem. In this paper, we explore audio-visual emotion recognition in...
162
Voted
CP
2007
Springer
16 years 27 days ago
2007
Springer
Defence trees and CP-net (ceteris paribus network) are two useful approaches that can be used to help a system administrator to analyze a security scenario and to give him a model ...
185
click to vote
FROCOS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
188
click to vote
IBPRIA
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. This paper deals with a compact catadioptric omnidirectional stereovision system based on a single camera and multi-mirrors (at least two mirrors). Many configurations w...