Sciweavers

4839 search results - page 321 / 968
» Providing SCORM with adaptivity
Sort
View
ENDM
2010
91views more  ENDM 2010»
15 years 4 months ago
Climbing discrepancy search for flowshop and jobshop scheduling with time lags
This paper addresses the jobshop and the flowshop scheduling problems with minimum and maximum time lags. To solve this kind of problems, we propose adaptations of Climbing Discre...
Wafa Karoui, Marie-José Huguet, Pierre Lope...
ISSE
2010
15 years 1 months ago
Coloured Petri net refinement specification and correctness proof with Coq
In this work, we address the formalisation of symmetric nets, a subclass of coloured Petri nets, refinement in COQ. We first provide a formalisation of the net models, and of thei...
Christine Choppy, Micaela Mayero, Laure Petrucci
ICPR
2008
IEEE
16 years 8 months ago
Growing neural gas for temporal clustering
Conventional clustering techniques provide a static snapshot of each vector's commitment to every group. With additive datasets, however, existing methods may not be sufficie...
Isaac J. Sledge, James M. Keller
ICIP
2009
IEEE
16 years 7 months ago
Physics-based Illuminant Color Estimation As An Image Semantics Clue
Most algorithms for extracting illuminant chromaticity from arbitrary images, such as the images found on the web, are based on machine learning techniques. We will show how a phy...
IAT
2009
IEEE
16 years 1 months ago
Reinventing the Web Browser for the Semantic Web
—The paper extends the traditional browser concept with a Semantic Web tailored faceted browser thus providing integrated end-user grade support for both legacy Web and Semantic ...
Michal Tvarozek, Mária Bieliková