4047 search results - page 634 / 810 » Algebraic Model Checking |
194
Voted
ICRA
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— This paper presents a novel methodology for detecting collisions of cylindrically shaped rigid bodies moving in three dimensions. This algorithm uses line geometry and ...
177
click to vote
ICCAD
2005
IEEE
16 years 18 days ago
2005
IEEE
— Balanced truncation (BT) model order reduction (MOR) is known for its superior accuracy and computable error bounds. Balanced stochastic truncation (BST) is a particular BT pro...
173
click to vote
SAC
2005
ACM
16 years 16 days ago
2005
ACM
Many geographical applications deal with spatial objects that cannot be adequately described by determinate, crisp concepts because of their intrinsically indeterminate and vague ...
164
Voted
FOSSACS
2005
Springer
16 years 15 days ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
170
click to vote
GG
2004
Springer
16 years 11 days ago
2004
Springer
The concept of typed attributed graph transformation is most significant for modeling and meta modeling in software engineering and visual languages, but up to now there is no ade...