806 search results - page 115 / 162 » A Practitioners |
CORR
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amou...
CORR
2008
Springer
13 years 11 months ago
2008
Springer
Information estimates such as the "direct method" of Strong et al. (1998) sidestep the difficult problem of estimating the joint distribution of response and stimulus by...
CORR
2008
Springer
13 years 11 months ago
2008
Springer
Hidden Markov Models (HMMs) are one of the most fundamental and widely used statistical tools for modeling discrete time series. In general, learning HMMs from data is computation...
GRID
2008
Springer
13 years 11 months ago
2008
Springer
Traditional resource management techniques (resource allocation, admission control and scheduling) have been found to be inadequate for many shared Grid and distributed systems th...
ESE
2006
13 years 11 months ago
2006
Agile methods have evolved as a bottom-up approach to software development. However, as the software in embedded products is only one part of development projects, agile methods mu...