Sciweavers

1308 search results - page 216 / 262
» Bayesian Algorithmic Mechanism Design
Sort
View
PERCOM
2008
ACM
15 years 9 days ago
CASD: Management of a context-aware service directory
Traditional web service discovery is strongly related to the use of service directories. Especially in the case of mobile web services, where both service requestors and providers...
Christos Doulkeridis, Michalis Vazirgiannis
90
Voted
NJC
2006
86views more  NJC 2006»
15 years 9 days ago
Structured Formal Development in Isabelle
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
Maksym Bortin, Einar Broch Johnsen, Christoph L&uu...
80
Voted
TCOM
2008
98views more  TCOM 2008»
15 years 8 days ago
Performance evaluation of multi-hop CSMA/CA networks in fading environments
The performance of multi-hop CSMA/CA networks has in most cases been evaluated via simulations, or analytically using a perfect collision channel model. Using such methods, one ca...
Duong A. Hoang, Ronald A. Iltis
105
Voted
TIP
2008
124views more  TIP 2008»
15 years 8 days ago
GAFFE: A Gaze-Attentive Fixation Finding Engine
Abstract-- The ability to automatically detect visually interesting regions in images has many practical applications, especially in the design of active machine vision and automat...
Umesh Rajashekar, Ian van der Linde, Alan C. Bovik...
164
Voted
TKDE
2008
378views more  TKDE 2008»
15 years 8 days ago
Modeling Image Data for Effective Indexing and Retrieval in Large General Image Databases
In this paper, we propose an image semantic model based on the knowledge and criteria in the field of linguistics and taxonomy. Our work bridges the "semantic gap" by sea...
Xiaoyan Li, Lidan Shou, Gang Chen, Tianlei Hu, Jin...