2527 search results - page 155 / 506 » A UML-Based Approach to System Testing |
138
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The paper presents the methodology and the results of checking consistency of the knowledge base of CADIAG-2, a large-scale medical expert system. Such knowledge base con...
141
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Monitoring the satisfaction of software requirements and diagnosing what went wrong in case of failure is a hard problem that has received little attention in the Software and Req...
124
click to vote
ICDAR
2003
IEEE
15 years 9 months ago
2003
IEEE
er presents an approach to deriving an abstract geometric model of a table from a physical representation. The technique developed uses a graph of constraints between cells which ...
144
click to vote
PRICAI
2000
Springer
15 years 7 months ago
2000
Springer
In this paper, we propose a system called kMedia that can assist users to form knowledge for community by showing shared topics networks (STN) among them. One of the important aspe...
118
click to vote
FLAIRS
1998
15 years 5 months ago
1998
Computer assisted tomography (CAT) systems demandlarge amounts of time and space. In this paper, wedescribe an approachto solving the CAT problemusing several AItechniques includi...