5275 search results - page 114 / 1055 » Computing by observing |
125
click to vote
COMPSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
ion Abstracts Zizhan Zheng, Qianxiang Wang, Gang Huang and Hong Mei. Design and Implementation of the Load Balancing Mechanism in PKUAS (in Chinese). ACTA ELECTRONICA SINICA, 32(12...
118
click to vote
CONCUR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We propose a framework for model-based diagnosis of systems with mobility and variable topologies, modelled as graph transformation systems. Generally speaking, model-bas...
139
Voted
SIGCSE
2006
ACM
15 years 9 months ago
2006
ACM
This paper describes Scavenger Hunt, a team-based orientation activity for incoming freshmen in the Department of Computer Science at the University of Illinois at Urbana-Champaig...
246
Voted
POPL
2009
ACM
16 years 4 months ago
2009
ACM
This paper describes an inter-procedural technique for computing symbolic bounds on the number of statements a procedure executes in terms of its scalar inputs and user-defined qu...
150
click to vote
ICPR
2006
IEEE
16 years 4 months ago
2006
IEEE
Modern interactive computer games provide the ability to objectively record complex human behavior, offering a variety of interesting challenges to the pattern-recognition communi...