10871 search results - page 19 / 2175 » A stable programming language |
NIPS
2007
13 years 9 months ago
2007
Stability is a desirable characteristic for linear dynamical systems, but it is often ignored by algorithms that learn these systems from data. We propose a novel method for learn...
ICRA
1994
IEEE
13 years 11 months ago
1994
IEEE
Previous work by Mattikalli et al.[1] considered the stability of assemblies of frictionless contacting bodies with uniform gravity. A linear programming-based technique was descr...
DBPL
1991
Springer
13 years 11 months ago
1991
Springer
Persistent languages and systems provide the ability to create and manipulate all data in a uniform manner regardless of how long it persists. Such systems are usually implemented...
AICCSA
2006
IEEE
14 years 1 months ago
2006
IEEE
Software analysis patterns are believed to play a major role in reducing the cost and condensing the time of software product lifecycles. However, analysis patterns have not reali...
LANMR
2007
13 years 9 months ago
2007
Given a propositional formula X, we present a mapping that constructs a general program P, such that the maximal models of X correspond to the stable models of P, after intersectin...