979 search results - page 66 / 196 » Presentations for Abstract Context Institutions |
ECAI
2000
Springer
14 years 19 days ago
2000
Springer
Abstract. A conceptual framework, whose goal is the improvement of efficiency of machine learning, is presented. The framework is designed in a broader context of problem solver (P...
PEPM
1998
ACM
14 years 15 days ago
1998
ACM
Abstract. Source-program modifications can make a partial evaluator yield dramatically better results. For example, eta-redexes can preserve static data flow by acting as an interf...
AGENTS
1997
Springer
14 years 13 days ago
1997
Springer
Abstract. A special kind of anticipation is when an anticipated undesired situation makes an agent adapt its behavior in order to prevent that this situation will occur. In this ch...
CSFW
2010
IEEE
14 years 6 days ago
2010
IEEE
Abstract—Layout randomization is a powerful, popular technique for software protection. We present it and study it in programming-language terms. More specifically, we consider ...
AUSAI
2006
Springer
14 years 21 hour ago
2006
Springer
Abstract. In order to apply nonmonotonic logics for specifying industrial automation controllers, we define (1) a method to extend atemporal nonmonotonic logics with temporal opera...