1712 search results - page 200 / 343 » Assistive technology in computer science |
184
click to vote
BIRTHDAY
2005
Springer
15 years 12 months ago
2005
Springer
Propositional reasoning (SAT) is an essential part of many reasoning tasks. Many problems in computer science can be compiled to SAT and then effectively decided using state-of-th...
171
click to vote
ESWS
2005
Springer
15 years 12 months ago
2005
Springer
—Grid computing offers significant enhancements to our capabilities for computation, information processing and collaboration, and has exciting ambitions in many fields of endeav...
187
click to vote
ESCIENCE
2006
IEEE
15 years 10 months ago
2006
IEEE
Workflow is a key technology for eScience. It enables scientific tools to be composed and the resulting workflows to be managed. Workflow and most other computing tools typically ...
181
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
The confluence of virtual reality and artificial life, an emerging discipline that spans the computational and biological sciences, has yielded synthetic worlds inhabited by reali...
208
click to vote
ISICT
2004
15 years 7 months ago
2004
The IPACS-project (Integrated Performance Analysis of Computer Systems) was founded by the Federal Department of Education, Science, Research and Technology (BMBF) in the program ...