8486 search results - page 314 / 1698 » Ordered Enumeration Method |
174
click to vote
ASC
2007
15 years 5 months ago
2007
Stability is one of the most important subjects in control systems. As for the stability of nonlinear dynamical systems, Lyapunov’s direct method and linearized stability analys...
124
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. In this paper we present InvGen, an automatic linear arithmetic invariant generator for imperative programs. InvGen's unique feature is in its use of dynamic analysi...
140
click to vote
PODS
2005
ACM
16 years 5 months ago
2005
ACM
Direct reductions of partial differential equations to systems of ordinary differential equations are in one-to-one correspondence with compatible differential constraints. The dif...
146
click to vote
IRAL
2003
ACM
15 years 10 months ago
2003
ACM
This paper present a method based on the behavior of nonnative speaker for reduction sentence in foreign language. We demonstrate an algorithm using semantic information in order ...
110
click to vote
ILP
1998
Springer
15 years 9 months ago
1998
Springer
Cohen's [1] refinement rules provide a flexible mechanism for introducing intentional background knowledge in an ILP system. Whereas Cohen used a limited second order theorem ...