Sciweavers

4757 search results - page 183 / 952
» Generalized Posynomial Performance Modeling
Sort
View
145
Voted
TACAS
2001
Springer
135views Algorithms» more  TACAS 2001»
15 years 7 months ago
Implementing a Multi-valued Symbolic Model Checker
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...
Marsha Chechik, Benet Devereux, Steve M. Easterbro...
126
Voted
IDA
2009
Springer
15 years 9 months ago
Two-Way Grouping by One-Way Topic Models
Abstract. We tackle the problem of new users or documents in collaborative filtering. Generalization over users by grouping them into user groups is beneficial when a rating is t...
Eerika Savia, Kai Puolamäki, Samuel Kaski
SIGIR
2006
ACM
15 years 8 months ago
Regularized estimation of mixture models for robust pseudo-relevance feedback
Pseudo-relevance feedback has proven to be an effective strategy for improving retrieval accuracy in all retrieval models. However the performance of existing pseudo feedback meth...
Tao Tao, ChengXiang Zhai
WOWMOM
2000
ACM
96views Multimedia» more  WOWMOM 2000»
15 years 7 months ago
An integrated mobility and traffic model for resource allocation in wireless networks
In a wireless communications network, the movement of mobile users presents significant technical challenges to providing efficient access to the wired broadband network. In this ...
Hisashi Kobayashi, Shun-Zheng Yu, Brian L. Mark
100
Voted
IAT
2006
IEEE
15 years 8 months ago
Representing Context for Multiagent Trust Modeling
We present a universal mechanism that can be combined with existing trust models to extend their capabilities towards efficient modelling of the situational (contextdependent) tr...
Martin Rehák, Milos Gregor, Michal Pechouce...