3909 search results - page 596 / 782 » Extreme Model Checking |
167
click to vote
CIKM
1999
Springer
15 years 10 months ago
1999
Springer
Multi-dimensional, inter-transaction association rules extend the traditional association rules to describe more general associations among items with multiple properties cross tr...
198
click to vote
VISUALIZATION
1999
IEEE
15 years 10 months ago
1999
IEEE
Many applications produce three-dimensional points that must be further processed to generate a surface. Surface reconstruction algorithms that start with a set of unorganized poi...
152
click to vote
HASE
1998
IEEE
15 years 10 months ago
1998
IEEE
Residual defects is one of the most important factors that allow one to decide if a piece of software is ready to be released. In theory, one can find all the defects and count th...
172
click to vote
ICCAD
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper considers simultaneous gate and wire sizing for general very large scale integrated (VLSI) circuits under the Elmore delay model. We present a fast and exact algorithm w...
134
click to vote
ICALP
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We consider systems of finite automata performing together computation on an input string. Each automaton has its own read head that moves independently of the other head...