3179 search results - page 477 / 636 » Applications of PCF Theory |
CAV
2009
Springer
14 years 1 months ago
2009
Springer
We consider the decision problem for quantifier-free formulas whose atoms are linear inequalities interpreted over the reals or rationals. This problem may be decided using satisf...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
Abstract-- We present the applications of reachability methods and computational tools based on game theory to a problem in air traffic management. The use of such methods in air t...
COLT
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. The classical perceptron algorithm is an elementary algorithm for solving a homogeneous linear inequality system Ax > 0, with many important applications in learning t...
CIKM
2009
Springer
14 years 1 months ago
2009
Springer
The highly variable and dynamic word usage in social media presents serious challenges for both research and those commercial applications that are geared towards blogs or other u...
EMSOFT
2007
Springer
14 years 29 days ago
2007
Springer
Synchronous reactive formalisms associate concurrent behaviors to precise schedules on global clock(s). This allows a non-ambiguous notion of "absent" signal, which can ...