Sciweavers

3775 search results - page 406 / 755
» The Expression Problem Revisited
Sort
View
ER
2009
Springer
118views Database» more  ER 2009»
16 years 1 months ago
Specifying Valid Compound Terms in Interrelated Faceted Taxonomies
In previous work, we proposed an algebra whose operators allow to specify the valid compound terms of a faceted taxonomy, in a flexible manner (by combining positive and negative ...
Anastasia Analyti, Yannis Tzitzikas, Nicolas Spyra...
ICCS
2009
Springer
16 years 1 months ago
Explicit Time Stepping Methods with High Stage Order and Monotonicity Properties
This paper introduces a three and a four order explicit time stepping method. These methods have high stage order and favorable monotonicity properties. The proposed methods are ba...
Emil M. Constantinescu, Adrian Sandu
PKDD
2009
Springer
113views Data Mining» more  PKDD 2009»
16 years 1 months ago
Feature Selection for Density Level-Sets
A frequent problem in density level-set estimation is the choice of the right features that give rise to compact and concise representations of the observed data. We present an e...
Marius Kloft, Shinichi Nakajima, Ulf Brefeld
PSIVT
2009
Springer
125views Multimedia» more  PSIVT 2009»
16 years 1 months ago
Implicit Surface Reconstruction with an Analogy of Polar Field Model
Implicit surface reconstruction has been a challenging work for decades. In this paper, motivated by the concept of classic physical polar field model and off-set points strategy...
Yuxu Lin, Chun Chen, Mingli Song, Jiajun Bu, Ziche...
177
Voted
TARK
2009
Springer
16 years 1 months ago
A logic of propositional control for truthful implementations
We introduce a logic designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent prefere...
Nicolas Troquard, Wiebe van der Hoek, Michael Wool...