Search Results for "automatic"

Dynamic geometry program for use in schools and universities. Rich graphical interface, web export, graphics export, macros, assignments, animations and much more. Download the program via the links on the web page.

...SWire can be interrogated on a local network and it accepts AJAX queries, thus enabling the development of web applications which provide the user with graphical user interfaces. For example, a web application running on a browser can interact with Stata on a local network; this application could be a data entry form or an automatic report. By providing a communication protocol, SWire makes it possible to connect Stata with many other applications for data exchange and basic interaction, thereby extending the capabilities of Stata. SWire requires Stata >=13.

Belief revision is a central topic in knowledge representation and reasoning. It consists in incorporating a new belief, changing as few as possible of the original beliefs while preserving consistency. Revision always considers new evidence as a better belief. Such new evidence is usually represented in the form of a propositional formula which must be preserved after the revision. Here, the Δps (PS-Merge) belief merging operator is extended in order to consider constraints, and ...

...Concerning performance, the tool enables to check all examples in the PVS Bernstein testsuite within a second, which can be an order of magnitude faster than some other tools such as QEPCAD or REDLOG. Although JBernstein uses double, it offers automatic error-estimation capabilities (experimental) so that the generated result is correct (the solver may return unknown when the error-estimate is too large)

JavaANPR is an automatic number plate recognition software, which implements algorithmic and mathematical principles from field of artificial intelligence, machine vision and neural networks.

Triple-A (Automatic Analysis with Automata) is a full-featured library for (finite) automata written in Java with two powerful analysis tools (dealing with LTL model checking and Presburger arithmetics) and a graphical user interface built around it.

Multired is middleware for automatic dynamic generation of multi-resolution representations for large spatio-temporal databases. It also provides an API which uses the middleware to support user-guided navigation of spatiotemporal data.

A tool for proof theorists to study deduction systems and to develop proof search strategies for them. GraPE should eventually support step-by-step proof construction, automatic proof search with various strategies, proof transformations and analysis.

Statastizard(c)2012 Nick Emblow is a program designed to guide its user into the right statistical test, perform the test, and report the results in a meaningful way. The idea of this is that the user won't actually need to know that they are using a mann-whitney U over a t-test, for example - it just tests for normality and homoscedastic of variance, and decides which test to use, then reports the results. Why? Because time after time, people come to me with some test that they've...