1888 search results - page 230 / 378 » Proof theory and computational analysis |
118
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
We formulate the problem of computing equilibria in multiplayer games represented by arbitrary undirected graphs as a constraint satisfaction problem and present two algorithms. T...
119
click to vote
ICCV
1995
IEEE
15 years 5 months ago
1995
IEEE
The fundamental matrix is a basic tool in the analysis of scenes taken with two uncalibrated cameras, and the 8-point algorithm is a frequently cited method for computing the fund...
CHI
2004
ACM
16 years 2 months ago
2004
ACM
Minimizing interruptions to users is a crucial and acknowledged precondition for the adoption of new intelligent technologies such as ubiquitous and proactive computing. This pape...
100
click to vote
CHI
2004
ACM
16 years 2 months ago
2004
ACM
Currently there is a lack of explicit theories and few detailed guidelines to support the development of Mixed Reality (MR) technology and its varied applications. This research f...
COMPGEOM
2003
ACM
15 years 7 months ago
2003
ACM
Randomized incremental constructions are widely used in computational geometry, but they perform very badly on large data because of their inherently random memory access patterns...