Sciweavers

41 search results - page 6 / 9
» Towards Automated Related Work Summarization
Sort
View
ARGMAS
2009
Springer
14 years 10 hour ago
Emotions in Rational Decision Making
Emotions play an important role in human decision making. This often has a beneficial effect, and so it is desirable to explore whether emotions can also play a role in agent dec...
Fahd Saud Nawwab, Trevor J. M. Bench-Capon, Paul E...
CSL
2005
Springer
14 years 27 days ago
Towards a Typed Geometry of Interaction
Abstract. Girard’s Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut-elimination. We introduce a typed version of GoI, called Mult...
Esfandiar Haghverdi, Philip J. Scott
DLOG
2009
13 years 5 months ago
Reasoning About Typicality in ALC and EL
In this work we summarize our recent results on extending Description Logics for reasoning about prototypical properties and inheritance with exceptions. First, we focus our attent...
Laura Giordano, Valentina Gliozzi, Nicola Olivetti...
ISSRE
2002
IEEE
14 years 8 days ago
Toward A Quantifiable Definition of Software Faults
An important aspect of developing models relating the number and type of faults in a software system to a set of structural measurement is defining what constitutes a fault. By de...
John C. Munson, Allen P. Nikora
CORR
2010
Springer
67views Education» more  CORR 2010»
13 years 7 months ago
Life-Cycles and Mutual Effects of Scientific Communities
Community effects on the behaviour of individuals, the community itself and other communities can be observed in a wide range of applications. This is true in scientific research,...
Václav Belák, Marcel Karnstedt, Cono...