3605 search results - page 576 / 721 » Analysis and Applications of the XDI model |
197
Voted
APN
2001
Springer
15 years 11 months ago
2001
Springer
We propose rewriting logic as a unifying framework for a wide range of Petri nets models. We treat in detail place/transition nets and important extensions of the basic model by in...
180
click to vote
BIOINFORMATICS
2005
15 years 6 months ago
2005
Motivation: The issue of high dimensionality in microarray data has been, and remains, a hot topic in statistical and computational analysis. Efficient gene filtering and differen...
184
click to vote
GIS
2007
ACM
16 years 17 days ago
2007
ACM
In this paper, we present a technique that generalizes 3D building groups of virtual 3D city models according to a cell structure that is derived from infrastructure networks. In ...
196
click to vote
ICCAD
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
175
click to vote
ICCD
1995
IEEE
15 years 10 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...