3742 search results - page 262 / 749 » On the Use of Formal Techniques for Validation |
157
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
The steering law model describes pointing device motion through constrained paths. Previous uses of the model are deficient because they are built using only error-free responses,...
138
click to vote
NOLISP
2007
Springer
16 years 22 days ago
2007
Springer
This paper presents the validation of the expressive content of an acted corpus produced for its use in speech synthesis. Firstly, objective techniques have been carried out by me...
170
click to vote
PROCEDIA
2010
15 years 5 months ago
2010
Recommender systems are widely used in many areas, especially in e-commerce. Recently, they are also applied in e-learning tasks such as recommending resources (e.g. papers, books...
165
click to vote
ICDM
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we devise an efficient algorithm for clustering market-basket data. Different from those of the traditional data, the features of market-basket data are known to b...
144
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
We propose a new technique for multiple-input multiple-output (MIMO) radar with colocated antennas. The essence of the proposed technique is to partition the transmitting array in...