1078 search results - page 95 / 216 » Local and Global Relational Consistency |
VISUALIZATION
1997
IEEE
15 years 2 months ago
1997
IEEE
This paper discusses techniques for extracting feature lines from three-dimensional unstructured grids. Our twin objectives are to facilitate the interactive manipulation of these...
ACSD
2004
IEEE
15 years 1 months ago
2004
IEEE
This paper reviews a proposal for the modular analysis of Petri nets and its applicability to factory automation systems. It presents new algorithms to harness this modular analys...
121
click to vote
AMAST
2006
Springer
15 years 1 months ago
2006
Springer
This paper proposes a modal extension of Separation Logic [8, 11] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logi...
105
click to vote
SLOGICA
1998
14 years 9 months ago
1998
We present and discuss various formalizations of Modal Logics in Logical Frameworks based on Type Theories. We consider both Hilbert- and Natural Deductionstyle proof systems for ...
CSB
2003
IEEE
15 years 3 months ago
2003
IEEE
The complexity of the global organization and internal structures of motifs in higher eukaryotic organisms raises significant challenges for motif detection techniques. To achiev...