2752 search results - page 291 / 551 » Rounding to an Integral Program |
169
click to vote
FLOPS
2004
Springer
16 years 1 days ago
2004
Springer
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...
167
click to vote
NLDB
2004
Springer
16 years 23 hour ago
2004
Springer
—Most Web and legacy paper-based documents are available in human comprehensible text form, not readily accessible to or understood by computer programs. Here, we investigate an ...
163
click to vote
CEC
2003
IEEE
15 years 12 months ago
2003
IEEE
We introduce a technique that allows a real robot to execute real-time learning, in which GP and RL are integrated. In our former research, we showed the result of an experiment wi...
173
click to vote
QSIC
2003
IEEE
15 years 12 months ago
2003
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...
164
click to vote
CP
2003
Springer
15 years 12 months ago
2003
Springer
In this paper, we present an algorithm to propagate an n-ary constraint (with n greater than 2) specifying the relative positions of points in a three-dimensional rigid group. The ...