1805 search results - page 216 / 361 » A Theory of Closure Operators |
145
click to vote
VSTTE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...
286
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
Negotiation techniques have been demonstrated to be effective in solving complex multi-objective problems. When the optimization process operates on continuous variables, it can b...
175
click to vote
GECCO
2005
Springer
15 years 12 months ago
2005
Springer
An experimental form of Modulation (Reinterpretation) of the Search Space is presented. This modulation is developed as a mathematical method that can be implemented directly into...
177
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
To support commonsense reasoning about space, we require a qualitative calculus of spatial entities and their relations. One requirement for such a calculus, which has not so far ...
182
click to vote
PPSWR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Time is omnipresent on the (Semantic) Web. However, formalism like XML, XML Schema, RDF, OWL and (Semantic) Web query languages have, if any, only very limited notions of...