1075 search results - page 39 / 215 » On Singular Interval Systems |
130
Voted
ARITH
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents a set of tools for mechanical reasoning of numerical bounds using interval arithmetic. The tools implement two techniques for reducing decorrelation: interval ...
157
click to vote
ISSS
2000
IEEE
15 years 8 months ago
2000
IEEE
Timing and power consumption of embedded systems are state and input data dependent. Formal analysis of such dependencies leads to intervals rather than single values. These inter...
140
click to vote
EUROGP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. When researchers make alterations to the genetic programming algorithm they almost invariably wish to measure the change in performance of the evolutionary system. No one...
138
Voted
AUTOMATICA
2008
15 years 4 months ago
2008
This paper presents a new numerical algorithm based on interval analysis able to prove that a differentiable function f : A Rn Rn is injective. This algorithm also performs a par...
128
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Arithmetic constraints on integer intervals are supported in many constraint programming systems. We study here a number of approaches to implement constraint propagation for thes...