Sciweavers

1043 search results - page 83 / 209
» Using Function Generalization to Design a Cosequential Proce...
Sort
View
AH
2008
Springer
15 years 11 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 6 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...
STTT
1998
130views more  STTT 1998»
15 years 4 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,...
GECCO
2005
Springer
154views Optimization» more  GECCO 2005»
15 years 10 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....
VLSISP
2011
358views Database» more  VLSISP 2011»
14 years 11 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, ...