Sciweavers

3128 search results - page 383 / 626
» Finite element method
Sort
View
SAS
1991
Springer
15 years 8 months ago
Polymorphic Time Systems for Estimating Program Complexity
We present a new approach to static program analysis that permits each expression in a program to be assigned an execution time estimate. Our approach uses a time system in conjun...
Vincent Dornic, Pierre Jouvelot, David K. Gifford
AAAI
2008
15 years 7 months ago
Grounding with Bounds
Grounding is the task of reducing a first-order theory to an equivalent propositional one. Typical grounders work on a sentence-by-sentence level, substituting variables by domain...
Johan Wittocx, Maarten Mariën, Marc Denecker
GRAPHICSINTERFACE
2007
15 years 6 months ago
Twinned meshes for dynamic triangulation of implicit surfaces
We introduce a new approach to mesh an animated implicit surface for rendering. Our contribution is a method which solves stability issues of implicit triangulation, in the scope ...
Antoine Bouthors, Matthieu Nesme
PDPTA
2008
15 years 6 months ago
Dynamic Aspect-Oriented Load Balancing in Java RMI
Load balancing is the process of distributing client requests over a set of servers, and is a key element of obtaining good performance in a distributed application. Java RMI exte...
Andrew Stevenson, Steve MacDonald
DICTA
2003
15 years 6 months ago
Synthesising Textures Using Variable Neighbourhood Searching
Abstract. Texture synthesis aims to define and reproduce discriminating image features. These features are used to associate with and differentiate between two textures. Often tex...
Minh Tran, Amitava Datta