Sciweavers

15792 search results - page 117 / 3159
» Computational Abstraction Steps
Sort
View
150
Voted
ISWC
2005
IEEE
15 years 9 months ago
Fine-Grained Activity Recognition by Aggregating Abstract Object Usage
Donald J. Patterson, Dieter Fox, Henry A. Kautz, M...
104
Voted
ASM
2005
ASM
15 years 9 months ago
Tools for System Validation with B Abstract Machines
Michael J. Butler, Michael Leuschel, Colin F. Snoo...
79
Voted
ICALP
2004
Springer
15 years 9 months ago
Deterministic M2M Multicast in Radio Networks: (Extended Abstract)
Leszek Gasieniec, Evangelos Kranakis, Andrzej Pelc...
108
Voted
ECOOPW
2003
Springer
15 years 9 months ago
Communication Abstractions for Distributed Systems
Antoine Beugnard, Ludger Fiege, Robert E. Filman, ...
131
Voted
SIGCSE
2008
ACM
169views Education» more  SIGCSE 2008»
15 years 3 months ago
APOGEE: automated project grading and instant feedback system for web based computing
Providing consistent, instant, and detailed feedback to students has been a big challenge in teaching Web based computing, given the complexity of project assignments and the comp...
Xiang Fu, Boris Peltsverger, Kai Qian, Lixin Tao, ...