964 search results - page 113 / 193 » Scenario-driven modeling and validation of requirements mode... |
174
click to vote
ICANN
2007
Springer
16 years 6 days ago
2007
Springer
This paper proposes a novel approach for directly tuning the gaussian kernel matrix for one class learning. The popular gaussian kernel includes a free parameter, σ, that requires...
178
click to vote
VSTTE
2005
Springer
15 years 11 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
161
click to vote
RTAS
2005
IEEE
15 years 11 months ago
2005
IEEE
The increasing popularity of high-volume performancecritical Internet applications calls for a scalable server design that allows meeting individual response-time guarantees. Cons...
123
click to vote
MONET
2002
15 years 5 months ago
2002
In this paper we discuss the performance of a document distribution model that interconnects Web caches through a satellite channel. During recent years Web caching has emerged as...
162
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: The estimation of demographic parameters from genetic data often requires the computation of likelihoods. However, the likelihood function is computationally intractab...