Sciweavers

56 search results - page 3 / 12
» A formal perspective on the view selection problem
Sort
View
RE
2005
Springer
13 years 11 months ago
An Algebraic Framework for Merging Incomplete and Inconsistent Views
View merging, also called view integration, is a key problem in conceptual modeling. Large models are often constructed and accessed by manipulating individual views, but it is im...
Mehrdad Sabetzadeh, Steve M. Easterbrook
JAPLL
2011
92views more  JAPLL 2011»
13 years 13 days ago
Norms as ascriptions of violations: An analysis in modal logic
The paper proposes a formal analysis of a theory of norms resulting from pulling together Anderson’s reduction, the analysis of counts-as, and a novel approach to the formal rep...
Davide Grossi
CORR
2002
Springer
106views Education» more  CORR 2002»
13 years 5 months ago
On model selection and the disability of neural networks to decompose tasks
A neural network with fixed topology can be regarded as a parametrization of functions, which decides on the correlations between functional variations when parameters are adapted...
Marc Toussaint
SEMWEB
2010
Springer
13 years 3 months ago
An Expressive and Efficient Solution to the Service Selection Problem
Given the large number of Semantic Web Services that can be created from online sources by using existing annotation tools, expressive formalisms and efficient and scalable approac...
Daniel Izquierdo, Maria-Esther Vidal, Blai Bonet
HICSS
2010
IEEE
149views Biometrics» more  HICSS 2010»
14 years 11 days ago
Changing the Perspective: Improving Generate thinkLets for Ideation
Creativity techniques provide a variety of approaches for supporting an ideation process. These techniques can be executed using a Group Support System (GSS), thus allowing the id...
Stefan Werner Knoll, Graham Horton