6014 search results - page 977 / 1203 » Structural Testing with Use Cases |
128
click to vote
NIPS
2004
15 years 5 months ago
2004
We propose a novel a framework for deriving approximations for intractable probabilistic models. This framework is based on a free energy (negative log marginal likelihood) and ca...
125
click to vote
SSWMC
2004
15 years 5 months ago
2004
Steganalysis in the wide sense consists of first identifying suspicious objects and then further analysis during which we try to identify the steganographic scheme used for embedd...
140
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...
148
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
In this paper, the high density out-of-plane microprobe array is demonstrated. The fabrication processes of proposed device including bulk micromachining, thin film deposition and ...
139
click to vote
EAAI
2008
15 years 4 months ago
2008
Fault tolerant measurements are an essential requirement for system identification, control and protection. Measurements can be corrupted or interrupted due to sensor failure, bro...