3191 search results - page 261 / 639 » Qualitative Modeling in Education |
179
click to vote
TAICPART
2006
IEEE
16 years 27 days ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
159
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Constraint programming can definitely be seen as a model-driven paradigm. The users write programs for modeling problems. These programs are mapped to executable models to calcula...
165
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
: This research investigated the simulation model behaviour of a traditional and combined discrete event as well as agent based simulation models when modelling human reactive and ...
200
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Sparse modeling is a powerful framework for data analysis and processing. Traditionally, encoding in this framework is performed by solving an 1-regularized linear regression prob...
192
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
The estimation of linear causal models (also known as structural equation models) from data is a well-known problem which has received much attention in the past. Most previous wo...