6171 search results - page 702 / 1235 » The FrameNet Data and Software |
181
click to vote
UTP
2010
15 years 5 months ago
2010
Abstract. This paper presents a framework for reasoning about the security of confidential data within software systems. A novelty is that we use Hoare and He's Unifying Theor...
183
click to vote
EDM
2009
15 years 5 months ago
2009
This paper describes a novel method to create a quantitative model of an educational content domain of related practice item-types using learning curves. By using a pairwise test t...
196
click to vote
ICASSP
2009
IEEE
15 years 4 months ago
2009
IEEE
We have developed a VLSI chip for 5,000 word speakerindependent continuous speech recognition. This chip employs a context-dependent HMM (hidden Markov model) based speech recogni...
163
click to vote
ESWA
2010
15 years 4 months ago
2010
1 In this study, a novel robust clustering algorithm, robust interval competitive agglomeration (RICA) clustering algorithm, is proposed to overcome the problems of the outliers, t...
145
click to vote
IJUFKS
2010
15 years 4 months ago
2010
Interval uncertainty affects our decision making activities on a daily basis making the data structure of intervals of real numbers more and more popular in theoretical models and...