6794 search results - page 1245 / 1359 » Semantics of Visual Languages |
KI
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Markov logic, as a highly expressive representation formalism that essentially combines the semantics of probabilistic graphical models with the full power of first-orde...
LPNMR
2007
Springer
14 years 3 months ago
2007
Springer
Recent research in answer-set programming (ASP) is concerned with the problem of finding faithful transformations of logic programs under the stable semantics. This is in particul...
MIDDLEWARE
2007
Springer
14 years 3 months ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
OOPSLA
2007
Springer
14 years 3 months ago
2007
Springer
Design defects come from poor design choices and have the effect of degrading the quality of object-oriented designs. Therefore, they present opportunities for improvements. Howev...
POLICY
2007
Springer
14 years 3 months ago
2007
Springer
In many Grid services deployments, the clients and servers reside in different administrative domains. Hence, there is a requirement both to discover each other’s authorization ...