4209 search results - page 128 / 842 » Abstract Dialectical Frameworks |
145
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
Abstract. We propose a novel framework to predict pacing sites in the left ventricle (LV) of a heart and its result can be used to assist pacemaker implantation and programming in ...
166
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
294
click to vote
ECOOP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Application frameworks provide reusable concepts that are instantiated in application code through potentially complex implementation steps such as subclassing, implement...
322
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
169
click to vote
KDD
2007
ACM
16 years 6 months ago
2007
ACM
Abstract. As more and more person-specific data like health information becomes available, increasing attention is paid to confidentiality and privacy protection. One proposed mode...