2909 search results - page 270 / 582 » Consistency of the theory of contexts |
162
click to vote
SBP
2010
Springer
15 years 10 months ago
2010
Springer
We propose a dynamical systems model that captures the daily fluctuations of human weight change, incorporating both physiological and psychological factors. The model consists of...
205
click to vote
APN
2006
Springer
15 years 10 months ago
2006
Springer
Stochastic Petri nets (SPNs) have been proved useful for the quantitative analysis of systems. This paper introduces ArgoSPE, a tool for the performance evaluation of software syst...
172
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Game theory is a widely used formal model for studying strategical interactions between agents. Boolean games [8] are two players, zero-sum static games where players...
148
click to vote
DLOG
2008
15 years 9 months ago
2008
Abstract. Revision of a Description Logic-based ontology to incorporate newly received information consistently is an important problem for the lifecycle of ontologies. Many approa...
201
click to vote
DALT
2007
Springer
15 years 8 months ago
2007
Springer
Online dispute resolution is becoming the main method when dealing with a conflict in e-commerce. A family of defeasible reasoning patterns is used to provide a useful link betwee...