917 search results - page 84 / 184 » Structural Testing of Component-Based Systems |
118
click to vote
AI
2002
Springer
15 years 2 months ago
2002
Springer
This paper provides algorithms that use an information-theoretic analysis to learn Bayesian network structures from data. Based on our three-phase learning framework, we develop e...
163
click to vote
ISCA
2011
IEEE
14 years 6 months ago
2011
IEEE
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...
161
Voted
IAJIT
2010
14 years 11 months ago
2010
: Finite Radon Transform mapper has the ability to increase orthogonality of sub-carriers, it is non sensitive to channel parameters variations, and has a small constellation energ...
118
click to vote
CONCUR
2000
Springer
15 years 5 months ago
2000
Springer
We introduce some new models of infinite-state transition systems. The basic model, called a (reversal-bounded) counter machine (CM), is a nondeterministic finite automaton augment...
135
click to vote
MTA
2010
15 years 19 days ago
2010
As the number of digital images is growing fast and Content-based Image Retrieval (CBIR) is gaining in popularity, CBIR systems should leap towards Webscale datasets. In this paper...