2206 search results - page 241 / 442 » On the power of coercion abstraction |
173
click to vote
MP
2006
15 years 6 months ago
2006
Abstract. Interval analysis is a powerful tool which allows to design branch-and-bound algorithms able to solve many global optimization problems. In this paper we present new adap...
176
click to vote
TCS
2008
15 years 6 months ago
2008
We introduce an LTL-like logic with atomic formulae built over a constraint language interpreting variables in Z. The constraint language includes periodicity constraints, comparis...
180
click to vote
TEC
2008
15 years 6 months ago
2008
Abstract--The complexity of the selection procedure of a genetic algorithm that requires reordering, if we restrict the class of the possible fitness functions to varying fitness f...
134
click to vote
TROB
2008
15 years 6 months ago
2008
Abstract--This paper presents the design of a gas-actuated anthropomorphic arm prosthesis with 21 degrees of freedom and nine independent actuators. The prosthesis utilizes the mon...
186
click to vote
TVLSI
2008
15 years 6 months ago
2008
Abstract--A distributed on-chip decoupling capacitor network is proposed in this paper. A system of distributed on-chip decoupling capacitors is shown to provide an efficient solut...