9626 search results - page 38 / 1926 » Invariant Based Programming |
160
click to vote
JSC
2010
14 years 8 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
133
click to vote
CAV
2006
Springer
15 years 5 months ago
2006
Springer
e Abstraction and Refinement Loop Himanshu Jain1,2, Franjo Ivanci
126
click to vote
CVPR
2008
IEEE
15 years 8 months ago
2008
IEEE
Image category recognition is important to access visual information on the level of objects and scene types. So far, intensity-based descriptors have been widely used. To increas...
119
click to vote
ECCV
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we develop a systematic theory about local structure of moving images in terms of Galilean differential invariants. We argue that Galilean invariants are useful for s...
128
click to vote
BIOCOMP
2008
15 years 3 months ago
2008
Protein structure comparison is important for elucidation of evolutionary relationships, function and functionally important amino acid residues. We propose Geometric Invariant bas...