2702 search results - page 373 / 541 » Practically Applicable Formal Methods |
139
click to vote
JUCS
2008
15 years 2 months ago
2008
: After more than ten years of research aiming at defining methods and techniques to deliver personalized instruction, Adaptive Educational Hypermedia Systems have not made the jum...
113
click to vote
KAIS
2008
15 years 2 months ago
2008
Multirelational classification aims at discovering useful patterns across multiple inter-connected tables (relations) in a relational database. Many traditional learning techniques...
127
click to vote
SSDBM
2010
IEEE
15 years 22 days ago
2010
IEEE
Currently, a large amount of data can be best represented as graphs, e.g., social networks, protein interaction networks, etc. The analysis of these networks is an urgent research ...
133
click to vote
CDC
2009
IEEE
15 years 5 days ago
2009
IEEE
Recent results have suggested that online Model Predictive Control (MPC) can be computed quickly enough to control fast sampled systems. High-speed applications impose a hard real-...
143
click to vote
ICIP
2009
IEEE
15 years 2 days ago
2009
IEEE
The Expectation-Maximization (EM) algorithm is a popular tool in statistical estimation problems involving incomplete data or in problems which can be posed in a similar form, suc...