3931 search results - page 272 / 787 » Separation logic and abstraction |
174
click to vote
DASFAA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. Extensions of relational databases which aim at utilizing various aspects of similarity and imprecision in data processing are widespread in the literature. A need for de...
153
click to vote
ISQED
2007
IEEE
16 years 29 days ago
2007
IEEE
Abstract— Self-calibrating designs have recently gained momentum as an alternative to methods relying on worst-case characterisation of silicon [2], [4], [8]. So far, reliable op...
172
click to vote
ICLP
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
143
click to vote
MICAI
2005
Springer
16 years 5 days 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...
184
click to vote
CAISE
2004
Springer
16 years 3 days ago
2004
Springer
tween documents. They should allow for an abstract representation of data which resembles the way they are actually perceived and used in the real world, thus shortening (with resp...