Sciweavers

1043 search results - page 83 / 209
» Using Function Generalization to Design a Cosequential Proce...
Sort
View
AH
2008
Springer
15 years 9 months ago
A Validation Framework for Formal Models in Adaptive Work-Integrated Learning
The focus of my thesis is on the development of a multi-method framework for the validation of formal models (domain model, user model, and teaching model) for adaptive work-integr...
Barbara Kump
ICCV
2007
IEEE
16 years 4 months ago
Population Shape Regression From Random Design Data
Regression analysis is a powerful tool for the study of changes in a dependent variable as a function of an independent regressor variable, and in particular it is applicable to t...
Bradley C. Davis, P. Thomas Fletcher, Elizabeth Bu...
111
Voted
STTT
1998
130views more  STTT 1998»
15 years 2 months ago
The Practitioner's Guide to Coloured Petri Nets
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...
Lars Michael Kristensen, Søren Christensen,...
115
Voted
GECCO
2005
Springer
154views Optimization» more  GECCO 2005»
15 years 8 months ago
The molecule evoluator: an interactive evolutionary algorithm for designing drug molecules
To help chemists design new drugs, we created a tool that uses interactive evolution to design drug molecules, the “Molecule Evoluator”. In contrast to most other evolutionary...
Eric-Wubbo Lameijer, Adriaan P. IJzerman, Joost N....
194
Voted
VLSISP
2011
358views Database» more  VLSISP 2011»
14 years 9 months ago
Accelerating Machine-Learning Algorithms on FPGAs using Pattern-Based Decomposition
Machine-learning algorithms are employed in a wide variety of applications to extract useful information from data sets, and many are known to suffer from superlinear increases in ...
Karthik Nagarajan, Brian Holland, Alan D. George, ...