9405 search results - page 1749 / 1881 » Computing a Model of Set Theory |
128
Voted
ECIR
2009
Springer
16 years 1 months ago
2009
Springer
Opinion finding is a challenging retrieval task, where it has been shown that it is especially difficult to improve over a strongly performing topic-relevance baseline. In this pa...
112
click to vote
ICCAD
2005
IEEE
16 years 25 days ago
2005
IEEE
— In this paper we propose an exact algorithm that maximizes the sharing of partial terms in Multiple Constant Multiplication (MCM) operations. We model this problem as a Boolean...
120
Voted
ICCAD
2003
IEEE
16 years 25 days ago
2003
IEEE
Heuristics are widely used for solving computational intractable synthesis problems. However, until now, there has been limited effort to systematically develop heuristics that ca...
154
click to vote
PERCOM
2009
ACM
15 years 10 months ago
2009
ACM
Abstract—In this paper, we introduce the cellphonebased indirect sensing problem. While participatory sensing aims at monitoring of a phenomenon by deploying a dense set of senso...
127
Voted
CCS
2009
ACM
15 years 10 months ago
2009
ACM
Role mining algorithms address an important access control problem: configuring a role-based access control system. Given a direct assignment of users to permissions, role mining...