Sciweavers

414 search results - page 42 / 83
» Integration of Existing Programs into CORBA
Sort
View
CORR
2006
Springer
81views Education» more  CORR 2006»
13 years 7 months ago
Modeling Aspect Mechanisms: A Top-Down Approach
A plethora of aspect mechanisms exist today. All of these diverse mechanisms integrate concerns into artifacts that exhibit crosscutting structure. What we lack and need is a char...
Sergei Kojarski, David H. Lorenz
CVPR
2006
IEEE
14 years 9 months ago
Shape from Shading: Recognizing the Mountains through a Global View
Resolving local ambiguities is an important issue for shape from shading (SFS). Pixel ambiguities of SFS can be eliminated by propagation approaches. However, patch ambiguities st...
Qihui Zhu, Jianbo Shi
SAS
2007
Springer
106views Formal Methods» more  SAS 2007»
14 years 1 months ago
Guided Static Analysis
In static analysis, the semantics of the program is expressed as a set ions. The equations are solved iteratively over some abstract domain. If ract domain is distributive and sati...
Denis Gopan, Thomas W. Reps
POPL
2007
ACM
14 years 8 months ago
Modular type classes
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
Derek Dreyer, Robert Harper, Manuel M. T. Chakrava...
VL
2008
IEEE
113views Visual Languages» more  VL 2008»
14 years 2 months ago
A visual language for representing and explaining strategies in game theory
We present a visual language for strategies in game theory, which has potential applications in economics, social sciences, and in general science education. This language facilit...
Martin Erwig, Eric Walkingshaw