Sciweavers

7623 search results - page 396 / 1525
» Constructive Volume Modeling
Sort
View
LICS
2010
IEEE
15 years 5 months ago
Highly Acyclic Groups, Hypergraph Covers and the Guarded Fragment
We construct finite groups whose Cayley graphs have large girth even w.r.t. a discounted distance measure that contracts arbitrarily long sequences of edges from the same colour ...
Martin Otto
VSGAMES
2010
139views Game Theory» more  VSGAMES 2010»
15 years 5 months ago
Attentional Cueing in Serious Games
—Games, and serious games especially, revolve around learning new material and integrating this into a mental model. However, playing games can be cognitively demanding and novic...
Erik D. Van der Spek, Herre van Oostendorp, Pieter...
PKC
2012
Springer
235views Cryptology» more  PKC 2012»
13 years 9 months ago
Outsider-Anonymous Broadcast Encryption with Sublinear Ciphertexts
Abstract. In the standard setting of broadcast encryption, information about the receivers is transmitted as part of the ciphertext. In several broadcast scenarios, however, the id...
Nelly Fazio, Irippuge Milinda Perera
197
Voted
CVPR
2001
IEEE
16 years 8 months ago
Using Robust Methods for Automatic Extraction of Buildings
We present a system for modeling buildings from a single correlation-based Digital Elevation Model (DEM). The model is constructed in two stages. The first stage segments the DEM ...
Christophe Vestri, Frederic Devernay
CIBSE
2009
ACM
16 years 1 months ago
A two-level formal semantics for the QVT language
Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one or more models, and transforming these into other models. In t...
Roxana S. Giandini, Claudia Pons, Gabriela P&eacut...