4636 search results - page 288 / 928 » Modelling and Validation with VipTool |
WAN
1998
Springer
13 years 12 months ago
1998
Springer
We present a model for the parallel performance of algorithms that consist of concurrent, two-dimensional wavefronts implemented in a message passing environment. The model combine...
FAC
2008
13 years 8 months ago
2008
This paper presents a formal model and a systematic approach to the validation of communication tures at a high level of abstraction. This model is described mathematically by a fu...
JAIR
2006
13 years 8 months ago
2006
A -model is a satisfying assignment of a Boolean formula for which any small alteration, such as a single bit flip, can be repaired by flips to some small number of other bits, yi...
ICCV
2003
IEEE
14 years 10 months ago
2003
IEEE
The objective of active recognition is to iteratively collect the next "best" measurements (e.g., camera angles or viewpoints), to maximally reduce ambiguities in recogn...
ICASSP
2009
IEEE
14 years 3 months ago
2009
IEEE
In this paper, block diagonal linear discriminant analysis (BDLDA) is improved and applied to gene expression data. BDLDA is a classification tool with embedded feature selection...