Sciweavers

2642 search results - page 25 / 529
» The development of Chez Scheme
Sort
View
77
Voted
SIGMOD
2010
ACM
171views Database» more  SIGMOD 2010»
14 years 9 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»
14 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
39
Voted
SIAMMA
2010
43views more  SIAMMA 2010»
14 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
15 years 1 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
15 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