6020 search results - page 476 / 1204 » A New Approach to Model Counting |
175
click to vote
SOCO
2005
Springer
16 years 15 days ago
2005
Springer
Software systems that rely on the component paradigm build new components by assembling existing prefabricated components. Most currently available IDEs support graphical component...
192
click to vote
IMR
2004
Springer
16 years 11 days ago
2004
Springer
This paper presents a generic approach to mesh global optimization via node movement, based on a discrete graph-theoretic model. Mesh is considered as an electric system with lump...
192
click to vote
ISVLSI
2002
IEEE
15 years 12 months ago
2002
IEEE
Retiming has been shown to be a powerful technique for improving the performance of synchronous circuits. However, even though retiming algorithms of polynomial time complexity ha...
164
click to vote
KDD
1999
ACM
15 years 11 months ago
1999
ACM
Many advanced safety and navigation applications in vehicles require accurate, detailed digital maps, but manual lane measurements are expensive and time-consuming, making automat...
187
click to vote
SSPR
2000
Springer
15 years 10 months ago
2000
Springer
Our research focuses on Chinese online ink matching that tries to match handwritten annotations with handwritten queries without attempting to recognize them. Previously, we propos...