4617 search results - page 870 / 924 » Automation of Diagrammatic Reasoning |
174
click to vote
IJMTM
2007
15 years 5 months ago
2007
Large, industry-wide interoperability projects use syntax-based standards approaches to accomplish interoperable data exchange among enterprise applications. We are investigating S...
179
click to vote
INFSOF
2007
15 years 5 months ago
2007
: Correct functioning of object-oriented software depends upon the successful integration of classes. While individual classes may function correctly, several new faults can arise ...
117
click to vote
ALIFE
2004
15 years 5 months ago
2004
Toys and play-things are often engineered to replicate the character of real organisms. In the past, inventors often lavished great expense on their life-like automata, their cons...
159
click to vote
AI
2000
Springer
15 years 5 months ago
2000
Springer
We investigate the improvement of theorem proving by reusing previously computed proofs. We have developed and implemented the PLAGIATOR system which proves theorems by mathematic...
148
click to vote
JETAI
1998
15 years 5 months ago
1998
Graphical structures such as Bayesian networks or Markov networks are very useful tools for representing irrelevance or independency relationships, and they may be used to e cientl...