3552 search results - page 178 / 711 » Proof theory in the abstract |
164
click to vote
COMMA
2006
15 years 7 months ago
2006
Abstract. This paper presents a coherentist approach to argumentation that extends previous proposals on cognitive coherence based agent communication pragmatics (inspired from soc...
138
click to vote
EJC
2000
15 years 7 months ago
2000
Abstract: The concept of information is still lacking a complete understanding, as witnessed by the large number of different meanings that overload the terms "data", &qu...
143
click to vote
ISCI
2008
15 years 6 months ago
2008
This paper studies the greedy ensemble selection family of algorithms for ensembles of regression models. These algorithms search for the globally best subset of regresmaking loca...
192
click to vote
SIAMCOMP
2008
15 years 6 months ago
2008
Leslie Valiant recently proposed a theory of holographic algorithms. These novel algorithms achieve exponential speed-ups for certain computational problems compared to naive algo...
142
click to vote
MEMOCODE
2005
IEEE
16 years 1 days ago
2005
IEEE
There are few published examples of the proof of correctness of a cache-coherence protocol expressed in an HDL. A designer generally shows the correctness of a protocol ny impleme...