1981 search results - page 10 / 397 » The State of Change: A Survey |
117
click to vote
AAMAS
2005
Springer
14 years 10 months ago
2005
Springer
Cooperative multi-agent systems are ones in which several agents attempt, through their interaction, to jointly solve tasks or to maximize utility. Due to the interactions among t...
CORR
2002
Springer
14 years 10 months ago
2002
Springer
We address a general representation problem for belief change, and describe two interrelated representations for iterative nonprioritized change: a logical representation in terms...
JUCS
2007
14 years 10 months ago
2007
: This paper introduces model checking, originally conceived for checking finite state systems. It surveys its evolution to encompass finitely checkable properties of systems wit...
BMCBI
2010
14 years 10 months ago
2010
Background: Scoring functions, such as molecular mechanic forcefields and statistical potentials are fundamentally important tools in protein structure modeling and quality assess...
TCS
2008
14 years 10 months ago
2008
Genomes are dynamic molecules that are constantly undergoing mutations and rearrangements. The latter are large scale changes in a genome organisation that participate in the evol...