7742 search results - page 120 / 1549 » The Robustness of Level Sets |
117
Voted
JAR
2006
15 years 23 days ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
107
click to vote
TIT
1998
15 years 13 days ago
1998
—A length n group code over a group G is a subgroup of Gn under component-wise group operation. Group codes over dihedral groups DM, with 2M elements, that are two-level construc...
141
Voted
ICCV
2011
IEEE
14 years 25 days ago
2011
IEEE
This paper presents a framework for image parsing with multiple label sets. For example, we may want to simultaneously label every image region according to its basiclevel object ...
109
click to vote
MANSCI
2008
15 years 23 days ago
2008
We study large-scale service systems with multiple customer classes and many statistically identical servers. The following question is addressed: How many servers are required (s...
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
We present a modular and scalable approach for automatically extracting actual performance information from a set of FPGA-based architecture topologies. This information is used d...