Sciweavers

1210 search results - page 130 / 242
» Specifying Precise Use Cases with Use Case Charts
Sort
View
AISC
2008
Springer
15 years 6 months ago
Validated Evaluation of Special Mathematical Functions
Because of the importance of special functions, several books and a large collection of papers have been devoted to the numerical computation of these functions, the most well-know...
Franky Backeljauw, Stefan Becuwe, Annie A. M. Cuyt
EVOW
2008
Springer
15 years 5 months ago
Enhancing Parameter Estimation of Biochemical Networks by Exponentially Scaled Search Steps
A fundamental problem of modelling in Systems Biology is to precisely characterise quantitative parameters, which are hard to measure experimentally. For this reason, it is common ...
Hendrik Rohn, Bashar Ibrahim, Thorsten Lenser, Tho...
CCCG
2003
15 years 5 months ago
Computing Delaunay Triangulation with Imprecise Input Data
The key step in the construction of the Delaunay triangulation of a finite set of planar points is to establish correctly whether a given point of this set is inside or outside t...
Ali Asghar Khanban, Abbas Edalat
ORL
2008
99views more  ORL 2008»
15 years 4 months ago
Some tractable instances of interval data minmax regret problems
This paper focuses on tractable instances of interval data minmax regret graph problems. More precisely, we provide polynomial and pseudopolynomial algorithms for sets of particul...
Bruno Escoffier, Jérôme Monnot, Olivi...
TCS
2008
15 years 4 months ago
Integration of a security type system into a program logic
Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensu...
Reiner Hähnle, Jing Pan, Philipp Rümmer,...