577 search results - page 78 / 116 » Computing Rational Bisectors |
CAV
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interp...
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. In this paper, we consider the problem of ontology evolution in the face of a change operation. We devise a general-purpose algorithm for determining the effects and side...
HCI
2007
13 years 9 months ago
2007
The objective of this research is to present the symbiosis concept that integrates creativity and the recent research issues in affective response to products shapes. The major ide...
NLUCS
2004
13 years 9 months ago
2004
Abstract. Cognitive Dialogue Management is a novel approach to Dialogue Management which proposes a novel architecture for building up advanced interactive interfaces in natural la...
WCE
2007
13 years 9 months ago
2007
— A form of Gauss-Quadrature rule over [0,1] has been investigated that involves the derivative of the integrand at the pre-assigned left or right end node. This situation arises...