5630 search results - page 207 / 1126 » Computability in Specification |
132
Voted
DAC
1995
ACM
15 years 8 months ago
1995
ACM
—DARWIN is a tool that is able to synthesize CMOS opamps, on the basis of a genetic algorithm. A randomly generated initial set of opamps evolves to a set in which the topologies...
150
Voted
FOCS
2010
IEEE
15 years 2 months ago
2010
IEEE
We give subexponential time approximation algorithms for UNIQUE GAMES and the SMALL-SET EXPANSION. Specifically, for some absolute constant c, we give:
149
click to vote
ECCV
2008
Springer
16 years 6 months ago
2008
Springer
A large photo collection downloaded from the internet spans a wide range of scenes, cameras, and photographers. In this paper we introduce several novel priors for statistics of su...
100
click to vote
ICPR
2006
IEEE
16 years 6 months ago
2006
IEEE
It has been shown ([4], [3]) that equidistant letter sequence (ELS) pairs in the book of Genesis (G) form more compact geometric patterns on the surface of a cylinder than is expe...
132
click to vote
CVPR
2007
IEEE
16 years 7 months ago
2007
IEEE
Object class detection in scenes of realistic complexity remains a challenging task in computer vision. Most recent approaches focus on a single and general model for object class...