4520 search results - page 407 / 904 » Algebraic Techniques for Timed Systems |
182
click to vote
CORR
1999
Springer
15 years 7 months ago
1999
Springer
In this paper we present an application of explanation-based learning (EBL) in the parsing module of a real-time English-Spanish machine translation system designed to translate c...
219
click to vote
ASPLOS
2006
ACM
16 years 1 months ago
2006
ACM
Worms, viruses, and other malware can be ticking bombs counting down to a specific time, when they might, for example, delete files or download new instructions from a public we...
179
click to vote
DATE
2004
IEEE
15 years 11 months ago
2004
IEEE
We present a technique to improve the efficiency of hardware-software cosimulation, using design information known at simulator compile-time. The generic term for such optimizatio...
227
click to vote
ASPDAC
2001
ACM
15 years 11 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
222
click to vote
BIOSIG
2008
15 years 9 months ago
2008
Abstract: Biometric authentication is often considered to enhance identity verification. The use of biometrics also introduces new challenges to protect the privacy of the subjects...