6800 search results - page 583 / 1360 » Testing with Functions as Specifications |
174
Voted
APWEB
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. The rapid growth of on-line information including multimedia contents during the last decade caused a major problem for Web users - there is too much information availabl...
223
click to vote
FLAIRS
2008
15 years 10 months ago
2008
Rule extraction is a technique aimed at transforming highly accurate opaque models like neural networks into comprehensible models without losing accuracy. G-REX is a rule extract...
228
Voted
PAMI
2008
15 years 7 months ago
2008
This paper proposes an image segmentation method named iterative region growing using semantics (IRGS), which is characterized by two aspects. First, it uses graduated increased ed...
244
Voted
JSAC
2007
15 years 7 months ago
2007
— A cross-layer packet scheduling scheme that streams pre-encoded video over wireless downlink packet access networks to multiple users is presented. The scheme can be used with ...
226
click to vote
MAGS
2007
15 years 7 months ago
2007
A protein is identified by a finite sequence of amino acids, each of them chosen from a set of 20 elements. The Protein Structure Prediction Problem is the problem of predicting...