2149 search results - page 272 / 430 » Form over Substance |
156
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
A key factor that can dramatically reduce the search space during constraint solving is the criterion under which the variable to be instantiated next is selected. For this purpos...
150
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
164
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In this paper an improved version of the graded precision localization algorithm GRADELOC, called IGRADELOC is proposed. The performance of GRADELOC is dependent on the regions fo...
172
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Mining frequent itemsets is a popular method for finding associated items in databases. For this method, support, the co-occurrence frequency of the items which form an associatio...
176
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The problem of joint source-channel coding in transmitting independent sources over interference channels with correlated receiver side information is studied. When each receiver ...