3629 search results - page 508 / 726 » A More Efficient Use of Delta-CRLs |
190
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
New placement techniques are presented which substantially improve the process of automatic layout generation of analog IC's. Extremely tight specifications can be enforced o...
141
click to vote
CSCW
1990
ACM
15 years 10 months ago
1990
ACM
This paperdescribesthe conceptual model of Strudel, a toolkit of generic components for conversation and action management. To empower work groups to more effectively conduct thei...
140
click to vote
VLDB
1992
ACM
15 years 10 months ago
1992
ACM
Most extensibledatabasesystemssupportaddition of new indexes or new data types. However, the referencepatterns exhibited by these new indexes may not be efficiently supportedby ex...
220
click to vote
ACCV
2007
Springer
15 years 10 months ago
2007
Springer
We develop a method that can detect humans in a single image based on a new cascaded structure. In our approach, both the rectangle features and 1-D edge-orientation features are e...
169
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...