1688 search results - page 257 / 338 » The Complexity of Rationalizing Matchings |
ICCD
2003
IEEE
15 years 8 months ago
2003
IEEE
We consider several approaches for reducing the complexity and power dissipation in processors that use separate register file to maintain the commited register values. The first ...
EDBT
2009
ACM
15 years 6 months ago
2009
ACM
A wealth of information is available only in web pages, patents, publications etc. Extracting information from such sources is challenging, both due to the typically complex langu...
101
click to vote
QEST
2009
IEEE
15 years 6 months ago
2009
IEEE
—The departure process of a BMAP/MAP/1 queue can be approximated in different ways: as a Markovian arrival process (MAP) or as a matrix-exponential process (MEP). Both approximat...
109
click to vote
TPHOL
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...
CIKM
2009
Springer
15 years 5 months ago
2009
Springer
Histogram construction or sequence segmentation is a basic task with applications in database systems, information retrieval, and knowledge management. Its aim is to approximate a...