1222 search results - page 57 / 245 » Some Results on Directable Automata |
JOTA
2011
14 years 4 months ago
2011
: Nowadays, solving nonsmooth (not necessarily differentiable) optimization problems plays a very important role in many areas of industrial applications. Most of the algorithms d...
CSMR
2009
IEEE
15 years 4 months ago
2009
IEEE
Software architecture diagrams and metrics are wellknown and heavily used in many areas in software engineering. However, they are rarely combined in one (visual) representation. ...
TABLEAUX
2005
Springer
15 years 3 months ago
2005
Springer
Unit propagation is one of the most important techniques of efficient SAT solvers. Unfortunately, this technique is not directly applicable to first-order clausal tableaux. We sho...
AAAI
1990
14 years 11 months ago
1990
In this paper we present a purely semantic view on non-monotonic reasoning. We follow the direction pointed in [16] and claim that any non-monotonic logic can be viewed as a resul...
FFA
2006
14 years 9 months ago
2006
A linear error-block code is a natural generalization of the classical error-correcting code and has applications in experimental design, high-dimensional numerical integration an...