3038 search results - page 304 / 608 » Controlling Engineering Problem Solving |
183
click to vote
COMSWARE
2006
IEEE
16 years 23 days ago
2006
IEEE
— In this paper, we propose a framework for fault repair in mobile sensor networks. A hierarchical structure which consists of replacement module, management policy module, knowl...
160
click to vote
FSTTCS
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Monolithic finite-state probabilistic programs have been abstractly modeled by finite Markov chains, and the algorithmic verification problems for them have been inves...
173
click to vote
FSTTCS
2004
Springer
16 years 2 days ago
2004
Springer
We consider the problem of determining whether a given set S in Rn is approximately convex, i.e., if there is a convex set K ∈ Rn such that the volume of their symmetric differe...
162
click to vote
ECCV
2010
Springer
16 years 1 days ago
2010
Springer
Abstract. In this paper we develop an algorithm for structured prediction that optimizes against complex performance measures, those which are a function of false positive and fals...
150
click to vote
ISCAS
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, the Simulated Evolution algorithm (SimE) is engineered to solve the optimization problem of multi-objective VLSI netlist bi-partitioning. The multi-objective versio...