2062 search results - page 329 / 413 » Derivatives of Logical Formulas |
160
click to vote
DLOG
2003
15 years 7 months ago
2003
In this paper, we introduce RICE, a graphical application for interacting with the description logic inference server Racer. Comparing RICE with OilEd, we address the problem of v...
152
click to vote
ICCAD
2003
IEEE
16 years 2 months ago
2003
IEEE
A new technique for the logic synthesis of asynchronous circuits is presented. It is based on the structural theory of Petri nets and integer linear programming. The technique is ...
168
click to vote
LOPSTR
2009
Springer
16 years 9 days ago
2009
Springer
Proving termination of, or generating efficient control for Constraint Handling Rules (CHR) programs requires information about the kinds of constraints that can show up in the CHR...
156
click to vote
FUZZIEEE
2007
IEEE
16 years 3 days ago
2007
IEEE
Abstract—In contrast to standard fuzzy clustering, which optimizes a set of prototypes, one for each cluster, this paper studies fuzzy clustering without prototypes. Starting fro...
147
click to vote
FUZZY
2004
Springer
15 years 11 months ago
2004
Springer
A feedforward neural network based on multi-valued neurons is considered in the paper. It is shown that using a traditional feedforward architecture and a high functionality multi-...