3394 search results - page 549 / 679 » A Modal Model of Memory |
147
click to vote
FMCAD
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
137
click to vote
EURONGI
2006
Springer
15 years 8 months ago
2006
Springer
Wireless sensor networks (WSNs) pose challenges not present in classical distributed systems: resource limitations, high failure rates, and ad hoc deployment. The lossy nature of w...
119
click to vote
ANSS
2001
IEEE
15 years 8 months ago
2001
IEEE
In this work, we study the different buffering techniques used in the literature to solve the contention problem in A TM switching architectures. The objective of our study is to ...
115
click to vote
KDD
1995
ACM
15 years 7 months ago
1995
ACM
The quest to nd models usefully characterizing data is a process central to the scienti c method, and has been carried out on many fronts. Researchers from an expanding number of ...
145
click to vote
VISUALIZATION
1995
IEEE
15 years 7 months ago
1995
IEEE
We propose a new approach to the automatic generation of triangular irregular networks from dense terrain models. We have developed and implemented an algorithm based on the greed...