3552 search results - page 343 / 711 » Proof theory in the abstract |
213
Voted
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents an approach to modeling social transgressions in agent based systems. The approach is intended to be abstract enough that it may be used with many different th...
154
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper presents a formal framework, experimental infrastructure, and computational environment for modeling, analyzing and regulating the behavior of cardiac tissues....
162
click to vote
DGO
2004
15 years 8 months ago
2004
cipal high-level goal of the research is to develop abstractions, theory and methodology and software tools that allow federal statistical agencies to disseminate useful informatio...
177
click to vote
IJCAI
2001
15 years 8 months ago
2001
We present a novel methodology for building highly integrated multimodal systems. Our approach is motivated by neurological and behavioral theories of sensory perception in humans...
175
Voted
AML
2006
15 years 6 months ago
2006
Abstract. The decision problem for positively quantified formulae in the theory of linearly ordered Heyting algebras is known, as a special case of work of Kreisel, to be solvable;...