Browsing by Subject "Probabilistic logics"
Now showing items 110 of 10

Conference Object
Crawler detection: A Bayesian approach
(2006)In this paper, we introduce a probabilistic modeling approach for addressing the problem of Web robot detection from Webserver access logs. More specifically, we construct a Bayesian network that classifies automatically ...

Article
The didentifying codes problem for vertex identification in graphs: Probabilistic analysis and an approximation algorithm
(2006)Given a graph G(V, E), the identifying codes problem is to find the smallest set of vertices D ⊆ V such that no two vertices in V are adjacent to the same set of vertices in D. The identifying codes problem has been applied ...

Article
A Family of ResourceBound RealTime Process Algebras
(2006)The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the timing behavior of a realtime system depends ...

Article
Hiding resources that can fail: An axiomatic perspective
(2001)In earlier work, we presented a process algebra, PACSR, that uses a notion of resource failure to capture probabilistic behavior in reactive systems. PACSR also supports an operator for resource hiding. In this paper, we ...

Conference Object
A mathematical framework for robust control over uncertain communication channels
(2005)In this paper, a mathematical framework for studying robust control over uncertain communication channels is introduced. The theory is developed by 1) Generalizing the classical information theoretic measures to the robust ...

Conference Object
Maximum likelihood diagnosis in partially observable finite state machines
(2005)In this paper we develop a probabilistic approach for fault diagnosis in deterministic finite state machines (FSMs). The proposed approach determines whether the FSM under consideration is faulty or not by observing (part ...

Conference Object
Performance and stability bounds for dynamic networks
(2004)In this work, we study the impact of dynamically changing link capacities on the delay bounds of LIS (LongestInSystem) and SIS (ShortestInSystem) protocols on specific networks (that can be modelled as Directed Acyclic ...

Conference Object
Probabilistic failure diagnosis in finite state machines under unreliable observations
(2006)In this paper we develop a probabilistic methodology for calculating the likelihood that an observed, possibly corrupted event sequence was generated by two (or more) candidate finite state machines (FSMs) (one of which ...

Article
A probabilistic reasoning approach for discovering web crawler sessions
(2007)In this paper we introduce a probabilisticreasoning approach to detect Web robots (crawlers) from human visitors of Web sites. Our approach employs a Naive Bayes network to classify the HTTP sessions of a Webserver access ...

Article
Resources in process algebra
(2007)The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the timing behavior of a realtime system depends ...