3191 search results - page 358 / 639 » Qualitative Modeling in Education |
CORR
2008
Springer
13 years 11 months ago
2008
Springer
MEMS storage devices are new non-volatile secondary storages that have outstanding advantages over magnetic disks. MEMS storage devices, however, are much different from magnetic ...
AIMDM
1999
Springer
14 years 3 months ago
1999
Springer
Abstract. Images and computer graphics play an increasingly important role in the design and manufacture of medical prostheses and implants. Images provide guidance on optimal desi...
EPS
1997
Springer
14 years 3 months ago
1997
Springer
In spirit of the earlier works done by Arthur (1992) and Palmer et al. (1993), this paper models speculators with genetic programming (GP) in a production economy (Muthian Economy)...
CORR
2008
Springer
13 years 11 months ago
2008
Springer
We study complexity of the model-checking problems for LTL with registers (also known as freeze LTL and written LTL ) and for first-order logic with data equality tests (written F...
CORR
2007
Springer
13 years 10 months ago
2007
Springer
abstract such additional information as network annotations. We introduce a network topology modeling framework that treats annotations as an extended correlation profile of a net...