785 search results - page 94 / 157 » Automated Analysis of Feature Models Using Atomic Sets |
STTT
2010
13 years 7 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
FUZZIEEE
2007
IEEE
14 years 3 months ago
2007
IEEE
— The application of Qualitative Reasoning to Learning Algorithms can provide these models with the capability of automate common-sense and expert reasoning. Learning algorithms ...
CVPR
2001
IEEE
14 years 11 months ago
2001
IEEE
Modeling subspaces of a distribution of interest in high dimensional spaces is a challenging problem in pattern analysis. In this paper, we present a novel framework for pose inva...
TIME
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper presents the automatic extension of TERSEO to other languages, a knowledge-based system for the recognition and normalization of temporal expressions, originally develo...
DLOG
2008
13 years 11 months ago
2008
We present a novel Fuzzy Description Logic (DL) based approach to automate matchmaking in e-marketplaces. We model traders' preferences with the aid of Fuzzy DLs and, given a ...