6456 search results - page 872 / 1292 » Constraint Solving on Terms |
198
click to vote
ISLPED
2009
ACM
16 years 1 months ago
2009
ACM
Many techniques for power management employed in advanced RTL synthesis tools rely explicitly or implicitly on observability don’t-care (ODC) conditions. In this paper we presen...
194
click to vote
RECSYS
2009
ACM
16 years 1 months ago
2009
ACM
Current conversational recommender systems are unable to offer guarantees on the quality of their recommendations due to a lack of principled user utility models. We develop an ap...
183
click to vote
SACMAT
2009
ACM
16 years 1 months ago
2009
ACM
Collaborative and distributed applications, such as dynamic coalitions and virtualized grid computing, often require integrating access control policies of collaborating parties. ...
166
Voted
SIGCOMM
2009
ACM
16 years 1 months ago
2009
ACM
Network management operations are complicated, tedious and error-prone, requiring significant human involvement and expert knowledge. In this paper, we first examine the fundame...
198
click to vote
CISS
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper, we study the problem of distributed detection in the presence of unknown carrier frequency offset (CFO) and initial phase, the issue we encounter in the emerging...