5084 search results - page 104 / 1017 » Proving Possibility Properties |
148
click to vote
CACM
2010
15 years 5 months ago
2010
We report on the formal, machine-checked verification of microkernel from an abstract specification down to its C implementation. We assume correctness of compiler, assembly code,...
148
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
An information-theoretic analysis of a multi-keyhole channel, which includes a number of statistically independent keyholes with possibly different correlation matrices, is given. ...
145
click to vote
JIIS
2008
15 years 5 months ago
2008
An ever greater range of applications call for learning from sequences. Grammar induction is one prominent tool for sequence learning, it is therefore important to know its proper...
150
click to vote
LOGCOM
2008
15 years 5 months ago
2008
The capability of revising its beliefs upon new information in a rational and efficient way is crucial for an intelligent agent. The classical work in belief revision focuses on i...
123
click to vote
CIB
2005
15 years 5 months ago
2005
Unlike the data approached in traditional data mining activities, software data are featured with partial-repeatability or parepeatics, which is an invariant property that can neit...