3710 search results - page 214 / 742 » A new calculus of contexts |
194
click to vote
ECCV
1996
Springer
16 years 9 months ago
1996
Springer
This paper presents a new image-based modeling method that facilitates the recovery of accurate polyhedral models of architectural scenes. The method is particularly e ective becau...
143
Voted
HICSS
2009
IEEE
16 years 2 months ago
2009
IEEE
The Panko–Halverson Taxonomy of Spreadsheet Risks has been widely used since its creation in the 1990s. This paper revises that taxonomy. It introduces new ways to count cell er...
172
click to vote
TABLEAUX
2005
Springer
16 years 22 days ago
2005
Springer
For applications of first-order automated theorem provers in a wider verification context it is essential to provide a means of presenting and checking automatically found proofs...
176
click to vote
FSTTCS
2001
Springer
15 years 11 months ago
2001
Springer
This paper has the following goals: – To survey some of the recent developments in the field of derandomization. – To introduce a new notion of time-bounded Kolmogorov complex...
205
click to vote
VL
1996
IEEE
15 years 11 months ago
1996
IEEE
This paper describes three new visual languages for use in the coordination of collaborative work in large CSCW environments. EVPL describes work plans and is used to define the c...