Sciweavers

4218 search results - page 228 / 844
» Complete sets of cooperations
Sort
View
119
Voted
CORR
2010
Springer
97views Education» more  CORR 2010»
15 years 24 days ago
Continuation-Passing C, compiling threads to events through continuations
Abstract In this paper, we introduce Continuation Passing C (CPC), a programming language for concurrent systems in which native and cooperative threads are unified and presented t...
Gabriel Kerneis, Juliusz Chroboczek
JAR
2008
107views more  JAR 2008»
15 years 21 days ago
Differential Dynamic Logic for Hybrid Systems
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equat...
André Platzer
83
Voted
CE
2005
58views more  CE 2005»
15 years 18 days ago
Does ICT contribute to powerful learning environments in primary education?
In powerful learning environments, rich contexts and authentic tasks are presented to pupils. Active, autonomous and co-operative learning is stimulated, and the curriculum is ada...
Ed Smeets
ETS
2002
IEEE
146views Hardware» more  ETS 2002»
15 years 15 days ago
Teaching Motor Disability Assessment over the Web: MODASPECTRA
MODASPECTRA (MOtor Disability Assessment SPEcialists' TRAining) was a research and technology development project aimed at developing quality teaching and training of post-gr...
Salvatore Valenti, Sandro Fioretti, Maurizio Mauri...
104
Voted
ICRA
2010
IEEE
177views Robotics» more  ICRA 2010»
14 years 11 months ago
Fusion of laser and vision for multiple targets tracking via on-line learning
— Multi-target tracking becomes significantly more challenging when the targets are in close proximity or frequently interact with each other. This paper presents a promising tr...
Xuan Song, Huijing Zhao, Jinshi Cui, Xiaowei Shao,...