144 search results - page 10 / 29 » Representations of Logic Functions Using QRMDDs |
ECAI
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. We extend different Description Logics by concrete domains (such as integers and reals) and by aggregation functions over these domains (such as min;max;count;sum), which...
77
Voted
ICCAD
1997
IEEE
15 years 2 months ago
1997
IEEE
We present a novel method for state minimization of incompletely-specified finite state machines. Where classic methods simply minimize the number of states, ours directly addre...
106
click to vote
ISMVL
2006
IEEE
15 years 4 months ago
2006
IEEE
Multiple-valued logic can be viewed as an alternative approach to solving many problems in transmission, storage, and processing of large and even increasing amounts of informatio...
AROBOTS
1998
14 years 10 months ago
1998
We describe a uniform technique for representing both sensory data and the attentional state of an agent using a subset of modal logic with indexicals. The resulting representation...
112
click to vote
BMCBI
2011
14 years 5 months ago
2011
Background: Remote homology detection is a hard computational problem. Most approaches have trained computational models by using either full protein sequences or multiple sequenc...