3342 search results - page 409 / 669 » Automating Abstract Interpretation |
127
click to vote
EWCBR
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. This paper presents a case-based approach to decision support for diabetes management in patients with Type 1 diabetes on insulin pump therapy. To avoid serious disease c...
106
click to vote
EWCBR
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Effective encoding of information is one of the keys to qualitative problem solving. Our aim is to explore Knowledge representation techniques that capture meaningful wor...
125
click to vote
FLOPS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The paper introduces a collection of knowledge representation languages, V(C), parametrised over a class C of constraints. V(C) is an extension of both CR-Prolog and CASP...
131
click to vote
SPLC
2010
15 years 4 months ago
2010
Abstract. In product line engineering various stakeholders like sales and marketing people, product managers, and technical writers are involved in creating and adapting documents ...
130
click to vote
DLOG
2006
15 years 4 months ago
2006
Abstract Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the onto...