240 search results - page 7 / 48 » Incorporating Tables into Proofs |
161
click to vote
ICDAR
2011
IEEE
14 years 5 months ago
2011
IEEE
—Table detection is always an important task of document analysis and recognition. In this paper, we propose a novel and effective table detection method via visual separators an...
164
click to vote
EDUTAINMENT
2009
Springer
15 years 3 months ago
2009
Springer
This paper presents a prototype of a low-cost Mixed Reality Interactive Table (MRIT) which is equipped with a Web camera, a projector, animal-appearance robots, gloves with acceler...
201
click to vote
EXPDB
2006
ACM
15 years 12 months ago
2006
ACM
In data warehousing applications, the ability to efficiently delete large chunks of data from a table is very important. This feature is also known as Rollout. Rollout is generall...
151
click to vote
CHI
2011
ACM
14 years 9 months ago
2011
ACM
This paper presents the design, implementation, and evaluation of an interactive tabletop system that supports co-located meeting capture and asynchronous search and review of pas...
132
click to vote
ICFP
2008
ACM
16 years 5 months ago
2008
ACM
There has been a lot of interest of late for programming languages that incorporate features from dependent type systems and proof assistants in order to capture in the types impo...