1912 search results - page 347 / 383 » On the evaluation of argumentation formalisms |
118
click to vote
WWW
2003
ACM
16 years 14 days ago
2003
ACM
SweetDeal is a rule-based approach to representation of business contracts that enables software agents to create, evaluate, negotiate, and execute contracts with substantial auto...
190
click to vote
ICFP
2009
ACM
16 years 14 days ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
206
click to vote
POPL
2009
ACM
16 years 13 days ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
109
click to vote
CCS
2009
ACM
16 years 12 days ago
2009
ACM
Knowledge discovery on social network data can uncover latent social trends and produce valuable findings that benefit the welfare of the general public. A growing amount of resea...
KDD
2009
ACM
16 years 10 days ago
2009
ACM
In this study, we formalize a multi-focal learning problem, where training data are partitioned into several different focal groups and the prediction model will be learned within...