2162 search results - page 131 / 433 » Automated Reasoning on Feature Models |
126
Voted
LICS
2000
IEEE
15 years 8 months ago
2000
IEEE
Concurrent ML is an extension of Standard ML with π-calculus-like primitives for multi-threaded programming. CML has a reduction semantics, but to date there has been no labelled...
121
click to vote
TIME
2000
IEEE
15 years 8 months ago
2000
IEEE
Medical therapy planning shares a number of properties of project management. It is, however, different in a few very important aspects — most notably, the more complex notion o...
122
click to vote
ISMVL
1999
IEEE
15 years 8 months ago
1999
IEEE
In the last years two automated reasoning techniques for clause normal form arose in which the use of labels are prominently featured: signed logic and annotated logic programming...
117
click to vote
ICLP
1998
Springer
15 years 8 months ago
1998
Springer
Implementing a compiler for a language with nondeterministic features is known to be a difficult task. This paper presents two new functions setChoicePoint and fail that extend th...
134
click to vote
ILP
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Inductive Logic Programming (ILP) has been applied to discover rules governing the three-dimensional topology of protein structure. The data-set unifies two sources of in...