Sciweavers

8555 search results - page 1464 / 1711
» Property Based Coordination
Sort
View
LFP
1992
153views more  LFP 1992»
15 years 7 months ago
Reasoning About Programs in Continuation-Passing Style
The CPS transformation dates back to the early 1970's, where it arose as a technique to represent the control flow of programs in -calculus based programming languages as -te...
Amr Sabry, Matthias Felleisen
VMV
2007
155views Visualization» more  VMV 2007»
15 years 7 months ago
Accurate Computation of Geodesic Distance Fields for Polygonal Curves on Triangle Meshes
We present an algorithm for the efficient and accurate computation of geodesic distance fields on triangle meshes. We generalize the algorithm originally proposed by Surazhsky e...
David Bommes, Leif Kobbelt
WCE
2007
15 years 7 months ago
Bootstrap Confidence Interval for the Median Failure Time of Three-Parameter Weibull Distribution
— In many applications of failure time data analysis, it is important to perform inferences about the median of the distribution function in situations of failure time data model...
N. A. Ibrahim, A. Kudus
AAAI
2008
15 years 7 months ago
Reasoning about Large Taxonomies of Actions
We design a representation based on the situation calculus to facilitate development, maintenance and elaboration of very large taxonomies of actions. This representation leads to...
Yilan Gu, Mikhail Soutchanski
BILDMED
2009
173views Algorithms» more  BILDMED 2009»
15 years 7 months ago
Interactive Boundary Detection for Automatic Definition of 2D Opacity Transfer Function
In computer assisted diagnostics nowadays, high-value 3-D visualization intake a supporting role to the traditional 2-D slice wise visualization. 3-D visualization may create intui...
Martin Rauberger, Heinrich M. Overhoff
« Prev « First page 1464 / 1711 Last » Next »