413 search results - page 4 / 83 » On Product Logic with Truth-constants |
ICSM
1998
IEEE
14 years 2 months ago
1998
IEEE
Code-based metrics such as coupling and cohesion are used to measure a system's structural complexity. But dealing with large systems--those consisting of several millions of...
MICAI
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. In this paper, a new fuzzy logic-based approach to production scheduling in the presence of uncertain disruptions is presented. The approach is applied to a real-life pro...
FROCOS
2009
Springer
14 years 4 months ago
2009
Springer
CONCUR
1997
Springer
14 years 1 months ago
1997
Springer
CAV
2010
Springer
13 years 10 months ago
2010
Springer
We define and study a new abstract domain which is a fine-grained combination of zonotopes with (sub-)polyhedric domains such as the interval, ocinear template or polyhedron domain...