6800 search results - page 627 / 1360 » Testing with Functions as Specifications |
178
Voted
IADIS
2003
15 years 8 months ago
2003
Despite numerous frameworks and models proposed in the literature, Information Systems (IS) assessment still remains elusive. Above all, there is little agreement on the contribut...
235
click to vote
NIPS
2003
15 years 8 months ago
2003
We describe a nonparametric Bayesian approach to generalizing from few labeled examples, guided by a larger set of unlabeled objects and the assumption of a latent tree-structure ...
205
click to vote
ACL
1998
15 years 8 months ago
1998
A large spoken dialogue translation system imposes both engineering and linguistic constraints on the way in which linguistic information is communicated between modules. We descr...
207
click to vote
MVA
2000
15 years 8 months ago
2000
Previous works on range image segmentation concentrate on surface patches that can be well represented by certain mathematical functions. In this paper we consider the more qualit...
156
click to vote
CEC
2010
IEEE
15 years 8 months ago
2010
IEEE
Large-scale global optimization (LSGO) is a very important and challenging task in optimization domain, which is embedded in many scientific and engineering applications. In this p...