48 search results - page 6 / 10 » Interpolant-Based Transition Relation Approximation |
ECML
2006
Springer
14 years 3 days ago
2006
Springer
In this paper we formulate the problem of grouping the states of a discrete Markov chain of arbitrary order simultaneously with deconvolving its transition probabilities. As the na...
DAC
2000
ACM
14 years 9 months ago
2000
ACM
Image computation is the key step in fixpoint computations that are extensively used in model checking. Two techniques have been used for this step: one based on conjunction of the...
ICDM
2009
IEEE
14 years 3 months ago
2009
IEEE
—Triggered by a market relevant application that involves making joint predictions of pedestrian and public transit flows in urban areas, we address the question of how to utili...
GLOBECOM
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— Understanding link statistics in mobile ad hoc networks (MANETs) is essential to design adaptive routing protocols and achieve desired network performance. While much a...
ISMIS
2000
Springer
14 years 11 hour ago
2000
Springer
This paper introduces the design of rough neurons based on rough sets. Rough neurons instantiate approximate reasoning in assessing knowledge gleaned from input data. Each neuron c...