6800 search results - page 1031 / 1360 » Testing with Functions as Specifications |
141
click to vote
COLING
2010
15 years 1 months ago
2010
In this paper, we propose a lexical senses representation system called E-HowNet, in which the lexical senses are defined by basic concepts. As a result, the meanings of expressio...
192
click to vote
EKNOW
2010
15 years 1 months ago
2010
Nowadays, industry and governments are faced with an increasing number of varying threats concerning the security of their valuable business processes. Due to the vast damage pote...
232
click to vote
JCIT
2010
15 years 1 months ago
2010
With an expanding of Web services giving same functionalities, Quality of Service (QoS) is becoming an important criterion for selection of the best available service. So users ne...
200
click to vote
JMLR
2010
15 years 1 months ago
2010
We propose a class of Bayesian networks appropriate for structured prediction problems where the Bayesian network's model structure is a function of the predicted output stru...
179
click to vote
SIAMSC
2010
15 years 1 months ago
2010
In this paper we proposed quasi-Newton and limited memory quasi-Newton methods for objective functions defined on Grassmannians or a product of Grassmannians. Specifically we defin...