2138 search results - page 226 / 428 » Logical Step-Indexed Logical Relations |
150
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
One of the keys to the success of the TPTP and related projects is their consistent use of the TPTP language. The ability of the TPTP language to express solutions as well as probl...
277
click to vote
WILF
2009
Springer
16 years 5 months ago
2009
Springer
This paper presents a novel method aimed to free form deformation
function approximation for purpose of image registration. The
method is currently feature-based. The algorithm i...
128
click to vote
ER
2007
Springer
16 years 23 days ago
2007
Springer
We consider the problem of adding both equality and order generating dependencies to Web ontology languages such as OWL DL that are based on description logics. Such dependencies u...
159
click to vote
VLDB
2005
ACM
16 years 2 days ago
2005
ACM
A key challenge for companies is to manage customer relationships as an asset. To create an effective toolkit for the analysis of customer relationships, a combination of relation...
162
click to vote
RSCTC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present the next version (ver. 2.1) of the Rough Set Exploration System – a software tool featuring a library of methods and a graphical user interface supporting va...