Sciweavers

4757 search results - page 129 / 952
» Generalized Posynomial Performance Modeling
Sort
View
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
13 years 8 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
PAMI
2010
249views more  PAMI 2010»
13 years 8 months ago
A Dynamic Texture-Based Approach to Recognition of Facial Actions and Their Temporal Models
—In this work we propose a dynamic-texture-based approach to the recognition of facial Action Units (AUs, atomic facial gestures) and their temporal models (i.e., sequences of te...
Sander Koelstra, Maja Pantic, Ioannis Patras
PRL
2008
88views more  PRL 2008»
13 years 9 months ago
Time-efficient spam e-mail filtering using n-gram models
In this paper, we propose spam e-mail filtering methods having high accuracies and low time complexities. The methods are based on the n-gram approach and a heuristics which is re...
Ali Çiltik, Tunga Güngör
ANOR
2007
81views more  ANOR 2007»
13 years 9 months ago
A conditional-SGT-VaR approach with alternative GARCH models
This paper proposes a conditional technique for the estimation of VaR and expected shortfall measures based on the skewed generalized t (SGT) distribution. The estimation of the co...
Turan G. Bali, Panayiotis Theodossiou
ECIR
2010
Springer
13 years 11 months ago
Category-Based Query Modeling for Entity Search
Abstract. Users often search for entities instead of documents and in this setting are willing to provide extra input, in addition to a query, such as category information and exam...
Krisztian Balog, Marc Bron, Maarten de Rijke