Sciweavers

2941 search results - page 237 / 589
» The Myth of the Educational Computer
Sort
View
CORR
2010
Springer
72views Education» more  CORR 2010»
15 years 6 months ago
Porting Decision Tree Algorithms to Multicore using FastFlow
The whole computer hardware industry embraced multicores. For these machines, the extreme optimisation of sequential algorithms is no longer sufficient to squeeze the real machine ...
Marco Aldinucci, Salvatore Ruggieri, Massimo Torqu...
CORR
2010
Springer
58views Education» more  CORR 2010»
15 years 6 months ago
Soundly Handling Static Fields: Issues, Semantics and Analysis
Although in most cases class initialization works as expected, some static fields may be read before being initialized, despite being initialized in their corresponding class init...
Laurent Hubert, David Pichardie
CORR
2008
Springer
78views Education» more  CORR 2008»
15 years 6 months ago
3D/4D ultrasound registration of bone
Abstract--This paper presents a method to reduce the invasiveness of Computer Assisted Orthopaedic Surgery (CAOS) using ultrasound. In this goal, we need to develop a method for 3D...
Jonathan Schers, Jocelyne Troccaz, Vincent Daanen,...
CORR
2008
Springer
111views Education» more  CORR 2008»
15 years 6 months ago
On the decomposition of k-valued rational relations
We give a new, and hopefully more easily understandable, structural proof of the decomposition of a k-valued transducer into k unambiguous functional ones, a result established by...
Jacques Sakarovitch, Rodrigo de Souza
CORR
2008
Springer
74views Education» more  CORR 2008»
15 years 6 months ago
Shortest Vertex-Disjoint Two-Face Paths in Planar Graphs
Abstract. Let G be a directed planar graph of complexity n, each arc having a nonnegative length. Let s and t be two distinct faces of G; let s1, . . . , sk be vertices incident wi...
Éric Colin de Verdière, Alexander Sc...