12742 search results - page 20 / 2549 » On canonical number systems |
SPIRE
2001
Springer
15 years 2 months ago
2001
Springer
Word-based Huffman coding has widespread use in information retrieval systems. Besides its compressing power, it also enables the implementation of both indexing and searching sch...
ICRA
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract— Multiple-target tracking is a canonical application of sensor networks as it exhibits different aspects of sensor networks such as event detection, sensor information f...
71
Voted
CAV
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
Abstract. Compact categories have lately seen renewed interest via applications to quantum physics. Being essentially finite-dimensional, they cannot accomodate (co)limit-based con...
TCAD
2002
14 years 9 months ago
2002
In this paper, the authors propose an algorithm to find all the minimal signed digit (MSD) representations of a constant and present an algorithm to synthesize digital filters base...