Sciweavers

4816 search results - page 147 / 964
» Performance analysis of the AntNet algorithm
Sort
View
ICML
2005
IEEE
16 years 5 months ago
A theoretical analysis of Model-Based Interval Estimation
Several algorithms for learning near-optimal policies in Markov Decision Processes have been analyzed and proven efficient. Empirical results have suggested that Model-based Inter...
Alexander L. Strehl, Michael L. Littman
140
Voted
IEEECGIV
2009
IEEE
15 years 11 months ago
Thai Font Type Recognition Using Linear Interpolation Analysis
A new approach to Thai font type recognition that is presented in this paper is based on linear interpolation analysis of the character contour. The algorithm can perform effectiv...
Pitchaya Jamjuntr, Natasha Dejdumrong
QEST
2006
IEEE
15 years 11 months ago
LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
Frank Ciesinski, Christel Baier
IBPRIA
2007
Springer
15 years 11 months ago
Estimation of Multiple Objects at Unknown Locations with Active Contours
Abstract. This paper presents an algorithm for the estimation of multiple regions with unknown shapes and positions using multiple active contour models (ACM’s). The algorithm or...
Margarida Silveira, Jorge S. Marques
INFOCOM
2007
IEEE
15 years 11 months ago
Iterative Scheduling Algorithms
— The input-queued switch architecture is widely used in Internet routers due to its ability to run at very high line speeds. A central problem in designing an input-queued switc...
Mohsen Bayati, Balaji Prabhakar, Devavrat Shah, Ma...