4098 search results - page 525 / 820 » Sound mobility models |
172
click to vote
ICMCS
2005
IEEE
16 years 8 days ago
2005
IEEE
We study the problem of affective content analysis. In this paper we think of affective contents as those video/audio segments, which may cause an audience’s strong reactions or...
158
click to vote
ATAL
2005
Springer
16 years 6 days ago
2005
Springer
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...
155
click to vote
FOSSACS
2005
Springer
16 years 6 days ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
188
click to vote
TACAS
2005
Springer
16 years 4 days ago
2005
Springer
SAT-based Predicate Abstraction for ANSI-C Edmund Clarke1 Daniel Kroening2 Natasha Sharygina1,3 Karen Yorav4 1 Carnegie Mellon University, School of Computer Science 2 ETH Zuerich,...
141
click to vote
ICWE
2004
Springer
16 years 1 days ago
2004
Springer
In this paper we thoroughly discuss design and implementation issues for semantic search and navigation to ontology-based metrics and indicators metadata. These semantic search and...