2899 search results - page 305 / 580 » Dynamic Trees in Practice |
134
click to vote
ICAI
2003
15 years 5 months ago
2003
Boolean satisfiability (SAT) is the canonical NP-complete problem that plays an important role in AI and has many practical applications in Computer Science in general. Boolean n...
128
click to vote
WSC
2004
15 years 5 months ago
2004
Hybrid system modeling refers to the construction of system models combining both continuous and discrete dynamics. These models can greatly reduce the complexity of a phystem mod...
172
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We propose a dynamic process for network evolution, aiming at explaining the emergence of the small world phenomenon, i.e., the statistical observation that any pair of i...
125
click to vote
IAT
2010
IEEE
15 years 2 months ago
2010
IEEE
In this paper, we introduce how one can validate an event-centric trading simulation platform that is built with multi-agent technology. The issue of validation is extremely import...
136
click to vote
ICPPW
2009
IEEE
15 years 2 months ago
2009
IEEE
Current petascale systems have tens of thousands of hardware components and complex system software stacks, which increase the probability of faults occurring during the lifetime ...