354 search results - page 62 / 71 » Modal and Temporal Logics for Processes |
MM
2010
ACM
13 years 8 months ago
2010
ACM
In this technical demonstration we show an integrated web system for video search and annotation based on ontologies. The system is composed by three components: the Orione1 ontol...
JOCN
2010
13 years 6 months ago
2010
■ Neuroimaging studies suggest that a fronto-parietal network is activated when we expect visual information to appear at a specific spatial location. Here we examined whether a...
DAGM
2006
Springer
13 years 11 months ago
2006
Springer
This paper presents a practical system for vision-based traffic scene analysis from a moving vehicle based on a cognitive feedback loop which integrates real-time geometry estimati...
ICONIP
2008
13 years 9 months ago
2008
Several applications would emerge from the development of efficient and robust sound classification systems able to identify the nature of non-speech sound sources. This paper prop...
IJCSA
2006
13 years 7 months ago
2006
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...