1162 search results - page 77 / 233 » Monotonic Semantic Interpretation |
CSR
2008
Springer
15 years 24 days ago
2008
Springer
We define a denotational semantics for Light Affine Logic (LAL) which has the property that denotations of functions are polynomial time computable by construction of the model. Th...
LREC
2010
15 years 14 days ago
2010
In this paper, we present ISO-TimeML, a revised and interoperable version of the temporal markup language, TimeML. We describe the changes and enrichments made, while framing the ...
ICSM
2005
IEEE
15 years 4 months ago
2005
IEEE
Many of the approaches that analyze software evolution consider a static perspective of a system. Static analysis approaches focus on the evolution of static software entities suc...
83
Voted
ICRA
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract— Most large-scale public environments provide direction signs to facilitate the orientation for humans and to find their way to a goal location in the environment. Thus...
102
click to vote
WWW
2004
ACM
15 years 11 months ago
2004
ACM
To be able to realize the vision of the semantic web an important bottleneck that needs to be solved is an easy and intuitive approach for the annotation of websites with semantic...