9067 search results - page 769 / 1814 » Adaptive Model Checking |
259
click to vote
CIRA
2007
IEEE
16 years 1 months ago
2007
IEEE
—This paper presents an automatic object detection and tracking algorithm by using particle swarm optimization (PSO) based method, which is a searching algorithm inspired by the ...
156
click to vote
TCC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper presents a very simple and efficient adaptivelysound perfect NIZK argument system for any NP-language. In contrast to recently proposed schemes by Groth, Ostro...
191
click to vote
EMMCVPR
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. In this paper, we present a novel successive relaxation linear programming scheme for solving the important class of consistent labeling problems for which an L1 metric i...
224
click to vote
VISUAL
2005
Springer
16 years 1 months ago
2005
Springer
Chemical processing of celluloid based cinematic film, becomes unstable with time, unless they are stored at low temperatures. Some defects, such as bleaching on color movies, are ...
196
click to vote
EDBTW
2004
Springer
16 years 1 months ago
2004
Springer
The two main approaches to find data in peer-to-peer (P2P) systems are unstructured networks using flooding and structured networks using a distributed index. A distributed index i...