2062 search results - page 354 / 413 » Derivatives of Logical Formulas |
SBCCI
2004
ACM
15 years 4 months ago
2004
ACM
This paper presents an approach for simulation of mixed analog-digital CMOS integrated circuits, aiming at estimating crosstalk effects due to current pulses drawn from voltage s...
112
click to vote
PPDP
2004
Springer
15 years 4 months ago
2004
Springer
We investigate some fundamental properties of the reduction relation in the untyped term calculus derived from Curien and Herbelin’s λµµ. The original λµµ has a system of ...
101
click to vote
TACAS
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Failing model checking runs should be accompanied by appropriate error diagnosis information that allows the user to identify the cause of the problem. For branching time...
100
click to vote
DAWAK
2003
Springer
15 years 4 months ago
2003
Springer
Web warehousing plays a key role in providing the managers with up-to-date and comprehensive information about their business domain. On the other hand, since XML is now a standard...
ISMVL
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—The paper studies graded properties of MTL valued binary connectives, focusing on conjunctive connectives such as t-norms, uninorms, aggregation operators, or quasicopul...