4595 search results - page 799 / 919 » Reasoning about Plans |
MST
2010
13 years 3 months ago
2010
This paper is devoted to the study of self-referential proofs and/or justifications, i.e., valid proofs that prove statements about these same proofs. The goal is to investigate wh...
RE
2010
Springer
13 years 3 months ago
2010
Springer
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
SEMWEB
2010
Springer
13 years 3 months ago
2010
Springer
The Semantic Web emphasizes encoding over modeling. It is built on the premise that ontology engineers can say something useful about the semantics of vocabularies by expressing th...
TCAD
2010
13 years 3 months ago
2010
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...
CHI
2011
ACM
13 years 13 days ago
2011
ACM
This paper argues for evaluating the impact of persuasive systems on users beyond metrics that focus on system usage, based on an interview study of 16 Wii Fit users. While explor...