3996 search results - page 245 / 800 » A Publish |
160
click to vote
SEKE
2001
Springer
15 years 11 months ago
2001
Springer
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
146
click to vote
VLDB
2001
ACM
15 years 11 months ago
2001
ACM
This paper describes the new architecture for supporting the Teradata commercial VLDB on several new operating environments. We start with an overview of the Teradata database sof...
186
click to vote
GLVLSI
2000
IEEE
15 years 11 months ago
2000
IEEE
We present a new timing driven method for global placement. Our method is based on the observation that similar net length reductions in the different nets that make up a path may...
185
click to vote
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
Automatic recovery of eye gestures from image sequences is one of the important topics for face recognition and model-based coding of videophone sequences. Usually complicated mod...
167
click to vote
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper provides a generalization of non-reducible descriptors by extending the concept of distance between patterns of di erent classes. Generalized non-reducible descriptors ...