Sciweavers

892 search results - page 116 / 179
» Strategies in sentential reasoning
Sort
View
115
Voted
ALGORITHMICA
1999
156views more  ALGORITHMICA 1999»
15 years 13 days ago
Competitive Optimal On-Line Leasing
Consider an on-line player who needs some equipment (e.g., a computer) for an initially unknown number of periods. At the start of each period it is determined whether the player w...
Ran El-Yaniv, R. Kaniel, Nathan Linial
102
Voted
CVPR
2008
IEEE
16 years 2 months ago
Two-Dimensional Active Learning for image classification
In this paper, we propose a two-dimensional active learning scheme and show its application in image classification. Traditional active learning methods select samples only along ...
Guo-Jun Qi, Xian-Sheng Hua, Yong Rui, Jinhui Tang,...
KDD
2003
ACM
269views Data Mining» more  KDD 2003»
16 years 1 months ago
Maximizing the spread of influence through a social network
Models for the processes by which ideas and influence propagate through a social network have been studied in a number of domains, including the diffusion of medical and technolog...
David Kempe, Jon M. Kleinberg, Éva Tardos
113
Voted
ICCD
2005
IEEE
176views Hardware» more  ICCD 2005»
15 years 9 months ago
A Formal Framework for Modeling and Analysis of System-Level Dynamic Power Management
Recent advances in Dynamic Power Management (DPM) techniques have resulted in designs that support a rich set of power management options, both at the hardware and software levels...
Shrirang M. Yardi, Karthik Channakeshava, Michael ...
103
Voted
LICS
2009
IEEE
15 years 7 months ago
Ludics with Repetitions (Exponentials, Interactive Types and Completeness)
Abstract. Ludics is peculiar in the panorama of game semantics: we first have the definition of interaction-composition and then we have semantical types, as a set of strategies ...
Michele Basaldella, Claudia Faggian