4209 search results - page 237 / 842 » Abstract Dialectical Frameworks |
187
click to vote
CASCON
2001
15 years 8 months ago
2001
Automated verification tools vary widely in the types of properties they are able to analyze, the complexity of their algorithms, and the amount of necessary user involvement. In ...
133
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract—In wireless networks with random node distribution, the underlying point process model and the channel fading process are usually considered separately. A unified frame...
233
click to vote
IWCIA
2009
Springer
16 years 1 months ago
2009
Springer
This work is settled in the framework of abstract simplicial complexes. We propose a definition of a watershed and of a collapse for maps defined on pseudomanifolds of arbitrary ...
166
click to vote
JLP
2010
15 years 5 months ago
2010
Abstract. ComputationalsystemsareoftenrepresentedbymeansofKripkestructures, and related using simulations. We propose rewriting logic as a flexible and executable framework in whi...
190
click to vote
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract-- We consider the problem of controlling a discretetime piecewise affine (PWA) system from a specification given as a Linear Temporal Logic (LTL) formula over linear predi...