2152 search results - page 192 / 431 » On Automating the Calculus of Relations |
148
click to vote
FLOPS
2006
Springer
15 years 10 months ago
2006
Springer
We propose a new method to control memory resources by static analysis. For this, we introduce the notion of sup-interpretation which bounds from above the size of function outputs...
149
click to vote
DLOG
2007
15 years 8 months ago
2007
Abstract. Many activities related to semantically annotated resources can be enabled by a notion of similarity among them. We propose a method for defining a family of semi-distan...
146
click to vote
DLOG
2008
15 years 8 months ago
2008
Abstract. We show that subsumption problems in EL and related description logics can be expressed as uniform word problems in classes of semilattices with monotone operators. We us...
144
click to vote
CSL
2008
Springer
15 years 8 months ago
2008
Springer
We present a game-based semantic framework in which the time complexity of any IMELL proof can be read out of its interpretation. This gives a compositional view of the geometry of...
293
click to vote
CSREASAM
2006
15 years 8 months ago
2006
- INFIR (Interactive Fingerprint Recognition) is an interactive fingerprint recognition and visualization tool. The tool is designed to cope with the problems related to automated ...