2162 search results - page 243 / 433 » Automated Reasoning on Feature Models |
260
click to vote
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. A class of probabilistic-logic models is considered, which increases the expressibility from HMM's and SCFG's regular and contextfree languages to, in principle...
135
Voted
LPNMR
2009
Springer
15 years 11 months ago
2009
Springer
We develop a module-based framework for constraint modeling where it is possible to combine different constraint modeling languages and exploit their strengths in a flexible way. ...
272
click to vote
GIS
2004
ACM
16 years 6 months ago
2004
ACM
Data Warehouses and On-Line Analytical Processing systems rely on a multidimensional model that includes dimensions, hierarchies, and measures. Such model allows to express users&...
139
click to vote
FOIKS
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents a semantic foundation of temporal conceptual models used to design temporal information systems. We consider a modeling language able to express both timestampi...
159
click to vote
INFSOF
2007
15 years 4 months ago
2007
: Correct functioning of object-oriented software depends upon the successful integration of classes. While individual classes may function correctly, several new faults can arise ...