5962 search results - page 153 / 1193 » Efficient Clustering for Orders |
254
click to vote
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
There has been a great deal of interest in the past few years on ranking of results of queries on structured databases, including work on probabilistic information retrieval, rank...
297
click to vote
FMCAD
1998
Springer
15 years 10 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...
156
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract-- Many model order reduction methods for parameterized systems need to construct a projection matrix V which requires computing several moment matrices of the parameterize...
160
click to vote
WSC
2008
2008
Simulating order fulfillment and supply planning for a vertically aligned industry solution business
15 years 8 months ago
We model supply chain of an industry solution equipment manufacturer, where the merchandise is sold worldwide, but suppliers are mostly located in Asia. The preferred shipment of ...
159
click to vote
ICAD
2004
15 years 8 months ago
2004
We propose a unified and simple approach for capturing and recreating 3D sound fields by exploring the reciprocity principle that is satisfied between the two processes. Our appro...