119 search results - page 10 / 24 » Boolean Operations on Feature-based Models |
206
click to vote
CRYPTO
2012
Springer
13 years 8 months ago
2012
Springer
We provide a functional encryption system that supports functionality for regular languages. In our system a secret key is associated with a Deterministic Finite Automata (DFA) M....
196
Voted
IGPL
2011
14 years 9 months ago
2011
A residuated algebra (RA) is a generalization of a residuated groupoid; instead of one basic binary operation · with residual operations \, /, it admits finitely many basic oper...
143
click to vote
JCST
2000
15 years 5 months ago
2000
A review of current computer-aided technologies in design and product development, the evolution of CAD modeling, and a framework of multi-volume CAD modeling system for heterogen...
140
Voted
FM
2009
Springer
16 years 11 days ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
134
click to vote
SAC
2005
ACM
15 years 11 months ago
2005
ACM
Based on the idea that the closer the query terms in a document are, the more relevant this document is, we propose a mathematical model of information retrieval based on a fuzzy ...