Sciweavers

3267 search results - page 484 / 654
» Generalized quasirandom graphs
Sort
View
LICS
2000
IEEE
15 years 11 months ago
Virtual Symmetry Reduction
We provide a general method for ameliorating state explosion via symmetry reduction in certain asymmetric systems, such as systems with many similar, but not identical, processes....
E. Allen Emerson, John Havlicek, Richard J. Trefle...
ISPD
1999
ACM
112views Hardware» more  ISPD 1999»
15 years 10 months ago
Arbitrary convex and concave rectilinear block packing using sequence-pair
The sequence-pair was proposed in 1994 as a representation of the packing of rectangles of general structure. Since then, there have been e orts to expand its applicability over s...
Kunihiro Fujiyoshi, Hiroshi Murata
SP
1998
IEEE
116views Security Privacy» more  SP 1998»
15 years 10 months ago
Strand Spaces: Why is a Security Protocol Correct?
A strand is a sequence of events; it represents either the execution of legitimate party in a security protocol or else a sequence of actions by a penetrator. A strand space is a ...
F. Javier Thayer, Jonathan C. Herzog, Joshua D. Gu...
SIGMOD
1998
ACM
150views Database» more  SIGMOD 1998»
15 years 10 months ago
Extracting Schema from Semistructured Data
Semistructured data is characterized by the lack of any fixed and rigid schema, although typically the data hassomeimplicitstructure. While thelack offixedschemamakesextracting ...
Svetlozar Nestorov, Serge Abiteboul, Rajeev Motwan...
SSD
1993
Springer
152views Database» more  SSD 1993»
15 years 10 months ago
Realms: A Foundation for Spatial Data Types in Database Systems
: Spatial data types or algebras for database systems should (i) be fully general (which means, closed under set operations, hence e.g. a region value can be a set of polygons with...
Ralf Hartmut Güting, Markus Schneider