Sciweavers

1095 search results - page 136 / 219
» Algebraic Guide Generation
Sort
View
COGSCI
2010
64views more  COGSCI 2010»
15 years 2 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
16 years 4 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
15 years 8 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
15 years 3 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»
15 years 2 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