7796 search results - page 75 / 1560 » On Generalized Schur Numbers |
147
click to vote
ILP
2005
Springer
15 years 10 months ago
2005
Springer
We propose a new approach to Inductive Logic Programming that systematically exploits caching and offers a number of advantages over current systems. It avoids redundant computati...
124
click to vote
ISCIS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Based on a distinguishing sequence for a Finite State Machine (FSM), an efficient checking sequence may be produced from the elements of a set Eα of α –sequences and ...
134
click to vote
TCC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the well-known simulatability approach of modern cryptography...
ACSAC
2000
IEEE
15 years 8 months ago
2000
IEEE
Although there have been various proposals to build large-scale PKIs, there appears to be no research publicly available on the underlying certificate store which will be required...
122
click to vote
COMPGEOM
2007
ACM
15 years 8 months ago
2007
ACM
We consider the problem of approximating a set P of n points in Rd by a collection of j-dimensional flats, and extensions thereof, under the standard median / mean / center measur...