2656 search results - page 453 / 532 » Compacting XML Data |
114
click to vote
ICMCS
1999
IEEE
15 years 4 months ago
1999
IEEE
In this paper, we propose a novel scheme for automatic and fast detection of human faces in color images where the number, the location, the orientation and the size of the faces ...
PODC
1998
ACM
15 years 4 months ago
1998
ACM
We present an algorithm for modifying delta compressed files so that the compressed versions may be reconstructed without scratch space. This allows network clients with limited ...
116
click to vote
FMCAD
1998
Springer
15 years 4 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
ICCAD
1997
IEEE
15 years 4 months ago
1997
IEEE
We present a new output encoding problem as follows: Given a specification table, such as a truth table or a finite state machine state table, where some of the outputs are specif...
SIGCOMM
1997
ACM
15 years 4 months ago
1997
ACM
For some time, the networking communityhas assumed that it is impossible to do IP routing lookups in software fast enough to support gigabit speeds. IP routing lookups must nd th...