Sciweavers

892 search results - page 116 / 179
» Strategies in sentential reasoning
Sort
View
ALGORITHMICA
1999
156views more  ALGORITHMICA 1999»
15 years 4 months 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
CVPR
2008
IEEE
16 years 6 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 4 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
ICCD
2005
IEEE
176views Hardware» more  ICCD 2005»
16 years 1 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 ...
127
Voted
LICS
2009
IEEE
15 years 11 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