3971 search results - page 389 / 795 » On the Use of Properties in Java Applications |
203
click to vote
LICS
2010
IEEE
15 years 5 months ago
2010
IEEE
—We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of alge...
188
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
We introduce a type system based on intervals, objects representing the time in which a block of code will execute. The type system can verify time-based properties such as when a...
207
click to vote
FORMATS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain par...
166
click to vote
GRAPHICSINTERFACE
2009
15 years 4 months ago
2009
Labradorescence is a complex optical phenomenon that can be found in certain minerals, such as Labradorite or Spectrolite. Because of their unique colour properties, these mineral...
197
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
We focus on motion estimation using a block matching approach and suggest using a minimum-entropy criterion. Many entropy-based estimation procedures exist, such as plug-in estima...