Sciweavers

5550 search results - page 925 / 1110
» Different Approaches to Proof Systems
Sort
View
KDD
2005
ACM
153views Data Mining» more  KDD 2005»
16 years 7 months ago
Using retrieval measures to assess similarity in mining dynamic web clickstreams
While scalable data mining methods are expected to cope with massive Web data, coping with evolving trends in noisy data in a continuous fashion, and without any unnecessary stopp...
Olfa Nasraoui, Cesar Cardona, Carlos Rojas
ICC
2008
IEEE
105views Communications» more  ICC 2008»
16 years 1 months ago
Inter-Cell Interference Management in WiMAX Downlinks by A Stackelberg Game between BSs
We develop a game theoretic framework for effective and adaptive inter-cell interference management in the OFDMA-based WiMAX/3GPP-LTE systems. Such approach requires no fixed spe...
Yingda Chen, Koon Hoo Teo, Shalinee Kishore, Jinyu...
INEX
2004
Springer
16 years 9 hour ago
The Interactive Track at INEX 2004
An interactive track was included in INEX for the first time in 2004. The main aim of the track was to study the behaviour of searchers when interacting with components of XML doc...
Anastasios Tombros, Birger Larsen, Saadia Malik
PLDI
2003
ACM
15 years 12 months ago
Compile-time dynamic voltage scaling settings: opportunities and limits
With power-related concerns becoming dominant aspects of hardware and software design, significant research effort has been devoted towards system power minimization. Among run-t...
Fen Xie, Margaret Martonosi, Sharad Malik
INFOCOM
2002
IEEE
15 years 11 months ago
How to market-manage a QoS network
This paper describes a control mechanism for a future Internet. It is an economic mechanism that enables users to choose different pairs of price/QoS priority levels for network se...
Jörn Altmann, Huw Oliver, Hans Daanen, Alfons...