1760 search results - page 221 / 352 » A System to Mark Programs Automatically |
91
Voted
BIOSURVEILLANCE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The paper presents a description of the FMD BioPortal biosurveillance system (http://fmd.ucdavis.edu/bioportal/) that is currently operating to capture, analyze, and diss...
133
Voted
CONCUR
2000
Springer
15 years 7 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
115
Voted
ARC
2010
Springer
15 years 6 months ago
2010
Springer
As reconfigurable computing hardware and in particular FPGA-based systems-on-chip comprise an increasing number of processor and accelerator cores, supporting sharing and synchroni...
145
Voted
CSCW
2006
ACM
15 years 5 months ago
2006
ACM
Code management systems like Concurrent Version System (CVS) can play an important role in supporting coordination in software development, but often at some time removed from ori...
128
Voted
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract— We present an integrated vision and robotic system that plays, and learns to play, simple physically-instantiated board games that are variants of TIC TAC TOE and HEXAP...