2206 search results - page 197 / 442 » On the power of coercion abstraction |
176
click to vote
FORMATS
2007
Springer
16 years 23 days 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...
205
click to vote
FOSSACS
2007
Springer
16 years 23 days 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...
203
click to vote
HIPC
2007
Springer
16 years 23 days 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...
163
click to vote
ICCS
2007
Springer
16 years 23 days 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...
163
click to vote
ISVC
2007
Springer
16 years 22 days 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...