2272 search results - page 237 / 455 » Capture Complexity by Partition |
129
Voted
ICCD
2005
IEEE
16 years 18 days ago
2005
IEEE
In this paper, we make two major contributions: First, to enhance Boolean learning, we propose a new class of logic implications called extended forward implications. Using a nove...
127
Voted
CVPR
2010
IEEE
15 years 12 months ago
2010
IEEE
We explore the use of clouds as a form of structured lighting to capture the 3D structure of outdoor scenes observed over time from a static camera. We derive two cues that relate ...
120
Voted
SAC
2010
ACM
15 years 10 months ago
2010
ACM
A quantitative approach for measuring and describing feature interactions in object-oriented software components based on source code inspection is presented. The methodical arsen...
115
Voted
TACAS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
156
Voted
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Longer range, faster speed and stronger link are today’s wireless mandatory characteristics. Tremendous efforts are being deployed to create new and improved wireless ...