716 search results - page 72 / 144 » Modelling Bounded Rationality Using Evolutionary Techniques |
127
Voted
HYBRID
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...
163
Voted
GI
1998
Springer
15 years 8 months ago
1998
Springer
"KnowledgeMiner" was designed to support the knowledge extraction process on a highly automated level. Implemented are 3 different GMDH-type self-organizing modeling algo...
160
Voted
3DIM
2011
IEEE
14 years 3 months ago
2011
IEEE
Abstract—During the last few years a wide range of algorithms and devices have been made available to easily acquire range images. To this extent, the increasing abundance of dep...
156
Voted
ISMIS
1997
Springer
15 years 7 months ago
1997
Springer
e about image features can be expressed as a hierarchical structure called a Type Abstraction Hierarchy (TAH). TAHs can be generated automatically by clustering algorithms based on...
145
Voted
WSTST
2005
Springer
15 years 9 months ago
2005
Springer
Breast cancer is one of the major tumor related cause of death in women. Various artificial intelligence techniques have been used to improve the diagnoses procedures and to aid t...