Sciweavers

3885 search results - page 487 / 777
» Clarifying Goal Models
Sort
View
JUCS
2007
91views more  JUCS 2007»
15 years 6 months ago
Generative Instructional Engineering of Competence Development Programmes
: Competence development programmes are collections of units of learning and learning activities used to increase the overall effective performance of a learner within a certain ta...
Juan Manuel Dodero, Salvador Sánchez Alonso...
DATAMINE
1999
81views more  DATAMINE 1999»
15 years 6 months ago
The Role of Occam's Razor in Knowledge Discovery
Many KDD systems incorporate an implicit or explicit preference for simpler models, but this use of "Occam's razor" has been strongly criticized by several authors (...
Pedro Domingos
PAMI
1998
131views more  PAMI 1998»
15 years 6 months ago
Characterization of Neuropathological Shape Deformations
—We present a framework for analyzing the shape deformation of structures within the human brain. A mathematical model is developed describing the deformation of any brain struct...
John Martin, Alex Pentland, Stan Sclaroff, Ron Kik...
IEE
2010
136views more  IEE 2010»
15 years 5 months ago
Assume-guarantee verification of software components in SOFA 2 framework
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
Pavel Parizek, Frantisek Plasil
MSOM
2010
77views more  MSOM 2010»
15 years 5 months ago
To Wave or Not to Wave? Order Release Policies for Warehouses with an Automated Sorter
Wave-based release policies are prevalent in warehouses with an automated sorter, and take different forms depending on how much waves overlap and whether the sorter is split for...
Jérémie Gallien, Théophane We...