Sciweavers

307 search results - page 42 / 62
» Experimental Evaluation of Congestion Avoidance
Sort
View
WSC
2007
15 years 3 months ago
SBatch: a spaced batch means procedure for simulation analysis
We discuss SBatch, a simplified procedure for steady-state simulation analysis that is based on spaced batch means, incorporating many advantages of its predecessorsASAP3 and WAS...
Emily K. Lada, James R. Wilson
ECCV
2010
Springer
15 years 2 months ago
Image Segmentation with Topic Random Field
Abstract. Recently, there has been increasing interests in applying aspect models (e.g., PLSA and LDA) in image segmentation. However, these models ignore spatial relationships amo...
86
Voted
ATAL
2008
Springer
15 years 2 months ago
Self-organized flocking with a mobile robot swarm
This paper studies self-organized flocking in a swarm of mobile robots. We present Kobot, a mobile robot platform developed specifically for swarm robotic studies, briefly describ...
Ali Emre Turgut, Hande Çelikkanat, Fatih G&...
107
Voted
IEEEARES
2010
IEEE
15 years 2 months ago
Improving Network Intrusion Detection by Means of Domain-Aware Genetic Programming
—One of the central areas in network intrusion detection is how to build effective systems that are able to distinguish normal from intrusive traffic. In this paper we explore t...
Jorge Blasco Alís, Agustín Orfila, A...
MMB
2010
Springer
185views Communications» more  MMB 2010»
15 years 2 months ago
Correctness Issues of Symbolic Bisimulation Computation for Markov Chains
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
Ralf Wimmer, Bernd Becker