5550 search results - page 61 / 1110 » Different Approaches to Proof Systems |
134
click to vote
SSPR
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we present a symbols recognition system for graphic documents, based on a combination of global structural approaches. Our system allows to extract components and the...
161
Voted
ICECCS
2009
IEEE
16 years 24 days ago
2009
IEEE
Collaborative development, incremental design and revision management require the ability to compare different versions of software artifacts. There are well-established approache...
146
click to vote
ITS
2010
Springer
15 years 11 months ago
2010
Springer
DynaLearn is an Interactive Learning Environment that facilitates a constructive approach to developing a conceptual understanding of how systems work. The software can be put in d...
160
Voted
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...
143
click to vote
EUSFLAT
2007
15 years 7 months ago
2007
This paper concerns problem of selection of optimal subset of irredundant unconditional diagnostic tests by means of evolutionary approach. The method of correction of features’...