10568 search results - page 477 / 2114 » Computer Intelligence and Formalization |
139
Voted
AAAI
2006
15 years 6 months ago
2006
Voting (or rank aggregation) is a general method for aggregating the preferences of multiple agents. One important voting rule is the Slater rule. It selects a ranking of the alte...
113
click to vote
SEMCO
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper is a theoretical analysis of formal annotation and ontology for the expression of the semantics of document. They are found wanting in this respect, not only for techni...
128
Voted
SKG
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper proposes a novel research direction: to build the Theory Grid as cooperatively shared formal theories within a virtual organization, and then to implement Grid Theorist...
164
click to vote
IPPS
2002
IEEE
15 years 10 months ago
2002
IEEE
We present a formalization of a proof of self-stabilization in the Coq proof assistant. Coq is a program allowing to define mathematical objects and properties, and to make proof...
148
Voted
ASM
1998
ASM
15 years 9 months ago
1998
ASM
This paper is devoted to the speci cation of the Stanford FLASHcache coherence protocol within the ASM formalism. Correctness proofs related to data consistency are presented. Corn...