4978 search results - page 224 / 996 » Logical models of argument |
153
click to vote
GI
2001
Springer
15 years 10 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
139
Voted
INFOVIS
1998
IEEE
15 years 10 months ago
1998
IEEE
We propose a methodology for automatically realizing communicative goals in graphics. It features a task model that mediates the communicative intent and the selection of graphica...
156
click to vote
AGI
2008
15 years 7 months ago
2008
There are a wide variety of approaches to Artificial Intelligence. Yet interestingly we find that these can all be grouped into four broad categories: Silver Bullets, Core Values, ...
139
click to vote
DKE
2006
15 years 5 months ago
2006
KDDML (KDD Markup Language) is a middleware language and system designed to support the development of final applications or higher level systems which deploy a mixture of data acc...
131
click to vote
DT
2006
15 years 5 months ago
2006
at their abstractions are similar to data types and operations supplied by conventional processors. A core principle of BCPL is its memory model: an The Challenges of Synthesizing ...