2165 search results - page 211 / 433 » cases 2005 |
118
click to vote
SGAI
2005
Springer
15 years 10 months ago
2005
Springer
Ripple-Down Rules (RDR) is an approach to building knowledgebased systems (KBS) incrementally, while the KBS is in routine use. Domain experts build rules as a minor extension to ...
103
click to vote
SIGADA
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we will consider two aspects of UML in order to assess how well suited it is for modeling SPARK systems. The first aspect is the ability to represent SPARK in UML f...
154
click to vote
TABLEAUX
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...
147
click to vote
TACAS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
111
click to vote
TBILLC
2005
Springer
15 years 10 months ago
2005
Springer
In this paper I argue that syntactic categories are not part of UG but are acquired during first language acquisition as a result of doubling effects. In short, it is argued that a...