6020 search results - page 1169 / 1204 » A New Approach to Model Counting |
124
click to vote
ICCV
2007
IEEE
16 years 6 months ago
2007
IEEE
Video-based multiple target tracking (MTT) is a challenging task when similar targets are present in close vicinity. Because their visual observations are mixed and difficult to s...
131
click to vote
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
lass Recognition using Images of Abstract Regions Yi Li, Jeff A. Bilmes, and Linda G. Shapiro Department of Computer Science and Engineering Department of Electrical Engineering Un...
115
click to vote
IPMI
2005
Springer
16 years 4 months ago
2005
Springer
Obesity has risen to epidemic levels in the United States and around the world. Global indices of obesity such as the body mass index (BMI) have been known to be inaccurate predict...
148
click to vote
ICS
2010
Tsinghua U.
16 years 1 months ago
2010
Tsinghua U.
: Design of secure systems can often be expressed as ensuring that some property is maintained at every step of a distributed computation among mutually-untrusting parties. Special...
147
click to vote
WCRE
2009
IEEE
15 years 10 months ago
2009
IEEE
The increasing amount of data available about software systems poses new challenges for re- and reverse engineering research, as the proposed approaches need to scale. In this con...