4520 search results - page 615 / 904 » Algebraic Techniques for Timed Systems |
187
click to vote
CMSB
2009
Springer
16 years 1 months ago
2009
Springer
Systems of ordinary differential equations (ODEs) are often used to model the dynamics of complex biological pathways. We construct a discrete state model as a probabilistic appro...
170
click to vote
HASKELL
2009
ACM
16 years 1 months ago
2009
ACM
Structured documents are commonly edited using a free-form editor. Even though every string is an acceptable input, it makes sense to maintain a structured representation of the e...
171
click to vote
CNSR
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we propose a blind beamforming technique for multipath CDMA channels, which requires prior knowledge of only the spreading code and the timing of the desired user. ...
173
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Efficient use of the memory hierarchy is critical for achieving high performance in a multiprocessor systemon-chip. An external memory that is shared between processors is a bottl...
160
click to vote
ISCAS
2008
IEEE
16 years 1 months ago
2008
IEEE
—Use of watermarking techniques to provide authentication and tamper proofing of speech in mobile environment is becoming important. However, the current efforts do not allow for...