3928 search results - page 405 / 786 » order 2006 |
207
click to vote
IJFCS
2006
15 years 7 months ago
2006
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
190
click to vote
IJKL
2006
15 years 7 months ago
2006
: Intelligent Educational Systems (IESs) need large amounts of educational content that is typically not provided by the creators of these systems. In this paper we discuss a new a...
219
click to vote
IJNSEC
2006
15 years 7 months ago
2006
Password authentication is one of the simplest and the most convenient authentication mechanisms to deal with secret data over insecure networks. It is more frequently required in...
211
click to vote
IJON
2006
15 years 7 months ago
2006
A correlation-based similarity measure is derived for generalized relevance learning vector quantization (GRLVQ). The resulting GRLVQ-C classifier makes Pearson correlation availa...
166
click to vote
IJPP
2006
15 years 7 months ago
2006
Chip multiprocessors hold great promise for achieving scalability in future systems. Microthreaded chip multiprocessors add a means of exploiting legacy code in such systems. Usin...