834 search results - page 158 / 167 » Computing Minimal Models, Stable Models, and Answer Sets |
SENSYS
2005
ACM
15 years 5 months ago
2005
ACM
Radio duty cycling has received significant attention in sensor networking literature, particularly in the form of protocols for medium access control and topology management. Whi...
CHARME
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
109
click to vote
ICCV
2011
IEEE
13 years 11 months ago
2011
IEEE
We propose a novel localized principal component analysis (PCA) based curve evolution approach which evolves the segmenting curve semi-locally within various target regions (divis...
119
click to vote
CODES
2010
IEEE
14 years 9 months ago
2010
IEEE
The impact of process variation in state of the art technology makes traditional (worst case) designs unnecessarily pessimistic, which translates to suboptimal designs in terms of...
105
click to vote
MICRO
2003
IEEE
15 years 5 months ago
2003
IEEE
Silicon technology will continue to provide an exponential increase in the availability of raw transistors. Effectively translating this resource into application performance, how...