1359 search results - page 62 / 272 » Probabilistic Points-to Analysis |
ICASSP
2010
IEEE
14 years 10 months ago
2010
IEEE
Localization of simultaneous sound sources in natural environments with only two microphones is a challenging problem. Reverberation degrades performance of localization based exc...
AI
2008
Springer
14 years 10 months ago
2008
Springer
Verification of reachability properties for probabilistic systems is usually based on variants of Markov processes. Current methods assume an exact model of the dynamic behavior a...
100
click to vote
EMNLP
2009
14 years 7 months ago
2009
This paper presents preliminary results on the detection of cultural differences from people's experiences in various countries from two perspectives: tourists and locals. Ou...
CEC
2007
IEEE
15 years 1 months ago
2007
IEEE
In this paper we derive a simpler form of Particle Swarm Optimiser (PSO) which still retains the key properties of the original model. We do so by progressively altering the origin...
DEXAW
2004
IEEE
15 years 1 months ago
2004
IEEE
To achieve correct execution of peer-to-peer applications on non-reliable resources, we present a portable and distributed algorithm that provides fault tolerance and result checki...