Sciweavers

2361 search results - page 285 / 473
» Embedded Systems - Challenges and Work Directions
Sort
View
IJCAI
1993
15 years 5 months ago
Statistical Foundations for Default Reasoning
We describe a new approach to default reasoning, based on a principle of indi erence among possible worlds. We interpret default rules as extreme statistical statements, thus obta...
Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, ...
CORR
2010
Springer
173views Education» more  CORR 2010»
15 years 4 months ago
Automatic Modular Abstractions for Template Numerical Constraints
c Modular Abstractions for Template Numerical Constraints David Monniaux May 26, 2010 We propose a method for automatically generating abstract transformstatic analysis by abstrac...
David Monniaux
CORR
2008
Springer
117views Education» more  CORR 2008»
15 years 4 months ago
Robust Stochastic Chemical Reaction Networks and Bounded Tau-Leaping
The behavior of some stochastic chemical reaction networks is largely unaffected by slight inaccuracies in reaction rates. We formalize the robustness of state probabilities to re...
David Soloveichik
IJNSEC
2007
164views more  IJNSEC 2007»
15 years 4 months ago
A Biometric Identity Based Signature Scheme
We describe an identity based signature scheme that uses biometric information to construct the public key. Such a scheme would be beneficial in many repudiation situations for e...
Andrew Burnett, Fergus Byrne, Tom Dowling, Adam Du...
123
Voted
CE
2005
91views more  CE 2005»
15 years 4 months ago
Using data mining as a strategy for assessing asynchronous discussion forums
The purpose of this paper is to show how data mining may offer promise as a strategy for discovering and building alternative representations for the data underlying asynchronous ...
Laurie P. Dringus, Timothy Ellis