6020 search results - page 232 / 1204 » A New Approach to Model Counting |
126
Voted
CHI
2000
ACM
15 years 9 months ago
2000
ACM
In electronic commerce, a satisfying buyer experience is a key competitive element. We show new techniques for better adapting interaction with an electronic catalog system to act...
147
click to vote
NPAR
2000
ACM
15 years 9 months ago
2000
ACM
We present a new algorithm for rendering silhouette outlines of 3D polygonal meshes with stylized strokes. Rather than use silhouette edges of the model directly as the basis for ...
127
click to vote
ALGORITHMICA
1999
15 years 4 months ago
1999
Abstract. The rational approach to pharmaceutical drug design begins with an investigation of the relationship between chemical structure and biological activity. Information gaine...
146
click to vote
RE
2002
Springer
15 years 4 months ago
2002
Springer
Requirements analysis for an Intrusion Detection System (IDS) involves deriving requirements for the IDS from analysis of the intrusion domain. When the IDS is, as here, a collecti...
180
click to vote
CVPR
2009
IEEE
17 years 3 days ago
2009
IEEE
In this paper, we focus on the problem of detecting/
matching a query object in a given image. We propose a
new algorithm, shape band, which models an object within
a bandwidth ...