1060 search results - page 44 / 212 » Mechanized semantics |
CJ
2010
14 years 7 months ago
2010
This paper studies semantic efficiency measures for ambient intelligence. We follow an agent-based approach and investigate how large quantities of information can be efficiently ...
QEST
2007
IEEE
15 years 4 months ago
2007
IEEE
—Performance Trees are a recently-proposed mechanism for the specification of performance properties and measures. They represent an attractive alternative to stochastic logics,...
WETICE
2007
IEEE
15 years 4 months ago
2007
IEEE
— The coordinated sharing of resources to address computational problems is a central issue in environments of Grid computing. Two important scenarios arise from this issue. Firs...
SEMWEB
2005
Springer
15 years 3 months ago
2005
Springer
There has been considerable debate as to the merits and the applicability of probabilistic or statistical reasoning to Semantic Web. Much of this debate seems to have centered on ...
101
click to vote
RULEML
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We extend Answer Set Programming with, possibly infinite, open domains. Since this leads, in general, to undecidable reasoning, we restrict the syntax of programs, while...