6562 search results - page 418 / 1313 » Noetherianity and Combination Problems |
186
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
We take a fresh look at the problem of how to check safety properties of finite state machines. We are particularly interested in checking safety properties with the help of a SAT-...
153
click to vote
CAIP
1995
Springer
15 years 10 months ago
1995
Springer
A dual active contour can use two snakes to seek an energy minimum which lies between their initial positions. This relieves problems associated with initialisation. The contracti...
177
click to vote
TABLEAUX
2000
Springer
15 years 10 months ago
2000
Springer
We present an approach to inductive theorem proving that integrates rippling-based rewriting into matrix-based logical proof search. The selection of appropriate connections in a m...
169
click to vote
VECPAR
2000
Springer
15 years 10 months ago
2000
Springer
A dynamic domain decomposition strategy is proposed for the effective parallel implementation of combined finite/discrete element approaches for problems involving multi-fracture a...
182
click to vote
ICICS
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. This paper analyzes the problem of secure document management and distribution in an open network environment. Reader and author authentication, document integrity, origi...