370 search results - page 33 / 74 » Object-Oriented Abstract State Machines |
144
click to vote
ICPR
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract. This paper presents a new classification algorithm for realtime inference of emotions from the non-verbal features of speech. It identifies simultaneously occurring emoti...
272
click to vote
POPL
2009
ACM
16 years 6 months ago
2009
ACM
The call-by-need lambda calculus provides an equational framework for reasoning syntactically about lazy evaluation. This paper examines its operational characteristics. By a seri...
169
click to vote
CEFP
2005
Springer
15 years 11 months ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...
160
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
Abstract - We address the problem of automatically verifying large digital designs at the logic level, against high-level specifications. In this paper, we present a methodology wh...
154
click to vote
ICML
2004
IEEE
16 years 6 months ago
2004
IEEE
Motivated by the interest in relational reinforcement learning, we introduce a novel relational Bellman update operator called ReBel. It employs a constraint logic programming lan...