248 search results - page 25 / 50 » A Unifying Model of Variables and Names |
SSS
2007
Springer
14 years 3 months ago
2007
Springer
In this paper, we concentrate on distributed algorithms for automated synthesis of fault-tolerant programs in the high atomicity model, where all processes can read and write all p...
HICSS
2003
IEEE
14 years 3 months ago
2003
IEEE
The Technology Acceptance Model (TAM) predicts whether users will ultimately use software applications based upon causal relationships among belief and attitudinal constructs that...
BMCBI
2007
13 years 10 months ago
2007
Background: Designing appropriate machine learning methods for identifying genes that have a significant discriminating power for disease outcomes has become more and more importa...
ICCV
2009
IEEE
15 years 2 months ago
2009
IEEE
This paper addresses real-time automatic visual tracking,
labeling and classification of a variable number of
objects such as pedestrians or/and vehicles, under timevarying
illu...
ICML
2010
IEEE
13 years 11 months ago
2010
IEEE
We consider the problem of how to improve the efficiency of Multiple Kernel Learning (MKL). In literature, MKL is often solved by an alternating approach: (1) the minimization of ...