Sciweavers

1071 search results - page 113 / 215
» Modelling Ontology Evaluation and Validation
Sort
View
MEMOCODE
2003
IEEE
15 years 11 months ago
LOTOS Code Generation for Model Checking of STBus Based SoC: the STBus interconnect
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...
Pierre Wodey, Geoffrey Camarroque, Fabrice Baray, ...
FC
2005
Springer
120views Cryptology» more  FC 2005»
15 years 11 months ago
Achieving Fairness in Private Contract Negotiation
Abstract. Suppose Alice and Bob are two entities (e.g. agents, organizations, etc.) that wish to negotiate a contract. A contract consists of several clauses, and each party has ce...
Keith B. Frikken, Mikhail J. Atallah
FGR
2006
IEEE
155views Biometrics» more  FGR 2006»
15 years 9 months ago
Multi-Scale Primal Feature Based Facial Expression Modeling and Identification
In this paper, we present our newly developed face expression modeling system for expression analysis and identification. Given a face image at a front view, a realistic facial mo...
Lijun Yin, Xiaozhou Wei
SPLC
2008
15 years 7 months ago
Automated Diagnosis of Product-Line Configuration Errors in Feature Models
Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting feature sets that satisfy feature model constraints. Conf...
Jules White, Douglas C. Schmidt, David Benavides, ...
198
Voted
WSC
2001
15 years 7 months ago
Accounting for input model and parameter uncertainty in simulation
Taking into account input-model, input-parameter, and stochastic uncertainties inherent in many simulations, our Bayesian approach to input modeling yields valid point and confide...
Faker Zouaoui, James R. Wilson