344 search results - page 17 / 69 » Mathematical Programming Embeddings of Logic |
117
click to vote
KDD
2009
ACM
16 years 2 months ago
2009
ACM
Correlated or discriminative pattern mining is concerned with finding the highest scoring patterns w.r.t. a correlation measure (such as information gain). By reinterpreting corre...
130
click to vote
DAC
2002
ACM
16 years 2 months ago
2002
ACM
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
157
Voted
ICFP
2012
ACM
13 years 4 months ago
2012
ACM
Continuing a line of work by Abramsky (1994), by Bellin and Scott (1994), and by Caires and Pfenning (2010), among others, this paper presents CP, a calculus in which propositions...
106
click to vote
ATAL
2007
Springer
15 years 5 months ago
2007
Springer
This paper studies a logical framework for automated negotiation between two agents. We suppose an agent who has a knowledge base represented by a logic program. Then, we introduc...
111
click to vote
POPL
1999
ACM
15 years 6 months ago
1999
ACM
Watermarking embeds a secret message into a cover message. In media watermarking the secret is usually a copyright notice and the cover a digital image. Watermarking an object dis...