7393 search results - page 481 / 1479 » Synthesis-for-testability using transformations |
152
click to vote
MSWIM
2000
ACM
15 years 10 months ago
2000
ACM
Wireless networks are an ideal environment for mobile agents, because their mobility allows them to move across an unreliable link to reside on a wired host, next to or closer to ...
141
click to vote
FSE
1993
Springer
15 years 10 months ago
1993
Springer
: A new non-proprietary secret-key block-enciphering algorithm, SAFER K-64 (for Secure And Fast Encryption Routine with a Key of length 64 bits) is described. The blocklength is 64...
163
click to vote
KR
1994
Springer
15 years 10 months ago
1994
Springer
Probabilistic AI planning methods that minimize expected execution cost have a neutral attitude towards risk. We demonstrate how one can transform planning problems for risk-sensi...
189
click to vote
PEPM
2000
ACM
15 years 10 months ago
2000
ACM
Transforming recursion into iteration eliminates the use of stack frames during program execution. It has been studied extensively. This paper describes a powerful and systematic ...
161
click to vote
COLING
2008
15 years 8 months ago
2008
This paper describes an incremental approach to parsing transcribed spontaneous speech containing disfluencies with a Hierarchical Hidden Markov Model (HHMM). This model makes use...