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 11 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
15 years 4 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 10 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»
16 years 14 days 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»
15 years 6 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