Sciweavers

9425 search results - page 209 / 1885
» Some Notes on Models and Modelling
Sort
View
FAW
2008
Springer
111views Algorithms» more  FAW 2008»
15 years 5 months ago
Efficient First-Order Model-Checking Using Short Labels
We prove that there exists an O(log(n))-labeling scheme for every first-order formula with free set variables in every class of graphs that is nicely locally cwd-decomposable, whic...
Bruno Courcelle, Cyril Gavoille, Mamadou Moustapha...
VAMOS
2008
Springer
15 years 4 months ago
Model-Based Implementation of Meta-Variability Constructs: A Case Study using Aspects
In this paper, we introduce the concept of metavariability, i.e., variability with respect to basic variability attributes like binding time or constraints. While the main focus o...
Klaus Schmid, Holger Eichelberger
WSCG
2004
170views more  WSCG 2004»
15 years 4 months ago
An Image-Based Multiresolution Model for Interactive Foliage Rendering
This paper presents a new method for realistic real-time rendering of tree foliage. Some approaches to this problem have been presented before but the quality of their results was...
Javier Lluch, Emilio Camahort, Roberto Vivó
FLAIRS
1998
15 years 4 months ago
Function Modeling for an Integrated Framework: A Progress Report
This paper discusses some preliminary results of the author's on-going research into the representation of product function information for integrated knowledge-based environ...
Filippo A. Salustri
IJCAI
1993
15 years 4 months ago
A Computational Model of Tractable Reasoning - Taking Inspiration from Cognition
Polynomial time complexity is the usual ‘threshold’ for distinguishing the tractable from the intractable and it may seem reasonable to adopt this notion of tractability in th...
Lokendra Shastri