2679 search results - page 306 / 536 » Experimental Models for Validating Technology |
157
Voted
RTAS
2006
IEEE
15 years 10 months ago
2006
IEEE
A notable features of many proposed Wireless Sensor Networks (WSNs) deployments is their scale: hundreds to thousands of nodes linked together. In such systems, modeling the state...
159
click to vote
IMC
2006
ACM
15 years 10 months ago
2006
ACM
Understanding the characteristics of the Internet delay space (i.e., the all-pairs set of static round-trip propagation delays among edge networks in the Internet) is important fo...
123
click to vote
SPATIALCOGNITION
1998
Springer
15 years 8 months ago
1998
Springer
This chapter gives an overview of our ongoing experimental research in the MeMoSpace project, concerning the cognitive processes underlying human spatial reasoning. Our theoretical...
154
click to vote
CIKM
2007
Springer
15 years 8 months ago
2007
Springer
Hidden markov model (HMM) is frequently used for Pinyin-toChinese conversion. But it only captures the dependency with the preceding character. Higher order markov models can brin...
129
click to vote
BIRTHDAY
2009
Springer
15 years 11 months ago
2009
Springer
We present a new hybrid BDD and SAT-based algorithm for model checking. Our algorithm is based on backward search, where each pre-image computation consists of an efficient All-SA...