Sciweavers

2642 search results - page 25 / 529
» The development of Chez Scheme
Sort
View
SIGMOD
2010
ACM
171views Database» more  SIGMOD 2010»
13 years 10 months ago
An optimal labeling scheme for workflow provenance using skeleton labels
We develop a compact and efficient reachability labeling scheme for answering provenance queries on workflow runs that conform to a given specification. Even though a workflow run...
Zhuowei Bao, Susan B. Davidson, Sanjeev Khanna, Su...
ENGL
2008
68views more  ENGL 2008»
13 years 9 months ago
A Novel CFD Scheme for Collision of Micro-bubbles in Turbulent Flow
A numerical scheme for bubble trajectories including their collisions is developed. An Eulerian-Lagrangian computational scheme is used to study the bubble trajectories. The 2D ave...
Arman Raoufi, Mehrzad Shams, Reza Ebrahimi
SIAMMA
2010
43views more  SIAMMA 2010»
13 years 4 months ago
Nonlinear Stability of Semidiscrete Shocks for Two-Sided Schemes
The nonlinear stability of travelling Lax shocks in semidiscrete conservation laws involving general spatial forward-backward discretization schemes is considered. It is shown tha...
Margaret Beck, Hermen Jan Hupkes, Björn Sands...
VRST
1997
ACM
14 years 2 months ago
View volume culling using a probabilistic caching scheme
This paper describes a new algorithm for view volume culling. During an interactive walkthrough of a 3D scene, at any moment a large proportion of objects will be outside of the v...
Mel Slater, Yiorgos Chrysanthou
PPSN
1994
Springer
14 years 1 months ago
A Representation Scheme To Perform Program Induction in a Canonical Genetic Algorithm
This paper studies Genetic Programming (GP) and its relation to the Genetic Algorithm (GA). GP uses a GA approach to breed successive populations of programs, represented in the ch...
Mark Wineberg, Franz Oppacher