Sciweavers

807 search results - page 47 / 162
» Competition Adds Complexity
Sort
View
SYNTHESE
2008
114views more  SYNTHESE 2008»
15 years 5 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»
15 years 5 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»
15 years 5 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
15 years 4 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
15 years 20 days 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