1146 search results - page 27 / 230 » Finite cupping sets |
WCE
2007
13 years 8 months ago
2007
—This paper studies the modified sensitivity analysis applied into an elastic-plastic finite element analysis of a 3D blank design in sheet metal forming. Originally the sensitiv...
BIRTHDAY
2004
Springer
14 years 1 months ago
2004
Springer
We present a new proof that languages generated by (non extended) H systems with finite sets of axioms and rules are regular.
AAAI
2010
13 years 9 months ago
2010
In this paper, we propose a translation from normal first-order logic programs under the answer set semantics to first-order theories on finite structures. Specifically, we introd...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
Once the set of finite graphs is equipped with an algebra structure (arising from the definition of operations that generalize the concatenation of words), one can define the noti...
CP
2004
Springer
14 years 1 months ago
2004
Springer
In CP literature combinatorial design problems such as sport scheduling, Steiner systems, error-correcting codes and more, are typically solved using Finite Domain (FD) models desp...