837 search results - page 60 / 168 » Proof Development with OMEGA |
104
Voted
COLT
1997
Springer
15 years 4 months ago
1997
Springer
The problem of learning linear discriminant concepts can be solved by various mistake-driven update procedures, including the Winnow family of algorithms and the well-known Percep...
118
Voted
RTA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In this paper we present our formalization of two important termination techniques for term rewrite systems: the subterm criterion and the reduction pair processor in com...
96
Voted
ISTCS
1995
Springer
15 years 4 months ago
1995
Springer
A low-degree test is a collection of simple, local rules for checking the proximity of an arbitrary function to a lowdegree polynomial. Each rule depends on the function’s value...
99
Voted
FM
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Despite more then 30 years of research on protocol specification, the major protocols deployed in the Internet, such as TCP, are described only in informal prose RFCs and...
100
click to vote
TCS
2008
15 years 19 days ago
2008
We introduce a new unification procedure for the type inference problem in the intersection type discipline. It is well known that type inference in this case should succeed exact...