4166 search results - page 394 / 834 » Automating the constraining process |
148
click to vote
CCECE
2006
IEEE
15 years 11 months ago
2006
IEEE
The goal of this paper is to present a new recipe for the fractal image decoding process. In this paper, we explain how fractal-based methods can be internally combined with regul...
157
click to vote
GLOBECOM
2006
IEEE
15 years 11 months ago
2006
IEEE
— This paper addresses learning based adaptive resource allocation for wireless MIMO channels with Markovian fading. The problem is posed as Constrained Markov Decision Process w...
150
click to vote
INFOCOM
2006
IEEE
15 years 11 months ago
2006
IEEE
— In this paper we consider the problem of query and search in a network, e.g., searching for a specific node or a piece of data. We limit our attention to the class of TTL (tim...
133
Voted
ISCAS
2006
IEEE
15 years 11 months ago
2006
IEEE
— All-solution Boolean satisfiability (SAT) solvers are engines employed to find all the possible solutions to a SAT problem. Their applications are found throughout the EDA in...
170
Voted
KBSE
2006
IEEE
15 years 11 months ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...