Sciweavers

29079 search results - page 5488 / 5816
» Design Of Future Systems
Sort
View
CORR
2011
Springer
210views Education» more  CORR 2011»
14 years 10 months ago
Binary Sequent Calculi for Truth-invariance Entailment of Finite Many-valued Logics
In this paper we consider the class of truth-functional many-valued logics with a finite set of truth-values. The main result of this paper is the development of a new binary sequ...
Zoran Majkic
CORR
2011
Springer
162views Education» more  CORR 2011»
14 years 10 months ago
Optimal Power Cost Management Using Stored Energy in Data Centers
Since the electricity bill of a data center constitutes a significant portion of its overall operational costs, reducing this has become important. We investigate cost reduction o...
Rahul Urgaonkar, Bhuvan Urgaonkar, Michael J. Neel...
CSMR
2011
IEEE
14 years 10 months ago
RTFM (Read the Factual Mails) - Augmenting Program Comprehension with Remail
—The advent of globalization has led to the adoption of distributed software development as a common practice. One of its drawbacks -the absence of impromptu meetingsis tackled w...
Alberto Bacchelli, Michele Lanza, Vitezslav Humpa
HICSS
2011
IEEE
264views Biometrics» more  HICSS 2011»
14 years 10 months ago
The Kukui Cup: A Dorm Energy Competition Focused on Sustainable Behavior Change and Energy Literacy
Abstract—The Kukui Cup is an advanced dorm energy competition whose goal is to investigate the relationships among energy literacy, sustained energy conservation, and information...
Robert S. Brewer, George E. Lee, Philip M. Johnson
ICASSP
2011
IEEE
14 years 10 months ago
Error compensation and reliability based view synthesis
View synthesis offers a great flexibility in generating free viewpoint television (FTV) and 3D video (3DV). However, the depth-image-based view synthesis approach is very sensiti...
Wenxiu Sun, Oscar C. Au, Lingfeng Xu, Sung Him Chu...
« Prev « First page 5488 / 5816 Last » Next »