2273 search results - page 314 / 455 » On the Expressiveness and Complexity of ATL |
PASTE
2004
ACM
15 years 3 months ago
2004
ACM
Many software testing and automated debugging tools rely on structural coverage techniques. Such tools implicitly assume a relation between individual control-flow choices made i...
SAC
2004
ACM
15 years 3 months ago
2004
ACM
This paper addresses the problem of “missing requirements” in software requirements specification (SRS) expressed in natural language. Due to rapid changes in technology and b...
EUROGP
2004
Springer
15 years 3 months ago
2004
Springer
Lymphoma cancer classification with DNA microarray data is one of important problems in bioinformatics. Many machine learning techniques have been applied to the problem and produc...
ICT
2004
Springer
15 years 3 months ago
2004
Springer
— In this paper we determine bounds of the capacity region of a two-user multipleaccess channel with Rayleigh fading when neither the transmitters nor the receiver has channel st...
112
click to vote
ISMIR
2004
Springer
15 years 3 months ago
2004
Springer
High-Level music descriptors are key ingredients for music information retrieval systems. Although there is a long tradition in extracting information from acoustic signals, the f...