Sciweavers

2088 search results - page 265 / 418
» The Probabilistic Method
Sort
View
APWEB
2006
Springer
15 years 7 months ago
Energy-Efficient Deployment of Mobile Sensor Networks by PSO
Abstract. Sensor deployment is an important issue in designing sensor networks. In this paper, particle swarm optimization (PSO) approach is applied to maximize the coverage based ...
Xiaoling Wu, Shu Lei, Jin Wang, Jinsung Cho, Sungy...
CAV
2006
Springer
133views Hardware» more  CAV 2006»
15 years 7 months ago
Antichains: A New Algorithm for Checking Universality of Finite Automata
We propose and evaluate a new algorithm for checking the universality of nondeterministic finite automata. In contrast to the standard algorithm, which uses the subset construction...
Martin De Wulf, Laurent Doyen, Thomas A. Henzinger...
CHI
1995
ACM
15 years 6 months ago
LyberWorld: a 3D graphical user interface for fulltext retrieval
ld is a prototype IR user interface. It implements visualizations of an abstract information space – fulltext. The presentation demonstrates a visual user interface for the prob...
Matthias Hemmje
FSTTCS
1994
Springer
15 years 6 months ago
On the Interactive Complexity of Graph Reliability
We give an interactive protocol for s-t RELIABILITY, the well known reliability problem on graphs. Our protocol shows that if IP(f(n)) denotes the class of languages whose interac...
Jean Marc Couveignes, Juan Francisco Diaz-Frias, M...
ICPR
2010
IEEE
15 years 5 months ago
Flooding and MRF-Based Algorithms for Interactive Segmentation
We propose a method for interactive colour image segmentation. The goal is to detect an object from the background, when some markers on object(s) and the background are given. As...
Ilias Grinias, Nikos Komodakis, G. Tziritas