5205 search results - page 237 / 1041 » Tilings and model theory |
ENTCS
2008
13 years 11 months ago
2008
We introduce a general model of refinement. This is defined in terms of what contexts an entity can appear in, and what observations can be made of it in those contexts. We show e...
ATVA
2007
Springer
14 years 5 months ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
CAISE
2004
Springer
14 years 4 months ago
2004
Springer
Business process modeling and design, which has attracted much attention in recent years, emphasizes mainly graphical representation, usually without an underlying theory. The lack...
ICRA
1998
IEEE
14 years 3 months ago
1998
IEEE
Simulation of dynamic systems possessing unilateral frictional contacts is important to many industrial applications. While rigid body models are often employed, it is well establ...
ISCI
2008
13 years 10 months ago
2008
Rough set theory can be applied to rule induction. There are two different types of classification rules, positive and boundary rules, leading to different decisions and consequen...