1412 search results - page 136 / 283 » types 2004 |
142
click to vote
SIGADA
2004
Springer
15 years 11 months ago
2004
Springer
This paper describes several tools related to the Ada language that were developed to support the teaching of a computer graphics course. These tools include an updated and improv...
170
click to vote
SPIN
2004
Springer
15 years 11 months ago
2004
Springer
We propose a new framework for black-box conformance testing of real-time systems, where specifications are modeled as nondeterministic and partially-observable timed automata. We...
151
click to vote
SSPR
2004
Springer
15 years 11 months ago
2004
Springer
Most machine learning algorithms are designed either for supervised or for unsupervised learning, notably classification and clustering. Practical problems in bioinformatics and i...
169
click to vote
SSPR
2004
Springer
15 years 11 months ago
2004
Springer
The creation of a cognitive perception systems capable of inferring higher-level semantic information from low-level feature and event information for a given type of multimedia co...
149
click to vote
TACAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...