9626 search results - page 113 / 1926 » Invariant Based Programming |
167
click to vote
JOT
2010
15 years 3 months ago
2010
Design contracts can be used in software development to ensure the preservation of assertions for program correctness. This can increase reliability in software design. Design by ...
131
click to vote
CC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Network processors (NPs) typically contain multiple concurrent processing cores. State-of-the-art programming techniques for NPs are invariably low-level, requiring progr...
151
Voted
ATVA
2010
Springer
15 years 6 months ago
2010
Springer
Probabilistic B (pB) [2, 8] extends classical B [7] to incorporate probabilistic updates together with the specification of quantitative safety properties. As for classical B, prob...
141
Voted
IMAGING
2004
15 years 6 months ago
2004
Extending differential-based operations to color images is hindered by the multi-channel nature of color images. The derivatives in different channels can point in opposite direct...
144
click to vote
ICIP
2010
IEEE
15 years 2 months ago
2010
IEEE
We present an image retrieval system driven by free-hand sketched queries depicting shape. We introduce Gradient Field HoG (GF-HOG) as a depiction invariant image descriptor, enca...