1974 search results - page 202 / 395 » A Library System for Small-Scale Library |
127
Voted
ASP
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programmin...
100
click to vote
CC
2001
Springer
15 years 6 months ago
2001
Springer
This paper introduces design-driven compilation, an approach in which the compiler uses design information to drive its analysis and verify that the program conforms to its design....
108
click to vote
DATE
2000
IEEE
15 years 6 months ago
2000
IEEE
We integrate data and control flow at the system specification level, using the two specialized and well established languages Matlab and SDL. For this we provide a modeling techn...
97
Voted
DEXAW
2000
IEEE
15 years 6 months ago
2000
IEEE
With the massive advance of electronic document repositories, usable interfaces to these repositories gain importance. While sophisticated information retrieval techniques provide...
IPPS
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper presents a novel broadband multimedia service called TV-Anytime. The basic idea of this service is to store broadcast media assets onto media server systems and allow c...