Sciweavers

7839 search results - page 311 / 1568
» What's there and what's not
Sort
View
AIML
1998
15 years 3 months ago
Propositions, Propositional Attitudes and Belief Revision
In this paper I will propose a new approach to certain semantic puzzles due to Frege, Kripke and others, and the question of propositional attitudes, via the notion of belief revi...
Rohit Parikh
CC
2009
Springer
116views System Software» more  CC 2009»
16 years 2 months ago
A Framework for Exploring Optimization Properties
Important challenges for compiler optimization include determining what optimizations to apply, where to apply them and what is a good sequence in which to apply them. To address t...
Min Zhao, Bruce R. Childers, Mary Lou Soffa
CHI
2010
ACM
15 years 8 months ago
The design of eco-feedback technology
Eco-feedback technology provides feedback on individual or group behaviors with a goal of reducing environmental impact. The history of eco-feedback extends back more than 40 year...
Jon Froehlich, Leah Findlater, James A. Landay
93
Voted
ISEUD
2009
Springer
15 years 8 months ago
Males' and Females' Script Debugging Strategies
Little research has addressed IT professionals’ script debugging strategies, or considered whether there may be gender differences in these strategies. What strategies do male an...
Valentina Grigoreanu, James Brundage, Eric Bahna, ...
OTM
2009
Springer
15 years 8 months ago
Towards a Common Platform to Support Business Processes, Services and Semantics
The search for the Holy Grail in achieving interoperability of business processes, services and semantics continues with every new type or search for the Silver Bullet. Most approa...
Baba Piprani