Sciweavers

5578 search results - page 680 / 1116
» Base Class Injection
Sort
View
JELIA
2000
Springer
15 years 10 months ago
Considerations on Updates of Logic Programs
Abstract. Among others, Alferes et al. (1998) presented an approach for updating logic programs with sets of rules based on dynamic logic programs. We syntactically redefine dynami...
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha...
KONVENS
2000
15 years 10 months ago
Evaluating Metrical Phonology - a Computational- Empirical Approach
This study aims at providing an empirical basis for the evaluation of predictions made by metrical phonology. The predictions are compared to perceptual syllable prominence annota...
Patra S. Wagner
APN
1997
Springer
15 years 10 months ago
Verification of Workflow Nets
Abstract. Workflow management systems will change the architecture of future information systems dramatically. The explicit representation of business procedures is one of the main...
Wil M. P. van der Aalst
PARA
2000
Springer
15 years 10 months ago
Runtime Adaptation of an Iterative Linear System Solution to Distributed Environments
Abstract. Distributed cluster environments are becoming popular platforms for high performance computing in lieu of single-vendor supercomputers. However, the reliability and susta...
Masha Sosonkina
162
Voted
RT
2000
Springer
15 years 10 months ago
Metropolis Light Transport for Participating Media
Abstract. In this paper we show how Metropolis Light Transport can be extended both in the underlying theoretical framework and the algorithmic implementation to incorporate volume...
Mark Pauly, Thomas Kollig, Alexander Keller