7139 search results - page 935 / 1428 » Language Engineering in Practice |
230
Voted
AGP
2010
IEEE
16 years 5 days ago
2010
IEEE
We review the Italian contribution to proof-theoretic and higher-order extensions of logic programming; this originated from the realization that Horn clauses lacked standard abstr...
146
click to vote
FPL
2009
Springer
15 years 11 months ago
2009
Springer
The reconfigurable mesh model for massively parallel computing has recently been rediscovered and proposed as the basis of a practical many-core architecture. With this paper, we...
205
click to vote
LPAR
2001
Springer
15 years 11 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 ...
203
Voted
ACSC
2000
IEEE
15 years 11 months ago
2000
IEEE
A significant obstacle to the development of intelligent natural language processing systems is the lack of rich knowledge bases containing representations of world knowledge. Fo...
151
click to vote
HICSS
2000
IEEE
15 years 11 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...