2634 search results - page 87 / 527 » Faster Than Uppaal |
DCC
2003
IEEE
14 years 8 months ago
2003
IEEE
In this paper we introduce StarZip, a multi-corpora lossless text compression utility which incorporates StarNT, our newly proposed transform algorithm. StarNT is a dictionary-base...
ICCAD
2007
IEEE
14 years 5 months ago
2007
IEEE
Abstract—It is important to reduce the Optical Proximity Correction (OPC) runtime while maintaining a good result quality. In this paper, we obtain a better formula, which theore...
SEMWEB
2009
Springer
14 years 3 months ago
2009
Springer
We address the problem of scalable distributed reasoning, proposing a technique for materialising the closure of an RDF graph based on MapReduce. We have implemented our approach o...
ISCAS
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— A novel structure with direct inversion of a multipleinput multiple-output (MIMO) system is proposed in this paper. Based on this structure, 2 adaptive algorithms, LMS-...
LCN
2008
IEEE
14 years 3 months ago
2008
IEEE
— Bloom filters are a well known data structure for approximate set membership. Bloom filters are space efficient but require many independent hashes and consecutive memory acces...