5205 search results - page 250 / 1041 » Tilings and model theory |
RSKT
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. Decision-theoretic rough set models are a probabilistic extension of the algebraic rough set model. The required parameters for defining probabilistic lower and upper ap...
HICSS
2005
IEEE
14 years 4 months ago
2005
IEEE
We review the literature on Free/Libre Open Source Software (FLOSS) development and on software development, distributed work and teams more generally to develop a theoretical mod...
SMI
1999
IEEE
14 years 3 months ago
1999
IEEE
This paper expands the role of the new field of computational topology by surveying methods for incorporating connectedness in shape modeling. Two geometric representations in par...
ACTA
2007
13 years 11 months ago
2007
In this paper we provide a bridge between the infinite state models used in control theory to describe the evolution of continuous physical processes and the finite state models ...
AMAI
2008
Springer
13 years 11 months ago
2008
Springer
The paper studies the relationship between logic programs with the stable model semantics and difference logic recently considered in the Satisfiability Modulo Theories framework....