2610 search results - page 413 / 522 » The Recognition Strategy Language |
179
click to vote
LPAR
2001
Springer
15 years 10 months ago
2001
Springer
The EPGY Theorem-Proving Environment is designed to help students write ordinary mathematical proofs. The system, used in a selection of computer-based proof-intensive mathematics ...
134
click to vote
HICSS
2000
IEEE
15 years 10 months ago
2000
IEEE
In email-based discussion lists (DLs), messages resident in archives, email clients and elsewhere are persistent. One way of examining persistent messages is through the eyes of l...
147
click to vote
HT
1996
ACM
15 years 10 months ago
1996
ACM
With the widespread use of full-text information retrieval, passage-retrieval techniques are becoming increasingly popular. Larger texts can then be replaced by important text exc...
153
click to vote
CODES
1994
IEEE
15 years 10 months ago
1994
IEEE
We present an experimental framework for mapping declarative programs, written in a language known as Ruby, into various combinations of hardware and software. Strategies for para...
177
click to vote
ICSE
1989
IEEE-ACM
15 years 10 months ago
1989
IEEE-ACM
The Inscape Environment is an integrated software development enviroment for building large software systems by large groups of developers. It provides tools that are knowledgeabl...