Sciweavers

3625 search results - page 315 / 725
» On Timed Models of Gene Networks
Sort
View
IJCNN
2007
IEEE
16 years 1 months ago
Incorporating Forgetting in a Category Learning Model
— We present a computational model of human category learning that learns the essential structures of the categories by forgetting information that is not useful for the given ta...
Yasuaki Sakamoto, Toshihiko Matsuka
QEST
2007
IEEE
16 years 29 days ago
Probabilistic Model Checking Modulo Theories
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
Björn Wachter, Lijun Zhang, Holger Hermanns
DSN
2006
IEEE
16 years 23 days ago
A large-scale study of failures in high-performance computing systems
Designing highly dependable systems requires a good understanding of failure characteristics. Unfortunately, little raw data on failures in large IT installations is publicly avai...
Bianca Schroeder, Garth A. Gibson
CONEXT
2007
ACM
15 years 10 months ago
BonSwing: A GUI framework for ad-hoc applications using service discovery
In typical single-link 802.11 ad-hoc networks, devices often move from one network to the next, forming transitory associations without a fixed support infrastructure. The state i...
Suman Srinivasan, Henning Schulzrinne
WSC
2000
15 years 8 months ago
Simulation as educational support for production and logistics in industrial engineering
The proposed implementation is a monitor system able to train operators for on-line real time manufacturing control in order to analyze the performance of a production process. Th...
Agostino G. Bruzzone, Pietro Giribone, Roberto Rev...