2206 search results - page 197 / 442 » On the power of coercion abstraction |
187
click to vote
FORMATS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Quantitative model checking computes the probability values of a given property quantifying over all possible schedulers. It turns out that maximum and minimum probabilit...
241
click to vote
FOSSACS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
225
click to vote
HIPC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Large graphs involving millions of vertices are common in many practical applications and are challenging to process. Practical-time implementations using high-end comput...
191
click to vote
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper reviews recent developments in our project that are focused on dynamic data-driven methods for efficient and reliable simulation based optimization, which may...
179
click to vote
ISVC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper proposes a new texture classification system, which is distinguished by: (1) a new rotation-invariant image descriptor based on Steerable Pyramid Decompositio...