387 search results - page 70 / 78 » Synthesising Features by Games |
111
Voted
EGITALY
2006
15 years 1 months ago
2006
These latest years witnessed an impressive improvement of graphics hardware both in terms of features and in terms of computational power. This improvement can be easily observed ...
126
click to vote
CCGRID
2009
IEEE
15 years 1 months ago
2009
IEEE
To address coordination and complexity issues, we formulate a grid task allocation problem as a bargaining based self-adaptive auction and propose the BarSAA grid task-bundle alloc...
APAL
2010
15 years 12 days ago
2010
Classical proof forests are a proof formalism for first-order classical logic based on Herbrand's Theorem and backtracking games in the style of Coquand. First described by M...
130
click to vote
JUCS
2008
15 years 6 days ago
2008
: Supply chain management (SCM) deals with planning and coordinating activities such as material procurement, product assembly, and the distribution of manufactured products. This ...
SIGMETRICS
2008
ACM
15 years 5 days ago
2008
ACM
Per-flow network measurement at Internet backbone links requires the efficient maintanence of large arrays of statistics counters at very high speeds (e.g. 40 Gb/s). The prevailin...