2253 search results - page 199 / 451 » The ComFoRT Reasoning Framework |
101
click to vote
AAAI
2008
15 years 1 months ago
2008
The goal of my ongoing work is to provide an architecture for developing and manipulating modular ontologies in such a way that each ontology module can plug into or unplug from a...
101
click to vote
APIN
1998
14 years 10 months ago
1998
Abstract. Recent research in automated highway systems has ranged from low-level vision-based controllers to high-level route-guidance software. However, there is currently no syst...
JAR
1998
14 years 10 months ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
TPHOL
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract. This pearl examines how to verify functional programs written using the state monad. It uses Coq’s Program framework to provide strong specifications for the standard ...
161
click to vote
Publication
In this article the author benchmarks Neuroph, JOONE and Encog. These are the three major open source frameworks for Java. Encog also has a .Net version. I will give all three fram...