Sciweavers

65 search results - page 2 / 13
» Towards Automatic Measurement of Probabilistic Processes
Sort
View
CAV
2010
Springer
190views Hardware» more  CAV 2010»
13 years 8 months ago
Measuring and Synthesizing Systems in Probabilistic Environments
Often one has a preference order among the different systems that satisfy a given specification. Under a probabilistic assumption about the possible inputs, such a preference order...
Krishnendu Chatterjee, Thomas A. Henzinger, Barbar...
RECOMB
2004
Springer
14 years 5 months ago
Probabilistic discovery of overlapping cellular processes and their regulation
In this paper, we explore modeling overlapping biological processes. We discuss a probabilistic model of overlapping biological processes, gene membership in those processes, and ...
Alexis Battle, Eran Segal, Daphne Koller
GI
2010
Springer
13 years 3 months ago
Toward an adaptive String Similarity Measure for Matching Product Offers
: Product matching aims at identifying different product offers referring to the same real-world product. Product offers are provided by different merchants and describe products u...
Andreas Thor
CICLING
2010
Springer
14 years 4 days ago
Towards Automatic Detection and Tracking of Topic Change
We present an approach for automatic detection of topic change. Our approach is based on the analysis of statistical features of topics in time-sliced corpora and their dynamics ov...
Florian Holz, Sven Teresniak
MOBIDE
2006
ACM
13 years 11 months ago
Towards correcting input data errors probabilistically using integrity constraints
Mobile and pervasive applications frequently rely on devices such as RFID antennas or sensors (light, temperature, motion) to provide them information about the physical world. Th...
Nodira Khoussainova, Magdalena Balazinska, Dan Suc...