277 search results - page 19 / 56 » Introducing adaptive assistance in adaptive testing |
CBSQ
2003
Springer
15 years 2 months ago
2003
Springer
There is growing interest in the notion of software development through the planned integration of COTS (Commercial Off-The-Shelf) products. The potential advantages of this integ...
TPHOL
2008
IEEE
15 years 3 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
ICIP
2009
IEEE
15 years 10 months ago
2009
IEEE
Suppression of ringing effect is a challenging problem. It is mainly caused by absence of effective methods of ringing artifact detection. In this paper we introduce a ringing est...
BIBM
2008
IEEE
15 years 4 months ago
2008
IEEE
Understanding what are the characteristics of proteinprotein interfaces is at the core of numerous applications. This paper introduces a method in which the proteins are described...
ECCV
2006
Springer
15 years 11 months ago
2006
Springer
Image restoration is a keen problem of low level vision. In this paper, we propose a novel - assumption-free on the noise model - technique based on random walks for image enhancem...