2162 search results - page 150 / 433 » Automated Reasoning on Feature Models |
148
Voted
PLILP
1998
Springer
15 years 8 months ago
1998
Springer
We report on the current status of the LMC project, which seeks to deploy the latest developments in logic-programming technology to advance the state of the art of system speci ca...
165
Voted
LPNMR
1997
Springer
15 years 8 months ago
1997
Springer
Turi [20] introduced the important notion of a constrained atom: an atom with associated equality and disequality constraints on its arguments. A set of constrained atoms is a cons...
138
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
We present a sound and complete model of lambda-calculus reductions based on structures inspired by modal logic (closely related to Kripke structures). Accordingly we can construct...
138
click to vote
EWCBR
2008
Springer
15 years 6 months ago
2008
Springer
There are case-based recommender systems that generate personalized recommendations for users exploiting the knowledge contained in past recommendation cases. These systems assume ...
153
click to vote
CSL
2002
Springer
15 years 4 months ago
2002
Springer
The last decade has witnessed substantial progress in speech recognition technology, with todays state-of-the-art systems being able to transcribe unrestricted broadcast news audi...