16725 search results - page 2603 / 3345 » Engineering Software Correctness |
209
click to vote
TCOM
2010
15 years 2 months ago
2010
In order to provide a concise time-varying SISO channel model, the principle of maximum entropy is applied to scattering function derivation. The resulting model is driven by few p...
219
click to vote
TII
2010
15 years 2 months ago
2010
-This paper deals with refactoring of execution control charts of IEC 61499 basic function blocks as a means to improve the engineering support potential of the standard in develop...
226
click to vote
SIAMCOMP
2011
14 years 10 months ago
2011
The Gibbard-Satterthwaite theorem states that every non-dictatorial election rule among at least three alternatives can be strategically manipulated. We prove a quantitative versi...
210
click to vote
WWW
2008
ACM
16 years 8 months ago
2008
ACM
Form mapping is the key problem that needs to be solved in order to get access to the hidden web. Currently available solutions for fully automatic mapping are not ready for comme...
173
click to vote
WWW
2004
ACM
16 years 8 months ago
2004
ACM
We developed a diagrammatic inference system for the World Wide Web. Our system enables the creation of diagrams such that the information contained in them can be searched and in...