1002 search results - page 28 / 201 » A Computer Aided Grading System for Subjective Tests |
126
Voted
DAC
2002
ACM
16 years 4 months ago
2002
ACM
A central problem in functional verification is to check that a circuit block is producing correct outputs while enforcing that the environment is providing legal inputs. To attac...
142
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
The standard language for describing the asymptotic behavior of algorithms is theoretical computational complexity. We propose a method for describing the asymptotic behavior of p...
128
click to vote
IWANN
2009
Springer
15 years 10 months ago
2009
Springer
A Brain-Computer Interface (BCI) application focused on the control of a wheelchair must consider the danger which a wrong command would involve in a real situation. Virtual realit...
123
Voted
FORTE
1998
15 years 5 months ago
1998
Test generation and execution are often hampered by the large state spaces of the systems involved. In automata (or transition system) based test algorithms, taking advantage of s...
160
Voted
CCS
2008
ACM
15 years 5 months ago
2008
ACM
We describe the design and implementation of Privacy Oracle, a system that reports on application leaks of user information via the network traffic that they send. Privacy Oracle ...