4480 search results - page 532 / 896 » Prototyping Completion with Constraints Using Computational ... |
209
click to vote
LICS
2007
IEEE
16 years 29 days ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
177
click to vote
CHI
2000
ACM
15 years 11 months ago
2000
ACM
This paper provides a unique quantitative analysis of the social dynamics of three chat rooms in the Microsoft VChat graphical chat system. Survey and behavioral data were used to...
185
click to vote
TLCA
1993
Springer
15 years 10 months ago
1993
Springer
d abstract) Giorgio Ghelli1 F≤ is a type system used to study the integration of inclusion and parametric polymorphism. F≤ does not include a notion of recursive types, but ext...
176
click to vote
VLDB
2007
ACM
16 years 24 days ago
2007
ACM
Intuitively, aggressive work sharing among concurrent queries in a database system should always improve performance by eliminating redundant computation or data accesses. We show...
170
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
This paper proposes a novel method for estimating the geospatial trajectory of a moving camera. The proposed method uses a set of reference images with known GPS (global positioni...