277 search results - page 19 / 56 » Introducing adaptive assistance in adaptive testing |
89
Voted
CBSQ
2003
Springer
15 years 5 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...
104
click to vote
TPHOL
2008
IEEE
15 years 6 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
16 years 23 days 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 6 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...
109
click to vote
ECCV
2006
Springer
16 years 1 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...