Sciweavers

2610 search results - page 286 / 522
» Computational Probabilistic Non-interference
Sort
View
ICCS
2004
Springer
15 years 9 months ago
On Balancing Delay and Cost for Routing Paths
Abstract. The distributed adaptive routing is the typical routing algorithm that is used in the current Internet. The path cost of the least delay (LD) path is relatively more expe...
Moonseong Kim, Young-Cheol Bang, Hyunseung Choo
112
Voted
LAWEB
2003
IEEE
15 years 9 months ago
The Best Trail Algorithm for Assisted Navigation of Web Sites
We present an algorithm called the Best Trail Algorithm, which helps solve the hypertext navigation problem by automating the construction of memex-like trails through the corpus....
Richard Wheeldon, Mark Levene
142
Voted
PERCOM
2003
ACM
15 years 9 months ago
Recognition of Human Activity through Hierarchical Stochastic Learning
Seeking to extend the functional capability of the elderly, we explore the use of probabilistic methods to learn and recognise human activity in order to provide monitoring suppor...
Sebastian Lühr, Hung Hai Bui, Svetha Venkates...
FOSSACS
2003
Springer
15 years 9 months ago
Model Checking Lossy Channels Systems Is Probably Decidable
Lossy channel systems (LCS’s) are systems of finite state automata that communicate via unreliable unbounded fifo channels. We propose a new probabilistic model for these syste...
Nathalie Bertrand, Ph. Schnoebelen
123
Voted
ICPR
2000
IEEE
15 years 8 months ago
Stochastic Error-Correcting Parsing for OCR Post-Processing
In this paper, stochastic error-correcting parsing is proposed as a powerful and flexible method to post-process the results of an optical character recognizer (OCR). Determinist...
Juan Carlos Pérez-Cortes, Juan-Carlos Ameng...