5647 search results - page 180 / 1130 » A word from the editor |
156
click to vote
ICLA
2009
Springer
16 years 1 months ago
2009
Springer
One of the surprising developments in the area of program verification is how ideas introduced by logicians in the early part of the 20th Century ended up yielding by the 21 Centu...
155
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
One of the surprising developments in the area of program verification is how ideas introduced originally by logicians in the 1950s ended up yielding by 2003 an industrial-standard...
156
click to vote
IQ
2007
15 years 8 months ago
2007
: We introduce an end-to-end framework for data quality that integrates business strategy, data quality models, and supporting investigative and governance processes. We also descr...
169
click to vote
JSC
2010
15 years 5 months ago
2010
We examine designs and binary codes associated with the line graph of the n-cube Qn, i.e. the Hamming graph H(n, 2). We find the automorphism groups and the parameters of the cod...
167
click to vote
JUCS
2010
15 years 1 months ago
2010
: Several algorithms have been proposed to compute sets of optima, Pareto sets, and sets of Nash equilibria. In this paper, we present a general algorithm for decision-related set ...