Sciweavers

153 search results - page 17 / 31
» Interval Approaches for Uncertain Reasoning
Sort
View
ASPDAC
2008
ACM
174views Hardware» more  ASPDAC 2008»
13 years 12 months ago
Chebyshev Affine Arithmetic based parametric yield prediction under limited descriptions of uncertainty
In modern circuit design, it is difficult to provide reliable parametric yield prediction since the real distribution of process data is hard to measure. Most existing approaches ...
Jin Sun, Yue Huang, Jun Li, Janet Meiling Wang
TACAS
2007
Springer
92views Algorithms» more  TACAS 2007»
14 years 4 months ago
Model Checking Liveness Properties of Genetic Regulatory Networks
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
Grégory Batt, Calin Belta, Ron Weiss
KDD
2005
ACM
193views Data Mining» more  KDD 2005»
14 years 10 months ago
An approach to spacecraft anomaly detection problem using kernel feature space
Development of advanced anomaly detection and failure diagnosis technologies for spacecraft is a quite significant issue in the space industry, because the space environment is ha...
Ryohei Fujimaki, Takehisa Yairi, Kazuo Machida
ICWE
2007
Springer
14 years 4 months ago
The Use of a Bayesian Network for Web Effort Estimation
The objective of this paper is to describe the use of a probabilistic approach to Web effort estimation by means of a Bayesian Network. A Bayesian Network is a model that embodies ...
Emilia Mendes
DLOG
2008
14 years 4 days ago
Consistency Checking for Extended Description Logics
In this paper we consider the extensions of description logics that were proposed to represent uncertain or vague knowledge, focusing on the fuzzy and possibilistic formalisms. We ...
Olivier Couchariere, Marie-Jeanne Lesot, Bernadett...