4421 search results - page 115 / 885 » Libraries |
ECAI
2006
Springer
15 years 5 months ago
2006
Springer
We present an approach to building libraries of tasks in complex action languages such as Golog, for query answering. Our formalization is based on a situation calculus framework t...
115
click to vote
ERCIMDL
2000
Springer
15 years 5 months ago
2000
Springer
The RePEc Economics library offers the largest distributed source of freely downloadable scientific research reports in the world. RePEc also contains details about Economics inst...
103
click to vote
DAC
1997
ACM
15 years 5 months ago
1997
ACM
This paper describes a fully automatic standard-cell layout synthesis system, CELLERITY. The system is flexible in supporting a wide variety of process technologies and a range of...
DL
1995
Springer
15 years 5 months ago
1995
Springer
: A large amount of computing literature has become available over the Internet, as university departments and research institutions have made their technical reports, preprints, a...
AMAST
2008
Springer
15 years 3 months ago
2008
Springer
We demonstrate Spiral, a domain-specific library generation system. Spiral generates high performance source code for linear transforms (such as the discrete Fourier transform and ...