110 search results - page 12 / 22 » Interpolation in Local Theory Extensions |
105
Voted
CAV
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
93
Voted
JSCIC
2008
15 years 10 days ago
2008
This paper presents a second-order accurate adaptive Godunov method for twodimensional (2D) compressible multicomponent flows, which is an extension of the previous adaptive movin...
PAMI
2006
15 years 8 days ago
2006
Video stabilization is an important video enhancement technology which aims at removing annoying shaky motion from videos. We propose a practical and robust approach of video stabi...
100
click to vote
APN
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We study probabilistic safe Petri nets, a probabilistic extension of safe Petri nets interpreted under the true-concurrent semantics. In particular, the likelihood of pro...
141
click to vote
ISCI
2008
15 years 10 days 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...