2076 search results - page 179 / 416 » Functional logic overloading |
102
click to vote
ISMVL
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper considers an optimization method of programmable logic arrays (PLAs), which have two-input EXOR gate at the outputs. The PLA realizes an EXOR of two sum-of-products exp...
110
Voted
FSKD
2006
Springer
15 years 7 months ago
2006
Springer
Interval number is a kind of special fuzzy number and the interval approach is a good method to deal with some uncertainty. The semi-absolute deviation risk function is extended to...
131
Voted
OMER
2001
15 years 4 months ago
2001
: Integrated model-based specification techniques facilitate the definition of seamless development processes for electronic control units (ECUs) including support for domain speci...
140
click to vote
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
109
click to vote
AUTOMATICA
2007
15 years 3 months ago
2007
This paper presents a new supervisory control scheme, which is based on a control-relevant switching logic. Unlike most of the existing switching methods considering only estimato...