3555 search results - page 465 / 711 » Security-Critical System Development with Extended Use Cases |
171
click to vote
CASES
2001
ACM
15 years 10 months ago
2001
ACM
Increased systems level integration has meant the movement of many traditionally off chip components onto a single chip including a processor, instruction storage, data path, and ...
190
click to vote
ICML
1995
IEEE
16 years 7 months ago
1995
IEEE
A number of reinforcement learning algorithms have been developed that are guaranteed to converge to the optimal solution when used with lookup tables. It is shown, however, that ...
186
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
State-of-the-art speaker diarization systems for meetings are now at a point where overlapped speech contributes significantly to the errors made by the system. However, little i...
158
click to vote
CASES
2007
ACM
15 years 11 months ago
2007
ACM
The development of robust and efficient synthesis tools is important if asynchronous design is to gain more widespread acceptance. Syntax-directed translation is a powerful synthe...
161
click to vote
ILP
1998
Springer
15 years 11 months ago
1998
Springer
In this paper we argue that the use of a language with a type system, together with higher-order facilities and functions, provides a suitable basis for knowledge representation in...