3053 search results - page 584 / 611 » A Logic of Abstract Argumentation |
WWW
2003
ACM
16 years 12 days ago
2003
ACM
The Semantic Web promises to open innumerable opportunities for automation and information retrieval by standardizing the protocols for metadata exchange. However, just as the succ...
194
Voted
POPL
2009
ACM
16 years 11 days ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...
111
click to vote
CADE
2009
Springer
16 years 10 days ago
2009
Springer
Abstract This work studies the properties of finite automata recognizing vectors with real components, encoded positionally in a given integer numeration base. Such automata are us...
121
click to vote
CADE
2009
Springer
16 years 10 days ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
71
Voted
CHI
2007
ACM
16 years 4 days ago
2007
ACM
We present the case study of a complex, mixed-initiative scheduling system to illustrate Work-Centered Design (WCD), a new approach for the design of information systems. WCD is b...