734 search results - page 13 / 147 » Narrowing the Narrowing Space |
3DPVT
2002
IEEE
14 years 21 days ago
2002
IEEE
We describe initial work on a system for augmenting video sequences with 3-D graphics so that they appear to be present within the scene. Our aim is to do this in realtime for seq...
EDCC
2010
Springer
14 years 16 days ago
2010
Springer
STOC
1999
ACM
14 years 1 days ago
1999
ACM
The width of a Resolution proof is defined to be the maximal number of literals in any clause of the proof. In this paper, we relate proof width to proof length (ϭsize), in both g...
AGP
1998
IEEE
14 years 3 hour ago
1998
IEEE
We compare two (apparently) rather different set-based constraint languages, and we show that, in spite of their different origins and aims, there are large classes of constraint ...
ICICS
1999
Springer
14 years 40 min ago
1999
Springer
