4131 search results - page 256 / 827 » Compactness in Topology and Computation |
182
click to vote
ICCAD
2006
IEEE
16 years 19 days ago
2006
IEEE
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...
142
click to vote
ACCV
2006
Springer
16 years 18 days ago
2006
Springer
This work employs a fish-eye to scan cityscapes along a street and register scenes in a compact scene tunnel image. A fish-eye has complete field of view along a route. We mount th...
179
click to vote
PLDI
2004
ACM
16 years 21 hour ago
2004
ACM
Although dynamic program slicing was first introduced to aid in user level debugging, applications aimed at improving software quality, reliability, security, and performance hav...
180
click to vote
EMMCVPR
2001
Springer
15 years 11 months ago
2001
Springer
Most cost function based clustering or partitioning methods measure the compactness of groups of data. In contrast to this picture of a point source in feature space, some data sou...
167
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
In this paper, we introduce a Shared Multiple Rooted XORbased Decomposition Diagram XORDD to represent functions with multiple outputs. Based on the XORDD representation, we dev...