1312 search results - page 172 / 263 » Formally Optimal Boxing |
113
click to vote
DAC
2004
ACM
16 years 3 months ago
2004
ACM
Reversible quantum logic plays an important role in quantum computing. In this paper, we propose an approach to optimally synthesize quantum circuits by symbolic reachability anal...
WWW
2009
ACM
16 years 2 months ago
2009
ACM
In this paper, we study a novel problem of staring people discovery from social networks, which is concerned with finding people who are not only authoritative but also sociable i...
102
click to vote
CAV
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Most specification languages express only qualitative constraints. However, among two implementations that satisfy a given specification, one may be preferred to another....
118
click to vote
KDD
2009
ACM
16 years 2 months ago
2009
ACM
The aim of data mining is to find novel and actionable insights in data. However, most algorithms typically just find a single (possibly non-novel/actionable) interpretation of th...
123
click to vote
SIGMOD
2005
ACM
16 years 2 months ago
2005
ACM
Monitoring aggregates on IP traffic data streams is a compelling application for data stream management systems. The need for exploratory IP traffic data analysis naturally leads ...