5202 search results - page 12 / 1041 » A Survey of Human Computation Systems |
FSTTCS
2010
Springer
14 years 7 months ago
2010
Springer
This paper describes a project that aims at showing that propositional proofs of certain tautologies in weak proof system give upper bounds on the computational complexity of func...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
The increasing relevance of areas such as real-time and embedded systems, pervasive computing, hybrid systems control, and biological and social systems modeling is bringing a gro...
BMCBI
2008
14 years 9 months ago
2008
Background: Genome survey sequences (GSS) offer a preliminary global view of a genome since, unlike ESTs, they cover coding as well as non-coding DNA and include repetitive region...
63
Voted
ICCAD
1998
IEEE
15 years 1 months ago
1998
IEEE
We survey the state-of-the-art in real-time operating systems (RTOSs) from the system synthesis point of view. RTOSs have a very long research history which provides important the...
ICMI
2007
Springer
15 years 3 months ago
2007
Springer
Automated analysis of human affective behavior has attracted increasing attention from researchers in psychology, computer science, linguistics, neuroscience, and related discipli...