2623 search results - page 182 / 525 » Hoare Logic in the Abstract |
77
Voted
ERCIMDL
1997
Springer
15 years 2 months ago
1997
Springer
Abstract. We present a model for complex documents possibly consisting of a hierarchically structured set of images or texts. Documents are represented both at the form level (as s...
87
Voted
TACS
1994
Springer
15 years 2 months ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
DATE
2004
IEEE
15 years 2 months ago
2004
IEEE
As we move towards nanometer technology, manufacturing problems become overwhelmingly difficult to solve. Presently, optimization for manufacturability is performed at a post-synt...
CIA
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. W3C's OWL has gained wide acceptance in the agent community and it has already been used in many agent applications which we think syntactically. By taking advantage...
70
Voted
ECAI
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We introduce a logical language with nullary operators min(n), for each non-negative integer n, which mean `the reasoner has at least n different beliefs'. The resul...