Sciweavers

2128 search results - page 308 / 426
» A general characterization of indulgence
Sort
View
CSL
2008
Springer
14 years 16 days ago
Quantitative Languages
Quantitative generalizations of classical languages, which assign to each word a real number instead of a boolean value, have applications in modeling resource-constrained computat...
Krishnendu Chatterjee, Laurent Doyen, Thomas A. He...
GLOBECOM
2007
IEEE
14 years 16 days ago
A SAGE Algorithm for Estimation of the Direction Power Spectrum of Individual Path Components
—In this contribution, the Fisher-Bingham-5 (FB5) probability density function (pdf) is used to model the shape of the direction power spectral density function (psdf) of individ...
Xuefeng Yin, Lingfeng Liu, Daniel K. Nielsen, Troe...
DASFAA
2008
IEEE
137views Database» more  DASFAA 2008»
14 years 16 days ago
Efficient Mining of Recurrent Rules from a Sequence Database
We study a novel problem of mining significant recurrent rules from a sequence database. Recurrent rules have the form "whenever a series of precedent events occurs, eventuall...
David Lo, Siau-Cheng Khoo, Chao Liu 0001
FM
2008
Springer
75views Formal Methods» more  FM 2008»
14 years 9 days ago
Masking Faults While Providing Bounded-Time Phased Recovery
We focus on synthesis techniques for transforming existing fault-intolerant real-time programs to fault-tolerant programs that provide phased recovery. A fault-tolerant program is ...
Borzoo Bonakdarpour, Sandeep S. Kulkarni
IMC
2007
ACM
14 years 9 days ago
Measuring load-balanced paths in the internet
Tools to measure internet properties usually assume the existence of just one single path from a source to a destination. However, load-balancing capabilities, which create multip...
Brice Augustin, Timur Friedman, Renata Teixeira