923 search results - page 124 / 185 » Proving the value of formal methods |
167
click to vote
ISBRA
2009
Springer
16 years 1 months ago
2009
Springer
Cheng and Church proposed a greedy deletion-addition algorithm to find a given number of k biclusters, whose mean squared residues (MSRs) are below certain thresholds and the miss...
170
click to vote
CRYPTO
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. While there is a great deal of sophistication in modern cryptology, simple (and simplistic) explanations of cryptography remain useful and perhaps necessary. Many of the ...
185
click to vote
ZUM
1991
Springer
15 years 9 months ago
1991
Springer
During 1990 and 1991 we carried out a survey of Z users in the UK; in this paper we present the results. Z is being used by a wide variety of companies for many different applicat...
163
click to vote
LOGCOM
2007
15 years 6 months ago
2007
Categorisation of objects into classes is currently supported by (at least) two ‘orthogonal’ methods. In logic-based approaches, classifications are defined through ontologi...
173
click to vote
EURASIP
1990
15 years 10 months ago
1990
Inversionof multilayersynchronous networks is a method which tries to answer questions like What kind of input will give a desired output?" or Is it possible to get a desired...