472 search results - page 26 / 95 » Symbolic range propagation |
135
click to vote
SECON
2008
IEEE
15 years 10 months ago
2008
IEEE
— In an effort to better understand connectivity and capacity in wireless networks, the log-normal shadowing radio propagation model is used to capture radio irregularities and o...
112
click to vote
CP
2006
Springer
15 years 8 months ago
2006
Springer
A wide range of counting and occurrence constraints can be specified with just two global primitives: the Range constraint, which computes the range of values used by a sequence of...
169
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
We describe EUREKA, a symbolic model checker for Linear Programs with arrays, i.e. programs where variables and array elements range over a numeric domain and expressions involve ...
139
click to vote
ISMIR
2004
Springer
15 years 9 months ago
2004
Springer
(150-200 words) The MIDI Toolbox is a compilation of functions for analyzing and visualizing MIDI files in the Matlab computing environment. In this article, the basic issues of th...
152
click to vote
KRMED
2004
15 years 5 months ago
2004
The symbolic representation of the physical structure of living organisms needs an ontologically well-founded and logically sound approach so that formal reasoning can adequately ...