12774 search results - page 290 / 2555 » A Framework for Proof Systems |
229
click to vote
RTA
1993
Springer
15 years 10 months ago
1993
Springer
Usually termination of term rewriting systems TRS's is proved by means of a monotonic well-founded order. If this order is total on ground terms, the TRS is called totally ...
180
click to vote
FLAIRS
2000
15 years 8 months ago
2000
The paper presents a survey of the VSE system, a kind of CASE-tool for formal software development. It is a summary of a tutorial presentation describing methodology, formalisms, ...
168
click to vote
GPC
2009
Springer
15 years 10 months ago
2009
Springer
Grid systems integrate distributed resources to form self-organization and self-management autonomies. Recently, for large-scale computation requirement, the collaboration of diffe...
173
click to vote
CCGRID
2003
IEEE
16 years 8 hour ago
2003
IEEE
At least three factors in the existing migrating systems make them less suitable in Grid systems especially when the goal is to improve the response times for individual applicati...
163
click to vote
ICDAR
2003
IEEE
16 years 38 min ago
2003
IEEE
The design of new diagram recognition systems remains a challenging problem. Ideally, recognition systems should accept real-world input, perform robustly, fail gracefully, and be...