1755 search results - page 291 / 351 » An efficient simulation algorithm based on abstract interpre... |
ICANN
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Swarm Intelligence (SI) is the property of a system whereby the collective behaviors of (unsophisticated) entities interacting locally with their environment cause cohere...
MICRO
2010
IEEE
14 years 4 months ago
2010
IEEE
Today's transactional memory systems implement the two-phase-locking (2PL) algorithm which aborts transactions every time a conflict happens. 2PL is a simple algorithm that pr...
FMCAD
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
ECIR
2006
Springer
14 years 11 months ago
2006
Springer
Abstract. This paper describes an efficient method to construct reliable machine learning applications in peer-to-peer (P2P) networks by building ensemble based meta methods. We co...
100
click to vote
MICCAI
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper describes a new framework for white matter tractography in high angular resolution diffusion data. A direction-dependent local cost is defined based on the dif...