Sciweavers

2941 search results - page 244 / 589
» The Myth of the Educational Computer
Sort
View
SIGCSE
2002
ACM
131views Education» more  SIGCSE 2002»
15 years 6 months ago
Integrating a simulation case study into CS2: developing design, empirical and analysis skills
Case studies are widely used in business and medicine to help students learn from the successes and failures of practitioners in the field. This paper discusses the potential bene...
Kay A. Robbins, Catherine Sauls Key, Keith Dickins...
CORR
2010
Springer
91views Education» more  CORR 2010»
15 years 6 months ago
Ultrametric watersheds: a bijection theorem for hierarchical edge-segmentation
Abstract. We study hierachical segmentation in the framework of edgeweighted graphs. We define ultrametric watersheds as topological watersheds null on the minima. We prove that th...
Laurent Najman
CORR
2010
Springer
138views Education» more  CORR 2010»
15 years 5 months ago
Feedback control logic synthesis for non safe Petri nets
– This paper addresses the problem of forbidden states of non safe Petri Net (PN) modelling discrete events systems. To prevent the forbidden states, it is possible to use condit...
Abbas Dideban, Hassane Alla
CORR
2010
Springer
124views Education» more  CORR 2010»
15 years 4 months ago
Lattice model refinement of protein structures
To find the best lattice model representation of a given full atom protein structure is a hard computational problem. Several greedy methods have been suggested where results are ...
Martin Mann, Alessandro Dal Palù
CORR
2010
Springer
58views Education» more  CORR 2010»
15 years 4 months ago
Towards Theory of Massive-Parallel Proofs. Cellular Automata Approach
In the paper I sketch a theory of massively parallel proofs using cellular automata presentation of deduction. In this presentation inference rules play the role of cellular-autom...
Andrew Schumann