9626 search results - page 83 / 1926 » Invariant Based Programming |
170
click to vote
AMFG
2007
IEEE
15 years 8 months ago
2007
IEEE
A key problem for "face in the crowd" recognition from existing surveillance cameras in public spaces (such as mass transit centres) is the issue of pose mismatches betwe...
132
click to vote
TOMS
2010
15 years 3 months ago
2010
The Tutte polynomial of a graph, also known as the partition function of the q-state Potts model, is a 2-variable polynomial graph invariant of considerable importance in both comb...
137
click to vote
SCAM
2003
IEEE
15 years 10 months ago
2003
IEEE
Many static analyses aim at assigning to each control point of a program an invariant property that characterizes any state of a trace corresponding to this point. The choice of t...
145
click to vote
CAV
2012
Springer
13 years 7 months ago
2012
Springer
An algorithmic-learning-based termination analysis technique is presented. The new technique combines transition predicate abstraction, algorithmic learning, and decision procedure...
140
click to vote
ICPR
2000
IEEE
16 years 5 months ago
2000
IEEE
In this paper we present a mixture density based approach to invariant image object recognition. We start our experiments using Gaussian mixture densities within a Bayesian classi...