5550 search results - page 274 / 1110 » Different Approaches to Proof Systems |
152
click to vote
ICCAD
2004
IEEE
16 years 3 months ago
2004
IEEE
— This paper presents two contributions. The first is an incremental placement algorithm for placement-aware logic synthesis along with a proof of optimality. The algorithm can ...
174
Voted
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
Recovering the 3D shape of deformable surfaces from single images is difficult because many different shapes have very similar projections. This is commonly addressed by restricti...
146
click to vote
DCG
2006
15 years 6 months ago
2006
In a 1967 paper, Banchoff stated that a certain type of polyhedral curvature, that applies to all finite polyhedra, was zero at all vertices of an odd-dimensional polyhedral manifo...
183
click to vote
GFKL
2007
Springer
15 years 10 months ago
2007
Springer
In many classification applications, Support Vector Machines (SVMs) have proven to be highly performing and easy to handle classifiers with very good generalization abilities. Howe...
154
click to vote
ICWN
2008
15 years 8 months ago
2008
The rapid evolution of mobile computing has spawned a very heterogeneous spectrum of technologies affecting both devices and system in the mobile computing domain. Since mobile com...