Sciweavers

3134 search results - page 127 / 627
» simulation 2010
Sort
View
ENTCS
2006
90views more  ENTCS 2006»
15 years 3 months ago
Runtime Verification for High-Confidence Systems: A Monte Carlo Approach
We present a new approach to runtime verification that utilizes classical statistical techniques such as Monte Carlo simulation, hypothesis testing, and confidence interval estima...
Sean Callanan, Radu Grosu, Abhishek Rai, Scott A. ...
APVIS
2010
15 years 4 months ago
Adaptive proxy geometry for direct volume manipulation
This paper introduces a new design to allow interactive, direct manipulation of volume data on volumetrically rendered images. We present an adaptive volume proxy mesh which serve...
Megumi Nakao, Kei Wai Cecilia Hung, Satoshi Yano, ...
129
Voted
DSS
2007
94views more  DSS 2007»
15 years 3 months ago
A formal modeling approach for supply chain event management
: As supply chains become more dynamic it is important to be able to model them formally as business processes. In particular, there is a need for a sense and respond capability to...
Rong Liu, Akhil Kumar, Wil M. P. van der Aalst
111
Voted
IGARSS
2010
15 years 1 months ago
Retrieval of higher order ocean wave spectra from sunglint
Presented in this paper is a method of retrieving higher order statistical functions of the ocean wave surface from sunglint, or solar optical radiation specularly reflected from t...
Geoff Cureton
EJWCN
2010
94views more  EJWCN 2010»
14 years 10 months ago
Efficient Scheduling of Pigeons for a Constrained Delay Tolerant Application
Information collection in the disaster area is an important application of pigeon networks - a special type of delay tolerant networks (DTN) that borrows the ancient idea of using ...
Jiazhen Zhou, Jiang Li, Legand L. Burge III