Sciweavers

1095 search results - page 136 / 219
» Algebraic Guide Generation
Sort
View
COGSCI
2010
64views more  COGSCI 2010»
13 years 9 months ago
A One-to-One Bias and Fast Mapping Support Preschoolers' Learning About Faces and Voices
A multi-modal person representation contains information about what a person looks like and what a person sounds like. However, little is known about how children form these face-...
Mariko Moher, Lisa Feigenson, Justin Halberda
ICCV
1999
IEEE
14 years 11 months ago
Euclidean Reconstruction and Reprojection up to Subgroups
The necessary and sufficient conditions for being able to estimate scene structure, motion and camera calibration from a sequence of images are very rarely satisfied in practice. ...
Yi Ma, Stefano Soatto, Jana Kosecka, Shankar Sastr...
UM
2007
Springer
14 years 3 months ago
Evaluating a Simulated Student Using Real Students Data for Training and Testing
: SimStudent is a machine-learning agent that learns cognitive skills by demonstration. It was originally developed as a building block of the Cognitive Tutor Authoring Tools (CTAT...
Noboru Matsuda, William W. Cohen, Jonathan Sewall,...
FORTE
2004
13 years 10 months ago
Witness and Counterexample Automata for ACTL
Witnesses and counterexamples produced by model checkers provide a very useful source of diagnostic information. They are usually returned in the form of a single computation path ...
Robert Meolic, Alessandro Fantechi, Stefania Gnesi
JDA
2006
184views more  JDA 2006»
13 years 9 months ago
Dynamic shortest paths and transitive closure: Algorithmic techniques and data structures
In this paper, we survey fully dynamic algorithms for path problems on general directed graphs. In particular, we consider two fundamental problems: dynamic transitive closure and...
Camil Demetrescu, Giuseppe F. Italiano