3229 search results - page 219 / 646 » Mixing |
148
Voted
LICS
2012
IEEE
13 years 5 months ago
2012
IEEE
—Interactive theorem provers based on higher-order logic (HOL) traditionally follow the definitional approach, reducing high-level specifications to logical primitives. This al...
133
Voted
DAC
2009
ACM
16 years 4 months ago
2009
ACM
Retiming and recycling are two transformations used to optimize the performance of latency-insensitive (a.k.a. synchronous elastic) systems. This paper presents an approach that c...
105
click to vote
ICML
2008
IEEE
16 years 4 months ago
2008
IEEE
In apprenticeship learning, the goal is to learn a policy in a Markov decision process that is at least as good as a policy demonstrated by an expert. The difficulty arises in tha...
ICML
2002
IEEE
16 years 4 months ago
2002
IEEE
We investigate the following problem: Given a set of documents of a particular topic or class ?, and a large set ? of mixed documents that contains documents from class ? and othe...
114
Voted
WWW
2008
ACM
16 years 4 months ago
2008
ACM
This paper reports the estimated number of spam blogs in order to assess their current state in the blogosphere. To extract spam blogs, I developed a traversal method among co-cit...