8695 search results - page 433 / 1739 » Making the Complex Simple |
149
click to vote
ICCS
2003
Springer
16 years 26 days ago
2003
Springer
E-Marketplace is a man-made profit center with emergent customer requirements. This emergence nature poses many difficulties for e-marketplace to satisfy its customers and thus aff...
196
click to vote
IDA
2003
Springer
16 years 25 days ago
2003
Springer
Because uncertain reasoning is often intractable, it is hard to reason with a large amount of knowledge. One solution to this problem is to specify a set of possible models, some s...
201
click to vote
FUN
2010
Springer
16 years 13 days ago
2010
Springer
UNOR is one of the world-wide well-known and popular card games. We investigate UNO from the viewpoint of combinatorial algorithmic game theory by giving some simple and concise ma...
235
click to vote
CC
2001
Springer
16 years 4 days ago
2001
Springer
Abstract. We present a method of specifying standard imperative program optimisations as a rewrite system. To achieve this we have extended the idea of matching sub-terms in expres...
183
click to vote
LICS
2000
IEEE
16 years 22 hour ago
2000
IEEE
We establish that the decidability of the first order theory of a class of finite structures ¢ is a simple and useful condition for guaranteeing that the expressive power of FO...