2162 search results - page 240 / 433 » Automated Reasoning on Feature Models |
153
click to vote
ILP
2005
Springer
15 years 10 months ago
2005
Springer
Online learning algorithms such as Winnow have received much attention in Machine Learning. Their performance degrades only logarithmically with the input dimension, making them us...
238
click to vote
GIS
2007
ACM
16 years 6 months ago
2007
ACM
We propose a new multi-scale terrain model, based on a hierarchical representation for the morphology of a terrain. The basis of our morphological model is a dual Morse decomposit...
134
click to vote
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper we introduce “clipping,” a new method of syntactic approximation which is motivated by and works in conjunction with a sound and decidable denotational model for...
129
click to vote
ESWS
2007
Springer
15 years 11 months ago
2007
Springer
Semantic Business Process Management (SBPM) utilizes semantic technologies to achieve more automation throughout the BPM lifecycle. An integral part of the SBPM infrastructure is a...
127
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
We introduce a Game Logic with Preferences (GLP), which makes it possible to reason about how information or assumptions about the preferences of other players can be used by agen...