3160 search results - page 56 / 632 » Postcards from the future |
IPPS
2008
IEEE
14 years 2 months ago
2008
IEEE
Despite the computing power of emerging technologies, predicting long RNA secondary structures with thermodynamics-based methods is still infeasible, especially if the structures ...
ICMCS
2005
IEEE
14 years 1 months ago
2005
IEEE
Automatic temporal segmentation of music signals into note onsets is central for a large number of audio applications. In this paper, we present a variation of a previously existi...
ROBOCUP
2005
Springer
14 years 1 months ago
2005
Springer
Keepaway soccer has been previously put forth as a testbed for machine learning. Although multiple researchers have used it successfully for machine learning experiments, doing so ...
SEKE
2005
Springer
14 years 1 months ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
TMRA
2005
Springer
14 years 1 months ago
2005
Springer
Topic Maps are means for representing sophisticated, conceptual indexes of any information collection for the purpose of semantic information integration. To properly fulfil this p...