Sciweavers

3406 search results - page 80 / 682
» Computational models of classical conditioning
Sort
View
CAINE
2003
15 years 5 months ago
Development of a Computational Toolkit for Biomechanical Analysis and Simulation: The Vertebrate Analyzer
This paper discusses the development of a computational modeling and analysis toolkit to construct, animate, and biomechanically analyze sophisticated models of vertebrates. Users...
K. F. Hulme, F. C. Mendel, K. P. Chugh
APAL
2005
107views more  APAL 2005»
15 years 4 months ago
Uniform Heyting arithmetic
We present an extension of Heyting Arithmetic in finite types called Uniform Heyting Arithmetic (HAu) that allows for the extraction of optimized programs from constructive and cla...
Ulrich Berger
ICMI
2009
Springer
171views Biometrics» more  ICMI 2009»
15 years 10 months ago
Static vs. dynamic modeling of human nonverbal behavior from multiple cues and modalities
Human nonverbal behavior recognition from multiple cues and modalities has attracted a lot of interest in recent years. Despite the interest, many research questions, including th...
Stavros Petridis, Hatice Gunes, Sebastian Kaltwang...
SIAMCOMP
1998
96views more  SIAMCOMP 1998»
15 years 3 months ago
Fault-Tolerant Computation in the Full Information Model
We initiate an investigation of general fault-tolerant distributed computation in the full-information model. In the full information model no restrictions are made on the computat...
Oded Goldreich, Shafi Goldwasser, Nathan Linial
COLING
2010
14 years 11 months ago
TimeML Events Recognition and Classification: Learning CRF Models with Semantic Roles
This paper analyzes the contribution of semantic roles to TimeML event recognition and classification. For that purpose, an approach using conditional random fields with a variety...
Hector Llorens, Estela Saquete, Borja Navarro-Colo...