1912 search results - page 301 / 383 » On the evaluation of argumentation formalisms |
164
click to vote
WPES
2005
ACM
15 years 12 months ago
2005
ACM
Organizations in privacy-regulated industries (e.g. healthcare and financial institutions) face significant challenges when developing policies and systems that are properly align...
130
click to vote
AIME
2005
Springer
15 years 12 months ago
2005
Springer
This paper aims at formalizing the concept of learning rules from multisource data in a cardiac monitoring context. Our method has been implemented and evaluated on learning from d...
234
click to vote
CHARME
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
180
click to vote
CIKM
2005
Springer
15 years 12 months ago
2005
Springer
Modern query optimizers select an efficient join ordering for a physical execution plan based essentially on the average join selectivity factors among the referenced tables. In ...
148
click to vote
COCO
2005
Springer
15 years 12 months ago
2005
Springer
We continue the study of noncommutative polynomial identity testing initiated by Raz and Shpilka and present efficient algorithms for the following problems in the noncommutative...