4520 search results - page 194 / 904 » Algebraic Techniques for Timed Systems |
201
click to vote
ICAPR
2001
Springer
2001
Springer
A Time-Length Constrained Level Building Algorithm for Large Vocabulary Handwritten Word Recognition
15 years 11 months ago
In this paper we introduce a constrained Level Building Algorithm (LBA) in order to reduce the search space of a Large Vocabulary Handwritten Word Recognition (LVHWR) system. A ti...
222
click to vote
ICIAP
1999
ACM
15 years 11 months ago
1999
ACM
Real-world tasks often require real-time performances. However, in many practical cases, “just in time” responses are sufficient. This means that a system should be efficien...
227
click to vote
ECBS
2007
IEEE
15 years 11 months ago
2007
IEEE
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...
197
click to vote
RTSS
1995
IEEE
15 years 10 months ago
1995
IEEE
We present a scheme to guarantee that the execution of real-time tasks can tolerate transient and intermittent faults assuming any queue- based scheduling technique. The scheme is...
192
click to vote
CC
2008
Springer
15 years 7 months ago
2008
Springer
There exists a positive constant < 1 such that for any function T(n) n and for any problem L BPTIME(T(n)), there exists a deterministic algorithm running in poly(T(n)) time w...