Sciweavers

2162 search results - page 67 / 433
» Automated Reasoning on Feature Models
Sort
View
139
Voted
PPSWR
2005
Springer
15 years 9 months ago
A Geospatial World Model for the Semantic Web
The Semantic Web is an endeavour aiming at enhancing Web data with meta-data and data processing, as well as processing methods specifying the “meaning” of such data and allowi...
François Bry, Bernhard Lorenz, Hans Jü...
165
Voted
ECAI
2010
Springer
15 years 29 days ago
Integrating Bipolar Fuzzy Mathematical Morphology in Description Logics for Spatial Reasoning
Bipolarity is an important feature of spatial information, involved in the expression of preferences and constraints about spatial positioning or in pairs of opposite spatial relat...
Céline Hudelot, Jamal Atif, Isabelle Bloch
142
Voted
BVAI
2007
Springer
15 years 7 months ago
A Neural Network Model for a View Independent Extraction of Reach-to-Grasp Action Features
Abstract. The aim of this paper is to introduce a novel, biologically inspired approach to extract visual features relevant for controlling and understanding reachto-grasp actions....
Roberto Prevete, Matteo Santoro, Ezio Catanzariti,...
LICS
2003
IEEE
15 years 8 months ago
Model checking for probability and time: from theory to practice
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
Marta Z. Kwiatkowska
119
Voted
SEKE
2004
Springer
15 years 9 months ago
Grammatically Interpreting Feature Compositions
Feature modeling is a popular domain analysis method for describing the commonality and variability among the domain products. The current formalisms of feature modelling do not ha...
Wei Zhao, Barrett R. Bryant, Fei Cao, Rajeev R. Ra...