5205 search results - page 214 / 1041 » Tilings and model theory |
JACIII
2007
15 years 17 days ago
2007
Abstract— A common framework for formalization of statetransition computation models is presented based on a general theory for studying the interrelationships between specifica...
89
Voted
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
This paper presents complexity results for model checking concurrent programs against temporal-epistemic formulae. We apply these results to evaluate the complexity of verifying p...
EMNLP
2008
15 years 2 months ago
2008
This paper presents a graph-theoretic model of the acquisition of lexical syntactic representations. The representations the model learns are non-categorical or graded. We propose...
107
Voted
SIAMAM
2000
15 years 13 days ago
2000
Abstract. A hydrodynamical model based on the theory of extended thermodynamics is presented for carrier transport in semiconductors. Closure relations for fluxes are obtained by e...
ICML
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a novel approach for learning nonlinear dynamic models, which leads to a new set of tools capable of solving problems that are otherwise difficult. We provide theory sh...