Sciweavers

807 search results - page 47 / 162
» Competition Adds Complexity
Sort
View
SYNTHESE
2008
114views more  SYNTHESE 2008»
14 years 9 months ago
Quantified coalition logic
We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs o...
Thomas Ågotnes, Wiebe van der Hoek, Michael ...
TOG
2008
103views more  TOG 2008»
14 years 9 months ago
Sketch-based tree modeling using Markov random field
In this paper, we describe a new system for converting a user's freehand sketch of a tree into a full 3D model that is both complex and realistic-looking. Our system does thi...
Xuejin Chen, Boris Neubert, Ying-Qing Xu, Oliver D...
CGF
2000
138views more  CGF 2000»
14 years 9 months ago
Real Time, Accurate, Multi-Featured Rendering of Bump Mapped Surfaces
We present a new technique to render in real time objects which have part of their high frequency geometric detail encoded in bump maps. It is based on the quantization of normal-...
Marco Tarini, Paolo Cignoni, Claudio Rocchini, Rob...
NOTERE
2010
14 years 8 months ago
Managing group membership in ad hoc m-commerce trading systems
Abstract—Managing group membership in an ad hoc mcommerce trading forum is a challenging task as peers may only have partial knowledge of the current membership due to frequent n...
Husna Osman, Hamish Taylor
TCS
2010
14 years 4 months ago
Monad transformers as monoid transformers
The incremental approach to modular monadic semantics constructs complex monads by using monad transformers to add computational features to a preexisting monad. A complication of...
Mauro Jaskelioff, Eugenio Moggi