14084 search results - page 328 / 2817 » A Theory for Game Theories |
163
click to vote
GG
2004
Springer
16 years 5 days ago
2004
Springer
The concept of typed attributed graph transformation is most significant for modeling and meta modeling in software engineering and visual languages, but up to now there is no ade...
171
click to vote
JELIA
2004
Springer
16 years 5 days ago
2004
Springer
The Nelson-Oppen combination method combines decision procedures for theories satisfying certain conditions into a decision procedure for their union. While the method is known to ...
188
click to vote
PARA
2004
Springer
16 years 4 days ago
2004
Springer
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...
177
click to vote
HICSS
2003
IEEE
16 years 3 days ago
2003
IEEE
Human-robot interaction (HRI) for mobile robots is still in its infancy. Most user interactions with robots have been limited to teleoperation capabilities where the most common i...
178
click to vote
ISIPTA
2003
IEEE
16 years 2 days ago
2003
IEEE
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...