1664 search results - page 28 / 333 » Towards Partial Reasoning |
77
Voted
PPSWR
2004
Springer
15 years 6 months ago
2004
Springer
123
Voted
LOPSTR
2004
Springer
15 years 6 months ago
2004
Springer
Offline partial evaluation techniques rely on an annotated version of the source program to control the specialisation process. These annotations guide the specialisation and have ...
103
Voted
CISS
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— It is well-known that perfect channel state information (CSI) at the transmitter and the receiver (CSIT/CSIR) can be used to decompose a multi-antenna channel into a ba...
107
Voted
CSL
2007
Springer
15 years 7 months ago
2007
Springer
We consider the problem of automating and checking the use of previously proved lemmas in the proof of some main theorem. In particular, we call the collection of such previously p...
115
Voted
ICLP
2007
Springer
15 years 7 months ago
2007
Springer
This paper describes the dlvhex SPARQL plugin, a query processor for the upcoming Semantic Web query language standard by W3C. We report on the implementation of this languages usi...