1537 search results - page 267 / 308 » On sets not belonging to algebras |
IADIS
2008
13 years 10 months ago
2008
Multi agent learning systems pose an interesting set of problems: in large environments agents may develop localised behaviour patterns that are not necessarily optimal; in a pure...
TAMODIA
2008
13 years 10 months ago
2008
Abstract. The analysis of usability aspects of multi-user systems, such as cooperative work systems and pervasive systems, pose particular problems because group behavior of their ...
ACSW
2006
13 years 10 months ago
2006
Owners of systems and resources usually want to control who can access them. This must be based on having a process for authorising certain parties, combined with mechanisms for e...
FORTE
2004
13 years 10 months ago
2004
Witnesses and counterexamples produced by model checkers provide a very useful source of diagnostic information. They are usually returned in the form of a single computation path ...
DAGSTUHL
2003
13 years 10 months ago
2003
Homotopy continuation methods have proven to be reliable and efficient to approximate all isolated solutions of polynomial systems. In this paper we show how we can use this capabi...