1743 search results - page 100 / 349 » Generalized Modal Satisfiability |
118
click to vote
JCT
2002
15 years 2 months ago
2002
In [1], the author generalized Ehrhart's idea ([2]) of counting lattice points in dilated rational polytopes: Given a rational polytope, that is, a polytope with rational vert...
175
click to vote
TABLEAUX
2000
Springer
15 years 6 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
117
click to vote
MSCS
2006
15 years 3 months ago
2006
This paper revisits the authors' notion of a differential category from a different perspective. A differential category is an additive symmetric monoidal category with a como...
ICIP
2001
IEEE
16 years 4 months ago
2001
IEEE
Spectral data estimation from image data is an ill-posed problem since (i) due to the integral nature of solid-state light sensors the same output can be obtained from an infinity...
143
click to vote
WWW
2004
ACM
16 years 3 months ago
2004
ACM
This paper describes an XPath-based discourse analysis module for Spoken Dialogue Systems that allows the dialogue author to easily manipulate and query both the user input's...