9626 search results - page 143 / 1926 » Invariant Based Programming |
145
click to vote
ICMCS
2006
IEEE
15 years 11 months ago
2006
IEEE
The line-based face recognition method is distinguished by its features, but its development and application is limited to some inherent drawbacks. This paper propose a method for...
154
Voted
FLAIRS
2008
15 years 7 months ago
2008
This paper presents a strategy for shape-based image retrieval in which moment invariants form a feature vector to describe the shape of an object. Fuzzy k-means clustering is use...
163
Voted
AUTOMATICA
2006
15 years 5 months ago
2006
A robust MPC for constrained nonlinear systems with uncertainties is presented. Outer bounds of the reachable sets of the system are used to predict the evolution of the system un...
147
click to vote
IFL
2007
Springer
15 years 11 months ago
2007
Springer
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
156
click to vote
FOSSACS
2006
Springer
15 years 8 months ago
2006
Springer
We define a new decidable logic for expressing and checking invariants of programs that manipulate dynamically-allocated objects via pointers and destructive pointer updates. The ...