6740 search results - page 979 / 1348 » Using Classification as a Programming Language |
175
click to vote
BIRTHDAY
2003
Springer
16 years 22 hour ago
2003
Springer
We provide a translation from CTL to Datalog¬ Succ. The translation has the following advantages: a) It is natural. b) It provides intuition to the expressive power of CTL and it...
189
click to vote
ICALP
2003
Springer
16 years 5 hour ago
2003
Springer
We are given a set of jobs each has a processing time, a non-negative weight, a set of possible time intervals in which it can be processed and a cost. The goal is to schedule a f...
169
click to vote
IFIP
2003
Springer
16 years 29 min ago
2003
Springer
This paper introduces a method that computes an estimation of the bit error rate (BER) based on the RAKE receiver soft output only. For this method no knowledge is needed about the...
179
click to vote
FCCM
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes the implementation of an automatic target recognition ATR Probing algorithm on a recon gurable system, using the SA-C programming language and optimizing co...
184
click to vote
LOPSTR
2009
Springer
15 years 11 months ago
2009
Springer
In this paper, we propose an approach for automated test case generation based on techniques from constraint programming (CP). We advocate the use of standard CP search strategies ...