Sciweavers

2086 search results - page 48 / 418
» Mathematical Theory Exploration
Sort
View
PARA
2004
Springer
14 years 2 months ago
Automatic Derivation of Linear Algebra Algorithms with Application to Control Theory
It is our belief that the ultimate automatic system for deriving linear algebra libraries should be able to generate a set of algorithms starting from the mathematical specificati...
Paolo Bientinesi, Sergey Kolos, Robert A. van de G...
ISIPTA
2003
IEEE
110views Mathematics» more  ISIPTA 2003»
14 years 1 months ago
Extensions of Expected Utility Theory and Some Limitations of Pairwise Comparisons
We contrast three decision rules that extend Expected Utility to contexts where a convex set of probabilities is used to depict uncertainty: Γ-Maximin, Maximality, and E-admissib...
Mark J. Schervish, Teddy Seidenfeld, Joseph B. Kad...
MAAMAW
1994
Springer
14 years 23 days ago
Towards a Theory of Cooperative Problem Solving
One objective of distributed artificial intelligence research is to build systems that are capable of cooperative problem solving. To this end, a number of implementation-oriented ...
Michael Wooldridge, Nicholas R. Jennings
EUSFLAT
2007
131views Fuzzy Logic» more  EUSFLAT 2007»
13 years 10 months ago
Fuzzy Logic as a Theory of Vagueness: 15 Conceptual Questions
In spite of its successes as a tool in the field of engineering, fuzzy set theory has yet to achieve the universal footing that probability theory has across the various fields ...
Jeremy Bradley
PDS
1996
13 years 10 months ago
Towards a theory of shared data in distributed systems
We have developed a theory of sharing which captures the behaviour of programs with respect to shared data into the framework of process algebra. The core theory can describe prog...
Simon A. Dobson, Christopher P. Wadsworth