1453 search results - page 151 / 291 » A globally optimal algorithm for TTD-MDPs |
107
click to vote
ASPDAC
2007
ACM
15 years 5 months ago
2007
ACM
Abstract-- SAT sweeping is the process of merging two or more functionally equivalent nodes in a circuit by selecting one of them to represent all the other equivalent nodes. This ...
149
click to vote
SIAMIS
2010
14 years 8 months ago
2010
Simulated annealing (SA) and deterministic continuation are well-known generic approaches to global optimization. Deterministic continuation is computationally attractive but produ...
133
click to vote
CODES
2010
IEEE
14 years 10 months ago
2010
IEEE
This paper presents an approach to system-level optimization of error detection implementation in the context of fault-tolerant realtime distributed embedded systems used for safe...
151
click to vote
FGR
2011
IEEE
14 years 5 months ago
2011
IEEE
— In this work, we present novel warping algorithms for full 2D pixel-grid deformations for face recognition. Due to high variation in face appearance, face recognition is consid...
129
click to vote
INFOCOM
2006
IEEE
15 years 7 months ago
2006
IEEE
— This paper analyzes and designs medium access control (MAC) protocols for wireless ad-hoc networks through the network utility maximization (NUM) framework. We first reverse-e...