Sciweavers

92 search results - page 8 / 19
» A discrete cell migration model
Sort
View
SODA
2010
ACM
181views Algorithms» more  SODA 2010»
15 years 7 months ago
On the Cell Probe Complexity of Dynamic Membership
We study the dynamic membership problem, one of the most fundamental data structure problems, in the cell probe model with an arbitrary cell size. We consider a cell probe model e...
KE YI, QIN ZHANG
90
Voted
GMP
2008
IEEE
114views Solid Modeling» more  GMP 2008»
15 years 4 months ago
Detection of Planar Regions in Volume Data for Topology Optimization
We propose a method to identify planar regions in volume data using a specialized version of the discrete Radon transform operating on a structured or unstructured grid. The algori...
Ulrich Bauer, Konrad Polthier
86
Voted
WSC
1998
14 years 11 months ago
Combining Optimism Limiting Schemes in Time Warp Based Parallel Simulations
The Time Warp protocol is considered to be an effective synchronization mechanism for parallel discrete event simulation (PDES). However, it is widely recognized that it suffers o...
Kevin G. Jones, Samir Ranjan Das
CGF
2011
14 years 1 months ago
Contouring Discrete Indicator Functions
We present a method for calculating the boundary of objects from Discrete Indicator Functions that store 2material volume fractions with a high degree of accuracy. Although Marchi...
Josiah Manson, J. Smith, Scott Schaefer
86
Voted
HYBRID
2003
Springer
15 years 2 months ago
Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
Ronojoy Ghosh, Ashish Tiwari, Claire Tomlin