2957 search results - page 263 / 592 » Code analysis and CS-XML |
141
click to vote
ESCIENCE
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract. We study the implementation on grid systems of an efficient algorithm for demanding global optimization problems. Specifically, we consider problems arising in the geneti...
115
click to vote
EXPCS
2007
15 years 7 months ago
2007
XML simplifies data exchange among heterogeneous computers, but it is notoriously verbose and has spawned the development of many XML-specific compressors and binary formats. We p...
140
click to vote
WSC
2007
15 years 6 months ago
2007
Emergent behaviors in simulations require explanation, so that valid behaviors can be separated from design or coding errors. We present a taxonomy, to be applied to emergent beha...
131
click to vote
SERVICES
2010
15 years 5 months ago
2010
Abstract--Conducting valid comparative evaluations of techniques in the field of Music Information Retrieval (MIR) presents particular challenges to MIR researchers due to issues o...
140
click to vote
ATVA
2010
Springer
15 years 5 months ago
2010
Springer
Probabilistic B (pB) [2, 8] extends classical B [7] to incorporate probabilistic updates together with the specification of quantitative safety properties. As for classical B, prob...