Sciweavers

2391 search results - page 57 / 479
» From Nature to Methods and Back to Nature
Sort
View
AIED
2009
Springer
15 years 4 months ago
Affective Artificial Intelligence in Education: From Detection to Adaptation
This paper reviews and integrates research that would be necessary to develop an AIED system able to detect and then appropriately react to an affective state of a learner. It addr...
Emmanuel G. Blanchard, Boris Volfson, Yuan-Jin Hon...
IFL
2007
Springer
221views Formal Methods» more  IFL 2007»
15 years 3 months ago
From Contracts Towards Dependent Types: Proofs by Partial Evaluation
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky,...
ACL
2010
14 years 7 months ago
Bootstrapping Semantic Analyzers from Non-Contradictory Texts
We argue that groups of unannotated texts with overlapping and non-contradictory semantics represent a valuable source of information for learning semantic representations. A simp...
Ivan Titov, Mikhail Kozhevnikov
ICCV
2005
IEEE
15 years 3 months ago
On the Spatial Statistics of Optical Flow
We develop a method for learning the spatial statistics of optical flow fields from a novel training database. Training flow fields are constructed using range images of natur...
Stefan Roth, Michael J. Black
SIAMMAX
2010
97views more  SIAMMAX 2010»
14 years 4 months ago
Krylov Subspace Methods for Linear Systems with Tensor Product Structure
The numerical solution of linear systems with certain tensor product structures is considered. Such structures arise, for example, from the finite element discretization of a line...
Daniel Kressner, Christine Tobler