Sciweavers

2343 search results - page 87 / 469
» Structure and Interpretation of Computer Programs
Sort
View
ICFP
2010
ACM
15 years 7 months ago
Functional pearl: every bit counts
We show how the binary encoding and decoding of typed data and typed programs can be understood, programmed, and verified with the help of question-answer games. The encoding of a...
Dimitrios Vytiniotis, Andrew Kennedy
CVPR
2008
IEEE
16 years 8 months ago
Re-thinking non-rigid structure from motion
We present a novel approach to non-rigid structure from motion (NRSFM) from an orthographic video sequence, based on a new interpretation of the problem. Existing approaches assum...
Vincent Rabaud, Serge Belongie
CORR
2010
Springer
147views Education» more  CORR 2010»
15 years 6 months ago
Modeling the structure and evolution of discussion cascades
We analyze the structure and evolution of discussion cascades in four popular websites: Slashdot, Barrapunto, Meneame and Wikipedia. Despite the big heterogeneities between these ...
Vicenç Gómez, Hilbert J. Kappen, And...
NAR
2008
90views more  NAR 2008»
15 years 6 months ago
Many Microbe Microarrays Database: uniformly normalized Affymetrix compendia with structured experimental metadata
Many Microbe Microarrays Database (M3D ) is designed to facilitate the analysis and visualization of expression data in compendia compiled from multiple laboratories. M3D contains...
Jeremiah J. Faith, Michael E. Driscoll, Vincent A....
ACL
2011
14 years 10 months ago
Discovering Sociolinguistic Associations with Structured Sparsity
We present a method to discover robust and interpretable sociolinguistic associations from raw geotagged text data. Using aggregate demographic statistics about the authors’ geo...
Jacob Eisenstein, Noah A. Smith, Eric P. Xing