2647 search results - page 90 / 530 » Solving Term Inequalities |
122
click to vote
JSCIC
2011
14 years 11 months ago
2011
In this paper, we study a time discrete scheme for the initial value problem of the ES-BGK kinetic equation. Numerically solving these equations are challenging due to the nonlinea...
130
click to vote
CADE
2003
Springer
16 years 4 months ago
2003
Springer
If there exist efficient procedures (canonizers) for reducing terms of two first-order theories to canonical form, can one use them to construct such a procedure for terms of the d...
154
click to vote
CADE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Most methods for termination analysis of term rewrite systems (TRSs) essentially try to find arguments of functions that decrease in recursive calls. However, they fail ...
120
click to vote
KES
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents a hybrid architecture that facilitates the incurporation of a case-based planning system as the reasoning motor for a deliberative agent. This archite...
118
click to vote
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
Evolutionary computation is used to construct undetectable computer attack scripts. Using a simulated operating system, we show that scripts can be evolved to cover their tracks a...