4372 search results - page 41 / 875 » Algorithmic Theories of Everything |
ALDT
2011
Springer
12 years 8 months ago
2011
Springer
Security and sustainability are two critical global challenges that involve the interaction of many intelligent actors. Game theory provides a sound mathematical framework to model...
FM
2009
Springer
14 years 3 months ago
2009
Springer
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
WDAG
2001
Springer
14 years 1 months ago
2001
Springer
We generalize the notion of slice introduced in our earlier paper [6]. A slice of a distributed computation with respect to a global predicate is the smallest computation that cont...
CSL
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Since Parigot's seminal article on an algorithmic interpretation of classical natural deduction [13],
ICISC
2004
13 years 10 months ago
2004
Abstract. The XL (eXtended Linearization) equation-solving algorithm belongs to the same extended family as the advanced Gr