1632 search results - page 300 / 327 » On special numberings of hypergraphs |
159
click to vote
EWSA
2006
Springer
15 years 10 months ago
2006
Springer
An architectural aspect is a concern that cuts across architecture ty units and cannot be effectively modularized using the given abstractions of conventional Architecture Descript...
141
click to vote
MICAI
2000
Springer
15 years 9 months ago
2000
Springer
Unique Fixpoint Induction, UFI, is a chief inference rule to prove the equivalence of recursive processes in CCS [7]. It plays a major role in the equational approach to verificati...
159
click to vote
COMPGEOM
1995
ACM
15 years 9 months ago
1995
ACM
We consider the problem of reporting the pairwise enclosures in a set of n axesparallel rectangles in IR2, which is equivalent to reporting dominance pairs in a set of n points in...
187
click to vote
SIGGRAPH
1997
ACM
15 years 9 months ago
1997
ACM
Level-of-detail (LOD) representations are an important tool for realtime rendering of complex geometric environments. The previously introduced progressive mesh representation def...
200
click to vote
PODS
1995
ACM
15 years 9 months ago
1995
ACM
During the last decade various spatial data structures have been designed and compared against each other with respect to their performance. Still missing is a lower bound result,...