677 search results - page 38 / 136 » Rigorous Object-Oriented Analysis |
CVPR
2011
IEEE
13 years 4 months ago
2011
IEEE
Using optical triangulation methods to measure the shape of translucent objects is difficult because subsurface scattering contaminates measurements of the “direct” reflecti...
STOC
2012
ACM
11 years 11 months ago
2012
ACM
We analyze the Schelling model of segregation in which a society of n individuals live in a ring. Each individual is one of two races and is only satisfied with his location so l...
CSB
2004
IEEE
14 years 6 days ago
2004
IEEE
A novel and rigorous Multi-perturbation Shapley Value Analysis (MSA) method has been recently presented [12]. The method addresses the challenge of defining and calculating the fu...
CMA
2010
13 years 5 months ago
2010
This report develops and studies a new family of NSE-regularizations, Tikhonov Leray Regularization with Time Relaxation Models. This new family of turbulence models is based on a...
ENTCS
2006
13 years 8 months ago
2006
We present an operational semantics for a component composition language called Reo. Reo connectors exogenously compose and coordinate the interactions among individual components...