7167 search results - page 361 / 1434 » A Technique for Invariant Generation |
211
Voted
ESOP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. General refinement types allow types to be refined by predicates written in a general-purpose programming language, and can express function pre- and postconditions and d...
170
Voted
ICPR
2010
IEEE
15 years 11 months ago
2010
IEEE
—Automatic illicit drug pill matching and retrieval is becoming an important problem due to an increase in the number of tablet type illicit drugs being circulated in our society...
206
Voted
DILS
2006
Springer
15 years 11 months ago
2006
Springer
Steps in scientific workflows often generate collections of results, causing the data flowing through workflows to become increasingly nested. Because conventional workflow compone...
201
Voted
ICVGIP
2004
15 years 9 months ago
2004
Manual fingerprint classification proceeds by carefully inspecting the geometric characteristics of major ridge curves in a fingerprint image. We propose an automatic approach of ...
186
Voted
CISST
2003
15 years 9 months ago
2003
This paper addresses computational efficiency issues of a new algebraic method for imagery registration/conflation. An algebraic approach to conflation/registration of images does ...