5170 search results - page 305 / 1034 » A Document-Oriented Approach to the Development of Knowledge... |
148
click to vote
IEAAIE
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. This paper has as main goal to develop a hybrid expert system to minimize some of the complexity problems related to arti cial intelligence eld. For instance, we can ment...
211
click to vote
AAAI
2012
13 years 9 months ago
2012
A tailored model of a system is the prerequisite for various analysis tasks, such as anomaly detection, fault identification, or quality assurance. This paper deals with the algo...
206
click to vote
TYPES
1995
Springer
15 years 10 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
110
click to vote
IFE
2002
15 years 6 months ago
2002
In this article we introduce two new generative approaches of animated computational models. These approaches are applied in context of educational software systems for compiler de...
184
click to vote
ICWS
2007
IEEE
15 years 8 months ago
2007
IEEE
There is a critical need to design and develop tools tract away the fundamental complexity of XML based Web services specifications and toolkits, and provide an elegant, intuitive...