12373 search results - page 103 / 2475 » Semi-Logarithmic Number Systems |
184
click to vote
TPHOL
2006
IEEE
15 years 10 months ago
2006
IEEE
This case study shows how ACL2 can be used to reason about the real and complex numbers, using non-standard analysis. It describes some modifications to ACL2 that include the irr...
162
click to vote
WACV
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper we propose an approach to count the number of pedestrians, given a trajectory data set provided by a tracking system. The tracking process itself is treated as a bla...
161
click to vote
EMSOFT
2009
Springer
15 years 11 months ago
2009
Springer
While NAND flash memories have rapidly increased in both capacity and performance and are increasingly used as a storage device in many embedded systems, their reliability has de...
134
click to vote
ICDCS
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper formalizes transactional properties for publish/subscribe client mobility and develops protocols to realize them. Evaluations show that compared to traditional protocol...
ICCAD
2005
IEEE
16 years 1 months ago
2005
IEEE
— Nanoscale technologies provide both challenges and opportunities. We show that the issues and potential solutions facing designers are technology independent and arise mainly f...