5550 search results - page 81 / 1110 » Different Approaches to Proof Systems |
146
click to vote
IJIT
2004
15 years 7 months ago
2004
Expert systems development is a complex and expensive process that needs to be applied in an organized manner. This paper presents an approach for building a generic treatment mode...
178
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...
144
click to vote
AH
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, we discuss an approach that tries to blur the distinction between adaptive hypermedia and dynamic NLG-based hypermedia. The approach aims at finding an optimal trade...
143
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
We present uniform approaches to establish complexity bounds for decision problems such as reachability and simulation, that arise naturally in the verification of timed software s...
102
click to vote
IJCAI
1989
15 years 7 months ago
1989
AI and connectionist approaches to learning from examples differ in knowledge-base representation and inductive mechanisms. To explore these differences we experiment with a syste...