1795 search results - page 201 / 359 » On the Complexity of Circuit Satisfiability |
ICCV
2009
IEEE
15 years 3 months ago
2009
IEEE
We propose a novel consistent max-covering scheme for
human pose estimation. Consistent max-covering formulates
pose estimation as the covering of body part polygons
on an objec...
ICML
2005
IEEE
14 years 11 months ago
2005
IEEE
We introduce a family of kernels on discrete data structures within the general class of decomposition kernels. A weighted decomposition kernel (WDK) is computed by dividing objec...
ICSE
2003
IEEE-ACM
14 years 10 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
PERCOM
2008
ACM
14 years 9 months ago
2008
ACM
This paper identifies requirements for querying and accessing context information in mobile and pervasive computing environments. Furthermore it studies existing query languages s...
ECBS
2009
IEEE
14 years 5 months ago
2009
IEEE
In response to changing requirements and other environmental influences, software systems are increasingly developed incrementally. Successful implementation of new features in e...