8141 search results - page 368 / 1629 » Higher Order Generalization |
162
click to vote
JGO
2010
15 years 5 months ago
2010
In this paper we develop a methodology for defining stopping rules in a general class of global random search algorithms that are based on the use of statistical procedures. To bu...
152
click to vote
IPMU
2010
Springer
15 years 5 months ago
2010
Springer
A class of extended aggregation operators, called impact functions, is proposed and their basic properties are examined. Some important classes of functions like generalized ordere...
163
click to vote
ICALP
2004
Springer
16 years 4 days ago
2004
Springer
We consider the Edit distance with moves on the class of words and the class of ordered trees. We first exhibit a simple tester for the class of regular languages on words and gen...
190
click to vote
CSCLP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We propose a new family of constraints which combine together lexicographical ordering constraints for symmetry breaking with other common global constraints. We give a g...
160
click to vote
ANLP
1997
15 years 8 months ago
1997
This paper describes the implementation of a prototype of a grammar based grammar checker for Czech and the basic ideas behind this implementation. The demo is implemented as an i...