Sciweavers

4212 search results - page 237 / 843
» On Compressible Pairings and Their Computation
Sort
View
ITS
2010
Springer
154views Multimedia» more  ITS 2010»
15 years 11 months ago
Exploring the Effectiveness of Social Capabilities and Goal Alignment in Computer Supported Collaborative Learning
In this study, we describe a conversational agent designed to support collaborative learning interactions between pairs of students. We describe a study in which we independently m...
Hua Ai, Rohit Kumar, Dong Nguyen, Amrut Nagasunder...
CADE
1990
Springer
15 years 10 months ago
A Theorem Prover for a Computational Logic
We briefly review a mechanical theorem-prover for a logic of recursive functions over finitely generated objects including the integers, ordered pairs, and symbols. The prover, kn...
Robert S. Boyer, J. Strother Moore
JMIV
2000
143views more  JMIV 2000»
15 years 6 months ago
A Linear Algorithm for Computing the Homography from Conics in Correspondence
Abstract. This paper presents a study, based on conic correspondences, on the relationship between two perspective images acquired by an uncalibrated camera. We show that for a pai...
Akihiro Sugimoto
ECCV
2010
Springer
15 years 11 months ago
Building Compact Local Pairwise Codebook with Joint Feature Space Clustering
Abstract. This paper presents a simple, yet effective method of building a codebook for pairs of spatially close SIFT descriptors. Integrating such codebook into the popular bag-o...
SIGGRAPH
1997
ACM
15 years 10 months ago
A model of visual masking for computer graphics
In this paper we develop a computational model of visual masking based on psychophysical data. The model predicts how the presence of one visual pattern affects the detectability...
James A. Ferwerda, Peter Shirley, Sumanta N. Patta...