297 search results - page 27 / 60 » Multi-paradigmatic Model-Based Testing |
KDD
2006
ACM
14 years 8 months ago
2006
ACM
Long-term search history contains rich information about a user's search preferences. In this paper, we study statistical language modeling based methods to mine contextual i...
COMPSAC
2002
IEEE
14 years 22 days ago
2002
IEEE
The method of choice of the software reliability models based on the analysis of assumptions and compatibility both input and output parameters is offered. This method is illustra...
BILDMED
2008
13 years 9 months ago
2008
In this paper a framework for the segmentation of cardiac MR image sequences using spatio-temporal appearance models is presented. The method splits the 4D space into 2 separate su...
WCE
2007
13 years 9 months ago
2007
— In this paper a new approach to optimize nuclear power plant designs based on global risk reduction are described. In design the focus is on as components quality as redundancy...
HPCA
2002
IEEE
14 years 22 days ago
2002
IEEE
This paper proposes the use of formal feedback control theory as a way to implement adaptive techniques in the processor architecture. Dynamic thermal management (DTM) is used as ...