799 search results - page 73 / 160 » A Logic for Abstract State Machines |
DBPL
2007
Springer
15 years 4 months ago
2007
Springer
Data streams are modeled as infinite or finite sequences of data elements coming from an arbitrary but fixed universe. The universe can have various built-in functions and predi...
CADE
2008
Springer
15 years 10 months ago
2008
Springer
Abstract. We introduce the notion of array-based system as a suittraction of infinite state systems such as broadcast protocols or sorting programs. By using a class of quantified-...
ICPR
2010
IEEE
14 years 7 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...
176
click to vote
POPL
2009
ACM
15 years 10 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...
ICLP
1992
Springer
15 years 1 months ago
1992
Springer
CFT is a new constraint system providing records as logical data structure for constraint (logic) programming. It can be seen as a generalization of the rational tree system emplo...