3146 search results - page 13 / 630 » Efficient Consequence Finding |
ACCV
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. We propose a novel method to detect human poses in videos by concurrently optimizing body part matching and object segmentation. With a single exemplar image, the propose...
ICSE
2004
IEEE-ACM
15 years 9 months ago
2004
IEEE-ACM
Dynamic slicing is a well-known program debugging technique. Given a program P and input I, it finds all program statements which directly/indirectly affect the values of some var...
101
click to vote
CDC
2008
IEEE
14 years 11 months ago
2008
IEEE
The Internet is changing from being only an efficient platform for data delivery to become also a platform for audio/video applications. The stability of the traditional Internet i...
ASWC
2008
Springer
14 years 11 months ago
2008
Springer
Finding the justifications for an entailment (i.e., minimal sets of axioms responsible for it) is a prominent reasoning service in ontology engineering, as justifications facilitat...
BMEI
2009
IEEE
14 years 10 months ago
2009
IEEE
Abstract--Finding differentially expressed genes is a fundamental objective of a microarray experiment. Recently proposed method, PPLR, considers the probe-level measurement error ...