1026 search results - page 78 / 206 » A Methodology for Equational Reasoning |
174
click to vote
ICCBR
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. This paper proposes a fuzzy-rough method of maintaining CaseBased Reasoning (CBR) systems. The methodology is mainly based on the idea that a large case library can be tr...
151
click to vote
IJCNN
2006
IEEE
16 years 10 days ago
2006
IEEE
—Computational models of development aim to describe the mechanisms that underlie the acquisition of new skills or the emergence of new capabilities. The strength of a model is j...
168
click to vote
SIGMETRICS
2006
ACM
16 years 7 days ago
2006
ACM
A new methodology to assess transient performance measures of tree-like processes is proposed by introducing the concept of tree-like processes with marked time epochs. As opposed...
154
click to vote
HYBRID
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper derives an optimization-based control methodology for networks of switched and hybrid systems in which each mode is governed by a partial differential equatio...
128
click to vote
MICRO
2002
IEEE
15 years 11 months ago
2002
IEEE
During the concept phase and definition of next generation high-end processors, power and performance will need to be weighted appropriately to deliver competitive cost/performan...