455 search results - page 15 / 91 » Understanding Counterexamples with explain |
BMCBI
2007
14 years 11 months ago
2007
The bio-ontology community falls into two camps: first we have biology domain experts, who actually hold the knowledge we wish to capture in ontologies; second, we have ontology s...
PLDI
2011
ACM
14 years 1 months ago
2011
ACM
Exploiting today’s multiprocessors requires highperformance and correct concurrent systems code (optimising compilers, language runtimes, OS kernels, etc.), which in turn requir...
FPLAY
2008
15 years 20 days ago
2008
Based on research that studied the challenges and difficulties faced by students taking games studies and game design courses, we propose that, while many students enrolled in gam...
HICSS
2008
IEEE
15 years 5 months ago
2008
IEEE
Information systems (IS) research often attempts to examine and explain how technology leads to outcomes through usage of information technology (IT). Although extensive research ...
JECR
2002
14 years 10 months ago
2002
An in-depth understanding of human factors in web-based interaction requires a methodology which enables researchers to chart online actions, understand the cognitive processes gu...