2490 search results - page 210 / 498 » The Generalized Theory of Model Preference |
168
click to vote
IEEEPACT
2009
IEEE
16 years 1 months ago
2009
IEEE
Parallel programming is a requirement in the multi-core era. One of the most promising techniques to make parallel programming available for the general users is the use of parall...
168
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—In recent years there have been several large-scale deployments of P2P live video systems. Existing and future P2P live video systems will offer a large number of channels, with...
154
click to vote
QSIC
2008
IEEE
16 years 28 days ago
2008
IEEE
Fault localization is a major activity in software debugging. Many existing statistical fault localization techniques compare feature spectra of successful and failed runs. Some a...
163
click to vote
ATAL
2005
Springer
16 years 2 days ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
171
click to vote
GECCO
2010
Springer
15 years 11 months ago
2010
Springer
In this paper we present the application of an evolution strategy to the problem of detecting multi-planet transit events in photometric time-data series. Planetary transits occur...