Sciweavers

1119 search results - page 97 / 224
» On the Invariance of Ant System
Sort
View
TACAS
2004
Springer
135views Algorithms» more  TACAS 2004»
15 years 3 months ago
Liveness with Incomprehensible Ranking
Abstract. The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic m...
Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck
ICIP
2010
IEEE
14 years 7 months ago
Gradient field descriptor for sketch based retrieval and localization
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...
Rui Hu, Mark Barnard, John P. Collomosse
CVPR
2011
IEEE
14 years 1 months ago
Novelty detection from an Ego-centric perspective
This paper demonstrates a system for the automatic extraction of novelty in images captured from a small video camera attached to a subject’s chest, replicating his visual persp...
Omid Aghazadeh, Josephine Sullivan, Stefan Carlsso...
GECCO
2007
Springer
181views Optimization» more  GECCO 2007»
15 years 4 months ago
ACOhg: dealing with huge graphs
Ant Colony Optimization (ACO) has been successfully applied to those combinatorial optimization problems which can be translated into a graph exploration. Artificial ants build s...
Enrique Alba, J. Francisco Chicano
JUCS
2008
113views more  JUCS 2008»
14 years 10 months ago
What is Correctness of Security Protocols?
: As soon as major protocol flaws were discovered empirically -- a good luck that is not older than the early 1990s -- this title question came up to the world. It was soon realise...
Giampaolo Bella