12774 search results - page 2489 / 2555 » A Framework for Proof Systems |
ATAL
2007
Springer
14 years 3 months ago
2007
Springer
The TAC Supply Chain Management (TAC/SCM) game presents a challenging dynamic environment for autonomous decision-making in a salient application domain. Strategic interactions co...
ATAL
2007
Springer
14 years 3 months ago
2007
Springer
Agents that must reach agreements with other agents need to reason about how their preferences, judgments, and beliefs might be aggregated with those of others by the social choic...
BTW
2007
Springer
14 years 3 months ago
2007
Springer
: This is a position paper on multi-tenant databases. As motivation, it first describes the emerging marketplace of hosted enterprise services and the importance of using multi-ten...
LCPC
2007
Springer
14 years 3 months ago
2007
Springer
The Standard Template Adaptive Parallel Library (stapl) is a parallel programming framework that extends C++ and stl with support for parallelism. stapl provides a collection of pa...
MHCI
2007
Springer
14 years 3 months ago
2007
Springer
This paper presents a photo browsing system on mobile devices to browse and search photos efficiently by tilting action. It employs tilt dynamics and multi-scale photo screen layo...