Sciweavers

12774 search results - page 2346 / 2555
» A Framework for Proof Systems
Sort
View
KBS
2000
59views more  KBS 2000»
15 years 6 months ago
Hands-on representations in a two-dimensional space for early stages of design
In design, problem analysis is as important as solution synthesis. Strategic knowledge is required not only for constructing a solution but also for framing a problem. While exter...
Yasuhiro Yamamoto, Kumiyo Nakakoji, Shingo Takada
NN
2000
Springer
137views Neural Networks» more  NN 2000»
15 years 6 months ago
Evolutionary robots with on-line self-organization and behavioral fitness
We address two issues in Evolutionary Robotics, namely the genetic encoding and the performance criterion, also known as fitness function. For the first aspect, we suggest to enco...
Dario Floreano, Joseba Urzelai
SIAMDM
2000
103views more  SIAMDM 2000»
15 years 6 months ago
Directional Routing via Generalized st-Numberings
We present a mathematical model for network routing based on generating paths in a consistent direction. Our development is based on an algebraic and geometric framework for defini...
Fred S. Annexstein, Kenneth A. Berman
DKE
1998
149views more  DKE 1998»
15 years 6 months ago
Knowledge Engineering: Principles and Methods
This paper gives an overview about the development of the field of Knowledge Engineering over the last 15 years. We discuss the paradigm shift from a transfer view to a modeling v...
Rudi Studer, V. Richard Benjamins, Dieter Fensel
JIIS
2002
130views more  JIIS 2002»
15 years 6 months ago
Image Mining: Trends and Developments
Advances in image acquisition and storage technology have led to tremendous growth in very large and detailed image databases. These images, if analyzed, can reveal useful informa...
Wynne Hsu, Mong-Li Lee, Ji Zhang
« Prev « First page 2346 / 2555 Last » Next »