Sciweavers

15792 search results - page 117 / 3159
» Computational Abstraction Steps
Sort
View
ISWC
2005
IEEE
15 years 11 months ago
Fine-Grained Activity Recognition by Aggregating Abstract Object Usage
Donald J. Patterson, Dieter Fox, Henry A. Kautz, M...
ASM
2005
ASM
15 years 11 months ago
Tools for System Validation with B Abstract Machines
Michael J. Butler, Michael Leuschel, Colin F. Snoo...
ICALP
2004
Springer
15 years 11 months ago
Deterministic M2M Multicast in Radio Networks: (Extended Abstract)
Leszek Gasieniec, Evangelos Kranakis, Andrzej Pelc...
ECOOPW
2003
Springer
15 years 11 months ago
Communication Abstractions for Distributed Systems
Antoine Beugnard, Ludger Fiege, Robert E. Filman, ...
SIGCSE
2008
ACM
169views Education» more  SIGCSE 2008»
15 years 5 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, ...