3742 search results - page 703 / 749 » On the Use of Formal Techniques for Validation |
159
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Data mining is a useful decision support technique that can be used to discover production rules in warehouses or corporate data. Data mining research has made much effort to appl...
171
click to vote
TPDS
2008
15 years 6 months ago
2008
Due to the lack of stability and reliability in peer-to-peer networks, multimedia streaming over peer-to-peer networks represents several fundamental engineering challenges. First...
162
click to vote
JUCS
2010
15 years 4 months ago
2010
: In Collaborative Learning, groups of students work together using traditional and computer-based tools or applications. Participants are continuously moving and reorganizing in g...
167
click to vote
NA
2010
15 years 4 months ago
2010
In the numerical solution of ODEs, it is now possible to develop efficient techniques that will deliver approximate solutions that are piecewise polynomials. The resulting methods...
177
click to vote
PRL
2010
15 years 4 months ago
2010
: Single training image face recognition is one of main challenges to appearance-based pattern recognition techniques. Many classical dimensionality reduction methods such as LDA h...