5205 search results - page 214 / 1041 » Tilings and model theory |
JACIII
2007
13 years 10 months 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...
ATAL
2006
Springer
14 years 2 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
14 years 3 days 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...
SIAMAM
2000
13 years 10 months 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
14 years 11 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...