5550 search results - page 106 / 1110 » Different Approaches to Proof Systems |
176
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Bayesian networks have extensively been used in numerous fields including artificial intelligence, decision theory and control. Its ability to utilize noisy and missing data ...
145
click to vote
SIGCPR
2006
ACM
16 years 10 days ago
2006
ACM
All Information Technology (IT) systems have architecture and these architectures are developed by people, frequently called IT architects. These people vary in their capabilities...
160
click to vote
FQAS
2009
Springer
15 years 11 months ago
2009
Springer
Some recent works have shown that the “perfect” selection of the best IR system per query could lead to a significant improvement on the retrieval performance. Motivated by thi...
147
click to vote
ICSE
2009
IEEE-ACM
16 years 7 months ago
2009
IEEE-ACM
Designers of concurrent programs are faced with many choices of synchronization mechanisms, among which clear functional trade-offs exist. Making synchronization customizable is h...
187
click to vote
GRID
2000
Springer
15 years 10 months ago
2000
Springer
Resource management in the typical Grid environment based on multi-MPP systems or clusters today still is one of the challenging problems. We will present MeSch, a solution for the...