759 search results - page 23 / 152 » A Perspective on Knowledge Compilation |
MTV
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract— Owing to the recent trend of using applicationspecific instruction-set processors (ASIP), many Architecture Description Languages (ADLs) have been created. They specif...
AISC
2010
Springer
14 years 6 days ago
2010
Springer
We provide a perspective on the current state and possible future of links between symbolic mathematical computing and artificial intelligence, on the occasion of the 10th biennial...
IGPL
2006
13 years 7 months ago
2006
Diminishing awareness is a consequence of the information explosion: disciplines are becoming increasingly specialized; individuals and groups are becoming ever more insular. This...
SIGCSE
2006
ACM
14 years 1 months ago
2006
ACM
Traditional approaches to semester-long projects in compiler courses force students to implement the early stages of a compiler in depth; since many students fall behind, they hav...
CRV
2009
IEEE
14 years 2 months ago
2009
IEEE
Image-based modeling is a longstanding research topic in computer vision. Reconstruction based on a single image is a particularly difficult example. This paper presents a simple...