2062 search results - page 237 / 413 » Derivatives of Logical Formulas |
198
click to vote
QEST
2008
IEEE
16 years 28 days ago
2008
IEEE
We tackle the problem of non robustness of simulation and bisimulation when dealing with probabilistic processes. It is important to ignore tiny deviations in probabilities becaus...
175
click to vote
CIBCB
2007
IEEE
16 years 27 days ago
2007
IEEE
—DNA matching is a crucial step in sequence alignment. Since sequence alignment is an approximate matching process there is a need for good approximate algorithms. The process of...
183
click to vote
TPHOL
2007
IEEE
16 years 25 days ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
154
click to vote
CSL
2003
Springer
15 years 11 months ago
2003
Springer
The semantics of class-based languages can be defined in terms of objects only [8, 7, 1] if classes are viewed as objects with a constructor method. One obtains a store in which m...
163
click to vote
LPNMR
1999
Springer
15 years 10 months ago
1999
Springer
We introduce choice logic programs as negation-free datalog programs that allow rules to have exclusive-only (possibly empty) disjunctions in the head. Such programs naturally mod...