Sciweavers

DAGSTUHL
2003
14 years 1 months ago
Generating Kummer Type Formulas for Hypergeometric Functions
Abstract. Kummer type formulas are identities of hypergeometric series. A symmetry by the permutations of n-letters yields these formulas. We will present an algorithmic method to ...
Nobuki Takayama
DAGSTUHL
2003
14 years 1 months ago
Global Optimization in the COCONUT Project
In this article, a solver platform for global optimization is presented, as it is developed in the COCONUT project. After a short
Hermann Schichl
DAGSTUHL
2003
14 years 1 months ago
Localizing vector field topology
Gerik Scheuermann, Bernd Hamann, Kenneth I. Joy, W...
DAGSTUHL
2003
14 years 1 months ago
A data model for adaptive multi-resolution scientific data
Abstract Representing data using multiresolution is a valuable tool for the interactive exploration of very large datasets. Current multiresolution tools are written specifically ...
Philip J. Rhodes, R. Daniel Bergeron, Ted M. Sparr
DAGSTUHL
2003
14 years 1 months ago
Policies: Giving Users Control over Calls
Abstract. Features provide extensions to a basic service, but in new systems users require much greater flexibility oriented towards their needs. Traditional features do not easil...
Stephan Reiff-Marganiec
DAGSTUHL
2003
14 years 1 months ago
Static Analysis-Based Validation of Floating-Point Computations
Sylvie Putot, Eric Goubault, Matthieu Martel
DAGSTUHL
2003
14 years 1 months ago
Computing Triangulations Using Oriented Matroids
Julian Pfeifle, Jörg Rambau
DAGSTUHL
2003
14 years 1 months ago
Embodied Artificial Intelligence: Trends and Challenges
Abstract. The field of Artificial Intelligence, which started roughly half a century ago, has a turbulent history. In the 1980s there has been a major paradigm shift towards embodi...
Rolf Pfeifer, Fumiya Iida
DAGSTUHL
2003
14 years 1 months ago
Traceability and Evaluation in Scenario Analysis by Use Case Maps
The Use Case Map (UCM) scenario notation has some strong features related to rapid capture and evaluation of requirements models. In this paper, we explain how a UCM model was deve...
Dorin Bogdan Petriu, Daniel Amyot, C. Murray Woods...