10042 search results - page 1631 / 2009 » Interactive Topic Modeling |
320
click to vote
FROCOS
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
212
click to vote
ICDAR
2011
IEEE
14 years 6 months ago
2011
IEEE
—We present an OCR-driven writer identification algorithm in this paper. Our algorithm learns writer-specific characteristics more precisely from explicit character alignment usi...
199
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
We present a novel system that is capable of generating live dense volumetric reconstructions based on input from a micro aerial vehicle. The distributed reconstruction pipeline i...
233
click to vote
VIS
2004
IEEE
16 years 8 months ago
2004
IEEE
Traditional flow volumes construct an explicit geometrical or parametrical representation from the vector field. The geometry is updated interactively and then rendered using an u...
251
click to vote
WWW
2002
ACM
16 years 7 months ago
2002
ACM
We describe ongoing work on I2I, a system aimed at fostering opportunistic communication among users viewing or manipulating content on the Web and in productivity applications. U...