5550 search results - page 94 / 1110 » Different Approaches to Proof Systems |
126
click to vote
FMOODS
2006
15 years 7 months ago
2006
We present the modeling and validation experiments performed with the IFx validation toolset and with the UML profile developed within the IST Omega project, on a representative sp...
155
click to vote
RSA
2010
15 years 1 months ago
2010
We show that asymptotic equivalence, in a strong form, holds between two random graph models with slightly differing edge probabilities under substantially weaker conditions than w...
140
click to vote
HICSS
1996
IEEE
15 years 10 months ago
1996
IEEE
Four major Swiss banks have recently introduced a new financial electronic data interchange (FEDI) service based on UN/EDIFACT and are now trying to convince their corporate custo...
254
click to vote
IJSEKE
2002
15 years 6 months ago
2002
This paper illustrates a method, called heat, for image indexing based on texture information. The texture's partitioning element is first put into 1-D form and then its Hier...
149
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
We add labels to first-order clauses to simultaneously apply superpositions to several proof obligations inside one clause set. From a theoretical perspective, the approach unifies...