4573 search results - page 353 / 915 » Automated Reasoning |
158
click to vote
GIS
1998
ACM
15 years 6 months ago
1998
ACM
This paper describes the implementation of a triangulation based collapse algorithm in the general-purpose object oriented DBMS Magnum. The contribution of the paper is twofold. F...
171
click to vote
CSL
1999
Springer
15 years 6 months ago
1999
Springer
In this paper we present an overview of the German version of the Bell Labs text-to-speech system, a high-quality concatenative synthesis system with extensive text analysis capab...
179
click to vote
FLOPS
2010
Springer
15 years 5 months ago
2010
Springer
Injectivity is one of the important properties for functions while it is undecidable in general and decidable for linear treeless functions. In this paper, we show new sufficient c...
185
click to vote
ICCBR
2010
Springer
2010
Springer
Experience-Based Critiquing: Reusing Critiquing Experiences to Improve Conversational Recommendation
15 years 5 months ago
Product recommendation systems are now a key part of many e-commerce services and have proven to be a successful way to help users navigate complex product spaces. In this paper, w...
149
click to vote
LICS
2010
IEEE
15 years 5 months ago
2010
IEEE
We solve the open problem of the decidability of Boolean BI logic (BBI), which can be considered as the core of separation and spatial logics. For this, we define a complete phas...