6800 search results - page 214 / 1360 » Testing with Functions as Specifications |
149
click to vote
WER
2001
Springer
15 years 8 months ago
2001
Springer
In CBSD, the possible benefits of COTS software development, such as low cost, low risk, and high quality, cannot be satisfactorily achieved due to inadequate and/or incomplete pro...
134
click to vote
CGI
1997
IEEE
15 years 8 months ago
1997
IEEE
The recent developments in image-based rendering have enabled a representation of virtual environments based on a simulation of panoramas, which we call virtual panoramas. Current...
114
click to vote
VLDB
1998
ACM
15 years 8 months ago
1998
ACM
The goal of the COKO-KOLA project [10, 91 is to express rules of rule-basedoptimizers in a mannerpermitting verification with a theoremprover. In [IO], we consideredquerytransform...
127
click to vote
MOC
2000
15 years 3 months ago
2000
Abstract. The distribution of ideal class groups of Fq(T, M(T)) is examined for degree-four monic polynomials M Fq[T] when Fq is a finite field of characteristic greater than 3 wi...
114
click to vote
ICML
2006
IEEE
16 years 5 months ago
2006
IEEE
When constructing a classifier from labeled data, it is important not to assign too much weight to any single input feature, in order to increase the robustness of the classifier....