1992 search results - page 257 / 399 » Model Based Testing with Labelled Transition Systems |
126
Voted
HICSS
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— UrbanSim is a large scale land use and transportation simulator that models the possible long-term effects of different policies on urban regions. The output is present...
116
click to vote
ICWL
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we investigate the use of Latent Semantic Analysis (LSA), Critiquing Systems, and Knowledge Building to support computerbased teaching of English composition. We have...
127
Voted
ICDAR
2009
IEEE
15 years 1 months ago
2009
IEEE
Features representing information about pressure distribution from a static image of a handwritten signature are analyzed for an offline verification system. From gray-scale image...
84
Voted
GECCO
2003
Springer
15 years 8 months ago
2003
Springer
This paper suggests dense and switched modular primitives for a bond-graph-based GP design framework that automatically synthesizes designs for multi-domain, lumped parameter dynam...
133
Voted
ICANN
2010
Springer
15 years 4 months ago
2010
Springer
We propose a model of the hippocampus aimed at learning the timed association between subsequent sensory events. The properties of the neural network allow it to learn and predict ...