7167 search results - page 939 / 1434 » Answer Set Programming |
261
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
Transactional memory (TM) is a promising paradigm for concurrent programming. Whereas the number of TM implementations is growing, however, little research has been conducted to p...
158
Voted
KDD
2006
ACM
16 years 5 months ago
2006
ACM
This paper describes a novel classification method for computer aided detection (CAD) that identifies structures of interest from medical images. CAD problems are challenging larg...
177
Voted
ICDCSW
2009
IEEE
15 years 11 months ago
2009
IEEE
Embedded wireless networks have largely focused on openloop sensing and monitoring. To address actuation in closedloop wireless control systems there is a strong need to re-think ...
175
Voted
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
137
Voted
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
Product line engineering is an emerging paradigm of developing a family of products. While product line analysis and design mainly focus on reasoning about commonality and variabi...