1855 search results - page 108 / 371 » Probabilistic Frame-Based Systems |
135
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper is focused on adapting symmetry reduction, a technique that is highly successful in traditional model checking, to stochastic hybrid systems. To that end, we first sho...
128
Voted
DEBU
2006
15 years 3 months ago
2006
The AVATAR Information Extraction System (IES) at the IBM Almaden Research Center enables highprecision, rule-based, information extraction from text-documents. Drawing from our e...
139
click to vote
EDBT
2010
ACM
15 years 9 months ago
2010
ACM
There are two broad approaches to query evaluation over probabilistic databases: (1) Intensional Methods proceed by manipulating expressions over symbolic events associated with u...
110
click to vote
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
The paper introduces a system model called the probabilistic asynchronous model which characterises the context in which many practical and the Internet-based applications are bui...
131
click to vote
PRDC
2008
IEEE
15 years 9 months ago
2008
IEEE
Many large scale systems, like grids and structured peer to peer systems, operate on a constrained topology. Since underlying networks do not expose the real topology to the appli...