3038 search results - page 304 / 608 » Controlling Engineering Problem Solving |
186
click to vote
COMSWARE
2006
IEEE
16 years 29 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...
163
click to vote
FSTTCS
2004
Springer
16 years 8 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...
183
Voted
FSTTCS
2004
Springer
16 years 8 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...
167
click to vote
ECCV
2010
Springer
16 years 7 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...
155
Voted
ISCAS
2003
IEEE
16 years 5 days 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...