Sciweavers

761 search results - page 60 / 153
» A Reactive Approach to Explanation
Sort
View
ISPW
2005
IEEE
15 years 10 months ago
Unifying Microprocess and Macroprocess Research
This paper proposes the unification of two complementary approaches to software process research. The two approaches can be characterized as macroprocess research, focused on pheno...
Leon J. Osterweil
SAS
2004
Springer
103views Formal Methods» more  SAS 2004»
15 years 9 months ago
Information Flow Analysis in Logical Form
Abstract. We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs t...
Torben Amtoft, Anindya Banerjee
IJCAI
1997
15 years 5 months ago
Challenges in Bridging Plan Synthesis Paradigms
In the last three years, several “radically new” and promising approaches have been developed for tackling the plan synthesis problem. Currently, these approaches exist in iso...
Subbarao Kambhampati
ALS
2003
Springer
15 years 9 months ago
Not Everything We Know We Learned
This is foremost a methodological contribution. It focuses on the foundation of anticipation and the pertinent implications that anticipation has on learning (theory and experiment...
Mihai Nadin
ICDCSW
2007
IEEE
15 years 10 months ago
Taxonomy of Email Reputation Systems
Today a common goal in the area of email security is to provide protection from a wide variety of threats by being more predictive instead of reactive and to identify legitimate m...
Dmitri Alperovitch, Paul Judge, Sven Krasser