Sciweavers

2448 search results - page 51 / 490
» The Octahedron Abstract Domain
Sort
View
ADCM
2011
13 years 3 months ago
Perturbed preconditioned inverse iteration for operator eigenvalue problems with applications to adaptive wavelet discretization
ABSTRACT. In this paper we discuss an abstract iteration scheme for the calculation of the smallest eigenvalue of an elliptic operator eigenvalue problem. A short and geometric pro...
Thorsten Rohwedder, Reinhold Schneider, Andreas Ze...
AISC
2010
Springer
14 years 24 days ago
Adapting Mathematical Domain Reasoners
Abstract. Mathematical learning environments help students in mastering mathematical knowledge. Mature environments typically offer thousands of interactive exercises. Providing f...
Bastiaan Heeren, Johan Jeuring
CAISE
2004
Springer
14 years 1 months ago
Enriching Ontology Languages Adequacy for eBusiness Domain
Abstract. The definition of a domain ontology is a complex activity that requires two kinds of expertise: a deep knowledge of the domain to be modeled and a good level of familiari...
Michele Missikoff, Federica Schiappelli
BIRTHDAY
2008
Springer
13 years 10 months ago
From Domain to Requirements
This is a discursive paper. That is, it shows some formulas (but only as examples so that the reader may be convinced that there is, perhaps, some substance to our claims), no theo...
Dines Bjørner
CORR
2010
Springer
135views Education» more  CORR 2010»
13 years 8 months ago
Automatic derivation of domain terms and concept location based on the analysis of the identifiers
Abstract. Developers express the meaning of the domain ideas in specifically selected identifiers and comments that form the target implemented code. Software maintenance requires ...
Peter Václavík, Jaroslav Porubä...