3374 search results - page 322 / 675 » Explaining Similarity of Terms |
182
click to vote
ADG
2000
Springer
15 years 11 months ago
2000
Springer
In this paper we propose a bracket algebra based elimination method for automated generation of readable proofs for theorems in incidence geometry. This method is based on two tech...
144
click to vote
CIKM
2000
Springer
15 years 11 months ago
2000
Springer
We consider the problem of browsing the top ranked portion of the documents returned by an information retrieval system. We describe an interactive relevance feedback agent that a...
172
click to vote
ISCAS
1999
IEEE
15 years 11 months ago
1999
IEEE
A class of complementary IIR filters is introduced. One of these filters can be realized as a tapped cascaded interconnection of identical allpass subfilters. The complementary fi...
156
click to vote
PG
1999
IEEE
15 years 11 months ago
1999
IEEE
Uniform cubic B-spline functions have been used for mapping functions in various areas such as image warping and morphing, 3D deformation, and volume morphing. The injectivity (on...
190
click to vote
EUROMICRO
1998
IEEE
15 years 11 months ago
1998
IEEE
Software quality engineering is concerned with building software products with required quality and assessing the level of quality. Software processes are important assets in achi...