1900 search results - page 151 / 380 » The Four Phase Method for Modelling Complex Systems |
183
click to vote
AAIP
2009
15 years 4 months ago
2009
Inductive programming systems characteristically exhibit an exponential explosion in search time as one increases the size of the programs to be generated. As a way of overcoming ...
121
click to vote
APN
2003
Springer
15 years 8 months ago
2003
Springer
Model checking by exhaustive state space enumeration is one of the most developed analysis methods for distributed event systems. Its main problem—the size of the state spaces—...
110
click to vote
COMPLEX
2009
Springer
15 years 25 days ago
2009
Springer
Abstract. We investigate a spin model in which a ferromagnetic shortrange interaction competes with a long-range antiferromagnetic interaction decaying spatially as 1 rd+ , d being...
106
click to vote
ICCAD
2005
IEEE
15 years 12 months ago
2005
IEEE
— Although the LUT (look-up table) size of FPGAs has been optimized for general applications, complicated designs may contain a large number of cascaded LUTs between flip-flops...
117
click to vote
ROMAN
2007
IEEE
15 years 9 months ago
2007
IEEE
—This paper proposes a novel method of learning a users preferred reward modalities for human-robot interaction through solving a cooperative training task. A learning algorithm ...