17185 search results - page 238 / 3437 » Computational and Quantitative Studies |
172
click to vote
IGPL
2007
15 years 7 months ago
2007
This work studies the structure of proofs containing non-analytic cuts in the cut-based system, a sequent inference system in which the cut rule is not eliminable and the only bra...
170
click to vote
IJET
2006
15 years 7 months ago
2006
This paper presents an investigation of using the computer in English teaching at the secondary school in the UK, particularly in respect of reading and writing skills. Many studie...
174
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
In this work we present a novel method to model instance-level constraints within a clustering algorithm. Thereby, both similarity and dissimilarity constraints can be used coeval...
122
click to vote
ICPR
2002
IEEE
16 years 6 days ago
2002
IEEE
The instantaneous three-dimensional velocity field of a moving surface can be computed from a sequence of dense range data sets. Here we discuss the computation of the underlying...
158
click to vote
RT
2001
Springer
15 years 11 months ago
2001
Springer
Altering the viewing parameters of a 3D object results in computer graphics images of varying quality. One aspect of image quality is the composition of the image. While the esthet...