383 search results - page 6 / 77 » The Study of 3D-from-2D Using Elimination |
SAT
2009
Springer
15 years 6 months ago
2009
Springer
We use the notion of boundary points to study resolution proofs. Given a CNF formula F, a lit(x)-boundary point is a complete assignment falsifying only clauses of F having the sam...
HICSS
2000
IEEE
15 years 4 months ago
2000
IEEE
In email-based discussion lists (DLs), messages resident in archives, email clients and elsewhere are persistent. One way of examining persistent messages is through the eyes of l...
DSN
2004
IEEE
15 years 3 months ago
2004
IEEE
Software configuration problems are a major source of failures in computer systems. In this paper, we present a new framework for categorizing configuration problems. We apply thi...
HICSS
2002
IEEE
15 years 4 months ago
2002
IEEE
The disorientation problem has been known to exist on hypertext and hypermedia systems. Various approaches have also been recommended and implemented in order to eliminate or redu...
133
click to vote
ANCS
2011
ACM
13 years 11 months ago
2011
ACM
The largest enterprise networks already contain hundreds of thousands of hosts. Enterprise networks are composed of Ethernet subnets interconnected by IP routers. These routers re...