587 search results - page 75 / 118 » Mathematical Analysis of Multi-Agent Systems |
FROCOS
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...
ISIPTA
2003
IEEE
14 years 4 months ago
2003
IEEE
The nature of much information available to decision makers is vague and imprecise, be it information for human managers in organisations or for process agents in a distributed co...
VISUALIZATION
2003
IEEE
14 years 4 months ago
2003
IEEE
We describe how to count the cases that arise in a family of visualization techniques, including Marching Cubes, Sweeping Simplices, Contour Meshing, Interval Volumes, and Separat...
AFPAC
2000
Springer
14 years 3 months ago
2000
Springer
In signal processing, the approach of the analytic signal is a capable and often used method. For signals of finite length, quadrature filters yield a bandpass filtered approxim...
PODS
2010
ACM
13 years 11 months ago
2010
ACM
We study functional and multivalued dependencies over SQL tables with NOT NULL constraints. Under a no-information interpretation of null values we develop tools for reasoning. We...