5810 search results - page 190 / 1162 » An Approach to Programming Based on Concepts |
182
click to vote
FAC
2010
15 years 3 months ago
2010
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
163
click to vote
ICIP
2000
IEEE
16 years 8 months ago
2000
IEEE
This contribution proposes a fuzzy approach to color image filtering by the fuzzy modeling of the concept of color credibility. Based on the perceptual notion of color resemblance...
179
click to vote
VLSID
1999
IEEE
15 years 10 months ago
1999
IEEE
A new approach for CMOS op-amp circuit synthesis has proposed here. The approach is based on the observation that the rst order behavior of a MOS transistor in the saturation regi...
278
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
This paper considers a semantic approach for merging logic programs under answer set semantics. Given logic programs P1, . . . , Pn, the goal is to provide characterisations of the...
142
click to vote
COMPSAC
2008
IEEE
16 years 25 days ago
2008
IEEE
A new approach to the configuration and operation of electrical distribution networks is proposed. Traditionally, the medium-voltage part of the electrical grid is operated in a c...