1397 search results - page 157 / 280 » On the Need for Practical Formal Methods |
153
click to vote
ITS
2010
Springer
15 years 9 months ago
2010
Springer
The traditional, well established approach to finding out what works in education research is to run a randomized controlled trial (RCT) using a standard pretest and posttest desig...
192
click to vote
TKDE
2012
13 years 7 months ago
2012
—Traditional clustering techniques are inapplicable to problems where the relationships between data points evolve over time. Not only is it important for the clustering algorith...
172
Voted
FM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
This paper describes the conceptual and algorithmic evolutions of Memory Based Parametric Equalization (MPEQ) needed to exploit the potentialities of the method within the state-o...
158
Voted
MMM
2011
Springer
14 years 7 months ago
2011
Springer
In this paper we present a user-centric summarisation system that combines automatic visual-content analysis with user-interface design features as a practical method for home movi...