2701 search results - page 65 / 541 » On the form of witness terms |
124
click to vote
ACII
2007
Springer
16 years 14 days ago
2007
Springer
in the form of light clusters (displayed in arrays of LEDs) and abstract electroacoustic sound — what we term low-fidelity embodiments. Thus, the architecture for such agents is...
132
click to vote
ISSAC
1997
Springer
15 years 10 months ago
1997
Springer
A class of de nite integrals involving cyclotomicpolynomials and nested logarithms is considered. The results are given in terms of derivatives of the Hurwitz Zeta function. Some s...
146
click to vote
ICCD
1993
IEEE
15 years 10 months ago
1993
IEEE
Symbolic representations of systems can achieve a high degree of compaction relative to more explicit forms. By casting an analysis task in terms of operations on a symbolic repre...
139
click to vote
TLCA
1993
Springer
15 years 10 months ago
1993
Springer
This paper describes a method of proving strong normalization based on an extension of the conservation theorem. We introduce a structural notion of reduction that we call βS, and...
151
click to vote
COR
2006
15 years 6 months ago
2006
A parametric form of tabu-search is proposed for solving mixed integer programming (MIP) problems that creates and solves a series of linear programming (LP) problems embodying br...