Sciweavers

BMCBI
2006
165views more  BMCBI 2006»
13 years 5 months ago
Improved variance estimation of classification performance via reduction of bias caused by small sample size
Background: Supervised learning for classification of cancer employs a set of design examples to learn how to discriminate between tumors. In practice it is crucial to confirm tha...
Ulrika Wickenberg-Bolin, Hanna Göransson, M&a...
ENTCS
2008
106views more  ENTCS 2008»
13 years 5 months ago
Modelling Adaptive Systems in ForSyDe
Emerging architectures such as partially reconfigurable FPGAs provide a huge potential for adaptivity in the area of embedded systems. Since many system functions are only execute...
Ingo Sander, Axel Jantsch
AIS
2006
Springer
13 years 5 months ago
Making games for social change
This paper provides an overview of creating games for change from within an academic context, focusing specifically on the development of educational computer games for middle scho...
Mary Flanagan
AIEDU
2006
78views more  AIEDU 2006»
13 years 5 months ago
CARSS: A Framework for Learner-Centred Design with Children
Learner-centred design (LCD) is a nebulous concept. It can range from attempts to design with the needs of the learner at the forefront, to involving the learner at various stages ...
Judith Good, Judy Robertson
AIEDAM
2006
89views more  AIEDAM 2006»
13 years 5 months ago
Design space exploration revisited
Design involves reasoning about descriptions of design artefacts, reasoning about design requirements and reasoning about design process objectives (such as keeping to deadlines an...
Pieter H. G. van Langen, Frances M. T. Brazier
ECEASST
2008
87views more  ECEASST 2008»
13 years 5 months ago
Visual Design and Reasoning with the Use of Hypergraph Transformations
: This paper deals with visual design and reasoning. A visual language with its internal representation in the form of attributed hierarchical hypergraphs is discussed. Hypergraph ...
Ewa Grabska, Grazyna Maria Slusarczyk, Truong Lan ...
DM
2008
80views more  DM 2008»
13 years 5 months ago
On affine designs and Hadamard designs with line spreads
Rahilly [10] described a construction that relates any Hadamard design H on 4m -1 points with a line spread to an affine design having the same parameters as the classical design ...
Vassili C. Mavron, T. P. McDonough, Vladimir D. To...
DM
2008
56views more  DM 2008»
13 years 5 months ago
Point-weight designs with design conditions on t points
This paper examines some of the properties of point-weight incidence structures, i.e. incidence structures for which every point is assigned a positive integer weight. In particul...
Alexander W. Dent
ENTCS
2010
173views more  ENTCS 2010»
13 years 5 months ago
A Boolean Algebra of Contracts for Assume-guarantee Reasoning
Contract-based design is an expressive paradigm for a modular and compositional specification of programs. It is in turn becoming a fundamental concept in mainstream industrial co...
Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin,...
ECCC
2010
89views more  ECCC 2010»
13 years 5 months ago
Lower bounds for designs in symmetric spaces
A design is a finite set of points in a space on which every "simple" functions averages to its global mean. Illustrative examples of simple functions are low-degree pol...
Noa Eidelstein, Alex Samorodnitsky