7796 search results - page 166 / 1560 » On Generalized Schur Numbers |
141
click to vote
AAAI
2000
15 years 8 months ago
2000
We perform an extensive theoretical and empirical analysis of the use of auxiliary variables and implied constraints in modelling a class of non-binary constraint satisfaction pro...
136
click to vote
COLING
1996
15 years 8 months ago
1996
This paper extends the calculus of regular expressions with new types of replacement expressions that enhance the expressiveness of the simple replace operator defined in Karttune...
250
click to vote
AINA
2007
IEEE
15 years 6 months ago
2007
IEEE
With an increasing number of vehicles equipped with embedded computing platforms and advanced wireless technology, general purpose vehicle telematics applications are highly promi...
172
click to vote
AMC
2008
15 years 6 months ago
2008
In this paper, a general framework for the analysis of a connection between the training of artificial neural networks via the dynamics of Markov chains and the approximation of c...
152
click to vote
AMC
2007
15 years 6 months ago
2007
In 2006, Blake, Murty and Xu proposed three refinements to Miller’s algorithm for computing Weil/Tate Pairings. In this paper we extend their work and propose a generalized algo...