1176 search results - page 159 / 236 » Implicit Abstraction Heuristics |
104
Voted
APPROX
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Markov random fields are often used to model high dimensional distributions in a number of applied areas. A number of recent papers have studied the problem of reconstruc...
89
Voted
CONEXT
2008
ACM
15 years 2 months ago
2008
ACM
A foundational issue underlying many overlay network applications ranging from routing to peer-to-peer file sharing is that of connectivity management, i.e., folding new arrivals ...
92
Voted
FMCAD
2008
Springer
15 years 2 months ago
2008
Springer
Abstract-- This work presents a technology-independent synthesis optimization that is effective in reducing the total number of state elements of a design. It works by identifying ...
127
click to vote
ASAP
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Polynomial approximation is a very general technique for the evaluation of a wide class of numerical functions of one variable. This article details an architecture gener...
PDPTA
2007
15 years 2 months ago
2007
Abstract In this paper we investigate the composition of cheap network storage resources to meet specific availability and capacity requirements. We show that the problem of find...