Sciweavers

676 search results - page 75 / 136
» Fixed-Parameter Approximation: Conceptual Framework and Appr...
Sort
View
TCS
2008
14 years 9 months ago
Integration of a security type system into a program logic
Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensu...
Reiner Hähnle, Jing Pan, Philipp Rümmer,...
VISAPP
2007
14 years 11 months ago
Modeling non-gaussian noise for robust image analysis
Accurate noise models are important to perform reliable robust image analysis. Indeed, many vision problems can be seen as parameter estimation problems. In this paper, two noise m...
Sio-Song Ieng, Jean-Philippe Tarel, Pierre Charbon...
JC
1998
65views more  JC 1998»
14 years 9 months ago
Monte Carlo Complexity of Global Solution of Integral Equations
The problem of global solution of Fredholm integral equations is studied. This means that one seeks to approximate the full solution function (as opposed to the local problem, whe...
Stefan Heinrich
COR
2008
131views more  COR 2008»
14 years 8 months ago
Queueing analysis of a server node in transaction processing middleware systems
Quantitative performance modeling of complex information systems is of immense importance for designing enterprise e-business infrastructures and applications. In this paper, we p...
Wei Xiong, Tayfur Altiok
BMVC
2010
14 years 8 months ago
Embedding Visual Words into Concept Space for Action and Scene Recognition
In this paper we propose a novel approach to introducing semantic relations into the bag-of-words framework. We use the latent semantic models, such as LSA and pLSA, in order to d...
Behrouz Khadem, Elahe Farahzadeh, Deepu Rajan, And...