3820 search results - page 604 / 764 » Bounded Model Debugging |
131
Voted
ECCV
2002
Springer
16 years 4 months ago
2002
Springer
Estimating geometric structure from uncalibrated images accurately enough for high quality rendering is difficult. We present a method where only coarse geometric structure is trac...
105
Voted
ICSE
2005
IEEE-ACM
16 years 2 months ago
2005
IEEE-ACM
We argue that finding vulnerabilities in software components is different from finding exploits against them. Exploits that compromise security often use several low-level details...
127
Voted
MOBIHOC
2006
ACM
16 years 2 months ago
2006
ACM
To date, topology control in wireless ad hoc and sensor networks--the study of how to compute from the given communication network a subgraph with certain beneficial properties--h...
116
Voted
SODA
2010
ACM
15 years 12 months ago
2010
ACM
We study the computational complexity of some central analysis problems for One-Counter Markov Decision Processes (OC-MDPs), a class of finitely-presented, countable-state MDPs. O...
159
click to vote
CLUSTER
2009
IEEE
15 years 9 months ago
2009
IEEE
—Server consolidation based on virtualization technology will simplify system administration, reduce the cost of power and physical infrastructure, and improve utilization in tod...