1116 search results - page 94 / 224 » Applying Predicate Abstraction to Abstract State Machines |
109
click to vote
ACII
2011
Springer
13 years 11 months ago
2011
Springer
Abstract. In this study we propose a methodology to investigate possible prosody and voice quality correlates of social signals, and test-run it on annotated naturalistic recording...
JSAI
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. This paper is concerned with algorithms for the logical generalisation of probabilistic temporal models from examples. The algorithms combine logic and probabilistic mode...
JVA
2006
IEEE
15 years 5 months ago
2006
IEEE
History repeats itself. Since the invention of the programmable computer, numerous computer scientists keep dedicating their professional lives to the design of “the single, bes...
126
click to vote
ARCSF
2008
15 years 28 days ago
2008
Abstract-- Affective information is vital for effective human-tohuman communication. Likewise, human-to-computer communication could be potentiated by an "affective barometer&...
110
click to vote
SEMWEB
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. The Semantic Web fosters novel applications targeting a more efficient and satisfying exploitation of the data available on the web, e.g. faceted browsing of linked open...