453 search results - page 65 / 91 » Using Symbolic Simulation for Bounded Property Checking |
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
Recently, the statistical restricted isometry property (STRIP) has been formulated to analyze the performance of deterministic sampling matrices for compressed sensing. In this pa...
SIGCOMM
1996
ACM
15 years 3 months ago
1996
ACM
Hierarchical Packet Fair Queueing (H-PFQ)algorithms have the potential to simultaneously support guaranteed realtime service, rate-adaptive best-eort, and controlled linksharing s...
CORR
2006
Springer
14 years 11 months ago
2006
Springer
This paper presents the design of an associative memory with feedback that is capable of on-line temporal sequence learning. A framework for on-line sequence learning has been prop...
PET
2009
Springer
15 years 6 months ago
2009
Springer
There exist well established models for anonymity focusing on traffic analysis, i. e., analysing properties of single messages as, e. g., timing. However there is only little work ...
AROBOTS
2005
14 years 11 months ago
2005
The Dual Smart Drive is a specially designed nonlinear actuator intended for use in climbing and walking legged robots. It features a continuously changing transmission ratio and d...