270 search results - page 31 / 54 » Programming with Intervals |
4OR
2010
13 years 5 months ago
2010
This a summary of the author's PhD thesis supervised by Leo Liberti, Philippe Baptiste and Daniel Krob and defended on 18 June 2009 at Ecole Polytechnique, Palaiseau, France. ...
ERSHOV
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. The article concerns problems of formulating standard requirements to implementations of mathematical functions working with floating-point numbers and conformance test ...
GI
2007
Springer
14 years 28 days ago
2007
Springer
: In this article we advocate an integrated approach for the automation of module or software integration testing and static analysis. It is illustrated how funmethods of static an...
ICRA
2005
IEEE
14 years 11 days ago
2005
IEEE
- We previously proposed a new 3D form display actuated by shape memory alloy (SMA), which is capable of displaying large scale objects sequentially. Based on our devised method, o...
ISIPTA
2005
IEEE
14 years 10 days ago
2005
IEEE
This paper discusses decision making in the practically important situation where only partial prior information on the stochastic behavior of the states of nature expressed by im...