1737 search results - page 312 / 348 » On Interpolation in Existence Logics |
200
click to vote
TSMC
2010
15 years 24 days ago
2010
In a 2002 paper, we combined fuzzy logic with discrete-event systems (DESs) and established an automaton model of fuzzy DESs (FDESs). The model can effectively represent determinis...
176
click to vote
TSMC
2010
15 years 24 days ago
2010
We describe a cognitive architecture for creating more robust intelligent systems by executing hybrids of algorithms based on different computational formalisms. The architecture ...
198
click to vote
PLDI
2012
ACM
13 years 8 months ago
2012
ACM
Existing dynamic race detectors suffer from at least one of the following three limitations: (i) space overhead per memory location grows linearly with the number of parallel thre...
175
Voted
EUSFLAT
2009
15 years 3 months ago
2009
Abstract-- An L-fuzzy context is a triple consisting of a set of objects, a set of attributes and an L-fuzzy binary relation between them. An l-cut is a classical context over the ...
149
Voted
STACS
2007
Springer
16 years 6 days ago
2007
Springer
We consider commutative string rewriting systems (Vector Addition Systems, Petri nets), i.e., string rewriting systems in which all pairs of letters commute. We are interested in r...