1805 search results - page 216 / 361 » A Theory of Closure Operators |
158
Voted
VSTTE
2005
Springer
16 years 14 days 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...
306
Voted
ATAL
2005
Springer
16 years 14 days 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...
190
Voted
GECCO
2005
Springer
16 years 13 days 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...
193
Voted
KR
2004
Springer
16 years 11 days 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 ...
204
Voted
PPSWR
2004
Springer
16 years 10 days 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...