9145 search results - page 1750 / 1829 » Description Logic Systems |
127
Voted
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
Optimal path queries are queries to obtain an optimal path specified by a given criterion of optimality. There have been many studies to give efficient algorithms for classes of o...
124
Voted
ICFP
2001
ACM
16 years 3 months ago
2001
ACM
Standard ML is a statically typed programming language that is suited for the construction of both small and large programs. "Programming in the small" is captured by St...
139
Voted
POPL
2010
ACM
16 years 24 days ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
113
Voted
ICCAD
2006
IEEE
16 years 9 days ago
2006
IEEE
Although many recent advances have been made in hardware synthesis techniques from software programming languages such as C, the performance of synthesized hardware commonly suffe...
125
Voted
ICCAD
2004
IEEE
16 years 9 days ago
2004
IEEE
edicate Abstraction and Induction Edmund Clarke Daniel Kroening June 25, 2004 CMU-CS-04-131 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 It is common...