1414 search results - page 174 / 283 » Completion Energies and Scale |
ICASSP
2011
IEEE
13 years 2 months ago
2011
IEEE
Single sensor digital cameras capture one color value for every pixel location. The remaining two color channel values need to be estimated to obtain a complete color image. This ...
AAAI
2012
12 years 24 days ago
2012
We describe a new sound and complete method for compiling contingent planning problems with sensing actions into classical planning. Our method encodes conditional plans within a ...
CVPR
2007
IEEE
15 years 13 days ago
2007
IEEE
We present a parameter free approach that utilizes multiple cues for image segmentation. Beginning with an image, we execute a sequence of bottom-up aggregation steps in which pix...
ICDE
2006
IEEE
14 years 11 months ago
2006
IEEE
We present MiniCount, the first efficient sound and complete algorithm for finding maximally contained rewritings of conjunctive queries with count, using conjunctive views with c...
ICSE
2008
IEEE-ACM
14 years 11 months ago
2008
IEEE-ACM
Automatically detecting bugs in programs has been a long-held goal in software engineering. Many techniques exist, trading-off varying levels of automation, thoroughness of covera...