1090 search results - page 176 / 218 » Problem Dependent Generalized Prewavelets |
134
click to vote
CORR
2012
Springer
13 years 8 months ago
2012
Springer
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm ...
150
click to vote
SDM
2012
SIAM
13 years 3 months ago
2012
SIAM
Objects linking with many other objects in an information network may imply various semantic relationships. Uncovering such knowledge is essential for role discovery, data cleanin...
106
Voted
ANLP
2000
15 years 2 months ago
2000
This paper explores the problem of identifying sentence boundaries in the transcriptions produced by automatic speech recognition systems. An experiment which determines the level...
119
click to vote
IJCV
1998
15 years 11 days ago
1998
The fact that objects in the world appear in different ways depending on the scale of observation has important implications if one aims at describing them. It shows that the not...
93
Voted
SIAMCOMP
2010
14 years 11 months ago
2010
We provide algorithms to count and enumerate representatives of the (right) ideal classes of an Eichler order in a quaternion algebra defined over a number field. We analyze the ...