5205 search results - page 250 / 1041 » Tilings and model theory |
155
Voted
RSKT
2007
Springer
15 years 6 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
15 years 6 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...
107
Voted
SMI
1999
IEEE
15 years 5 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...
90
Voted
ACTA
2007
15 years 24 days 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
15 years 24 days 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....