4872 search results - page 611 / 975 » CBR for Modeling Complex Systems |
195
click to vote
CADE
2004
Springer
16 years 7 months ago
2004
Springer
Interactive theorem provers can model complex systems, but require much effort to prove theorems. Resolution theorem provers are automatic and powerful, but they are designed to be...
167
click to vote
MIG
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a system for automatically evolving neural networks as physics-based locomotion controllers for humanoid characters. Our approach provides two key features: (a...
174
click to vote
CICLING
2010
Springer
16 years 1 months ago
2010
Springer
: Chinese event descriptive clause splitting is the task of splitting a complex Chinese sentence into several clauses. In this paper, we present a discriminative approach for Chine...
177
click to vote
EDOC
2008
IEEE
16 years 1 months ago
2008
IEEE
Business processes used in networked business are often large and complex, which makes them difficult to manage and change. In this paper we address this lack of flexibility by pr...
142
click to vote
ISCAS
2008
IEEE
16 years 1 months ago
2008
IEEE
— An accurate and efficient solution for the transient response at the far end of a transmission line is proposed in this paper. Unlike approximating the poles by truncating the...