6020 search results - page 593 / 1204 » A New Approach to Model Counting |
174
click to vote
WOB
2008
15 years 8 months ago
2008
Abstract. Despite the recent advances in Molecular Biology, the function of a large amount of proteins is still unknown. An approach that can be used in the prediction of a protein...
259
click to vote
EMS
2009
IEEE
16 years 1 months ago
2009
IEEE
—In the future smart city, new information and communication technologies will enable a better management of the available resources. The future smart grid infrastructure is emer...
220
click to vote
WACV
2008
IEEE
16 years 1 months ago
2008
IEEE
Biometrics has become more and more important in security applications. In comparison with many other biometric features, iris recognition has very high recognition accuracy. Succ...
187
click to vote
SIGIR
2006
ACM
16 years 1 months ago
2006
ACM
Text clustering is most commonly treated as a fully automated task without user feedback. However, a variety of researchers have explored mixed-initiative clustering methods which...
162
click to vote
ECCV
2010
Springer
16 years 16 days ago
2010
Springer
Abstract. We present a new parsing framework for the line-based geometric analysis of a single image coming from a man-made environment. This parsing framework models the scene as ...