3001 search results - page 563 / 601 » Recursive type generativity |
143
click to vote
AFRIGRAPH
2010
ACM
15 years 5 months ago
2010
ACM
Aligning structures, often referred to as docking or registration, is frequently required in fields such as computer science, robotics and structural biology. The task of alignin...
107
click to vote
APCHI
2004
IEEE
15 years 5 months ago
2004
IEEE
The convergence of mobile technology and e-learning has generated considerable excitement among both practitioners and academics. Mass media continually promotes novel idea about m...
140
click to vote
DATE
2004
IEEE
15 years 5 months ago
2004
IEEE
Code optimization and high level synthesis can be posed as constraint satisfaction and optimization problems, such as graph coloring used in register allocation. Graph coloring is...
132
click to vote
ECAI
2004
Springer
15 years 5 months ago
2004
Springer
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...
143
click to vote
ESCIENCE
2006
IEEE
15 years 5 months ago
2006
IEEE
We view scientific workflows as the domain scientist's way to harness cyberinfrastructure for e-Science. Domain scientists are often interested in "end-to-end" fram...