97 search results - page 15 / 20 » A Search Engine for Mathematical Formulae |
SAT
2004
Springer
14 years 1 months ago
2004
Springer
We present a scheduler with a web interface for generating fair game schedules of a tournament. The tournament can be either single or double round-robin or something in between. T...
MM
2000
ACM
14 years 29 days ago
2000
ACM
Images are increasingly being embedded in HTML documents on the WWW. Such documents over the WWW essentially provides a rich source of image collection from which users can query....
GECCO
2007
Springer
14 years 14 days ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
APWEB
2006
Springer
14 years 10 days ago
2006
Springer
Web Directories have emerged as an alternative to the Search Engines for locating information on the Web. Typically, Web Directories rely on humans putting in significant time and ...
JUCS
2006
13 years 8 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...