Sciweavers

13099 search results - page 250 / 2620
» Cooperative method development
Sort
View
ICALT
2009
IEEE
16 years 29 days ago
Towards a Unified Format for Describing Teaching Methods
This paper reports developments on a best description template for teaching methods, whose descriptive elements will eventually be mapped to the elements of the IMS Learning Desig...
Michael Derntl, Susanne Neumann, Petra Oberhuemer
ISOLA
2010
Springer
15 years 4 months ago
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
Reiner Hähnle
GECCO
2007
Springer
196views Optimization» more  GECCO 2007»
16 years 11 days ago
Optimal nesting of species for exact cover of resources: two against many
The application of resource-defined fitness sharing (RFS) to shape nesting problems reveals a remarkable ability to discover tilings [7, 8]. These tilings represent exact covers...
Jeffrey Horn
GECCO
2006
Springer
132views Optimization» more  GECCO 2006»
15 years 10 months ago
The role of diverse populations in phylogenetic analysis
The most popular approaches for reconstructing phylogenetic trees attempt to solve NP-hard optimization criteria such as maximum parsimony (MP). Currently, the bestperforming heur...
Tiffani L. Williams, Marc L. Smith
DEXAW
2003
IEEE
117views Database» more  DEXAW 2003»
15 years 11 months ago
Toward Hypermedia Design Methods for the Semantic Web
Hypermedia design methods have been proposed for the development of hypermedia and web applications. Nowadays, we face up to another challenge, the Semantic Web, in order to repre...
Susana Montero, Paloma Díaz, Ignacio Aedo, ...