Sciweavers

15792 search results - page 117 / 3159

» Computational Abstraction Steps

36

ISWC
2005
IEEE

161views Human Computer Interaction» more ISWC 2005»

Fine-Grained Activity Recognition by Aggregating Abstract Object Usage

14 years 2 months ago

Fine-Grained Activity Recognition by Aggregating Abstract Object Usage

Download www.cs.washington.edu

Donald J. Patterson, Dieter Fox, Henry A. Kautz, M...

claim paper

Read More »

28

ASM
2005
ASM

116views Computational Biology» more ASM 2005»

Tools for System Validation with B Abstract Machines

14 years 2 months ago

Tools for System Validation with B Abstract Machines

Download rodin.cs.ncl.ac.uk

Michael J. Butler, Michael Leuschel, Colin F. Snoo...

claim paper

Read More »

17

ICALP
2004
Springer

99views Programming Languages» more ICALP 2004»

Deterministic M2M Multicast in Radio Networks: (Extended Abstract)

14 years 2 months ago

Deterministic M2M Multicast in Radio Networks: (Extended Abstract)

Download people.scs.carleton.ca

Leszek Gasieniec, Evangelos Kranakis, Andrzej Pelc...

claim paper

Read More »

16

ECOOPW
2003
Springer

92views Distributed And Parallel Com...» more ECOOPW 2003»

Communication Abstractions for Distributed Systems

14 years 2 months ago

Communication Abstractions for Distributed Systems

Download ti.arc.nasa.gov

Antoine Beugnard, Ludger Fiege, Robert E. Filman, ...

claim paper

Read More »

24

SIGCSE
2008
ACM

169views Education» more SIGCSE 2008»

APOGEE: automated project grading and instant feedback system for web based computing

13 years 9 months ago

APOGEE: automated project grading and instant feedback system for web based computing

Download people.hofstra.edu

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, ...

claim paper

Read More »

« Prev « First page 117 / 3159 Last » Next »