1870 search results - page 34 / 374 » Abstract And-Parallel Machines |
ENTCS
2007
13 years 8 months ago
2007
d abstract) Dominique Unruh 1 Institut f¨ur Algorithmen und Kognitive Systeme, Universit¨at Karlsruhe Am Fasanengarten 5, 76131 Karlsruhe, Germany We show how to model the seman...
LICS
2012
IEEE
11 years 10 months ago
2012
IEEE
—We propose a mathematical framework for step indexed realizability semantics of a call-by-value polymorphic lambda calculus with recursion, existential types and recursive types...
ICPR
2010
IEEE
13 years 6 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...
ICIAP
2009
ACM
13 years 5 months ago
2009
ACM
Abstract. Shape classification using graphs and skeletons usually involves edition processes in order to reduce the influence of structural noise. However, edition distances can no...
ICML
1998
IEEE
14 years 8 months ago
1998
IEEE
tion Learning about Temporally Abstract Actions Richard S. Sutton Department of Computer Science University of Massachusetts Amherst, MA 01003-4610 rich@cs.umass.edu Doina Precup D...