5205 search results - page 216 / 1041 » Tilings and model theory |
160
click to vote
WSC
2000
15 years 8 months ago
2000
A graphical discrete event simulation library is proposed for system simulation that is based on interacting concurrent processes. This library works with EXTEND (Imagine That Inc...
197
Voted
FOSSACS
2005
Springer
16 years 4 days ago
2005
Springer
The general aim of this talk is to advocate a combinatorial perspective, together with its methods, in the investigation and study of models of computation structures. This, of cou...
170
click to vote
TACAS
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. A Craig interpolant for a mutually inconsistent pair of formulas (A, B) is a formula that is (1) implied by A, (2) inconsistent with B, and (3) expressed over the common ...
146
click to vote
CIE
2010
Springer
15 years 11 months ago
2010
Springer
The notion of computability is stable (i.e. independent of the choice of an indexing) over infinite-dimensional vector spaces provided they have a finite “tensorial dimension...
147
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....