1024 search results - page 58 / 205 » Value complete, column complete, predicate complete |
119
Voted
MOC
2000
15 years 1 months ago
2000
In this paper we construct elliptic boundary value problems whose standard finite element approximations converge arbitrarily slowly in the energy norm, and show that adaptive proc...
113
click to vote
OOPSLA
2007
Springer
15 years 7 months ago
2007
Springer
We present a new language feature, specified as an extension to Java. The feature is a form of dispatch which includes and subsumes multimethods (see for example [3]), but which ...
125
click to vote
FROCOS
2000
Springer
15 years 5 months ago
2000
Springer
We define a sound and complete logic, called FO , which extends classical first-order predicate logic with intuitionistic implication. As expected, to allow the interpretation of i...
IJCAI
1989
15 years 2 months ago
1989
Intelligent reasoners sometimes draw conclusions that lack new or relevant information. Similarly, automated reasoning systems can produce formulas that are not necessary for the ...
107
click to vote
RE
2002
Springer
15 years 1 months ago
2002
Springer
This paper presents an extended version of GoalOriented Requirements Analysis Method called AGORA, where attribute values, e.g. contribution values and preference matrices, are ad...