1059 search results - page 69 / 212 » Unification-Based Semantic Interpretation |
LREC
2010
15 years 1 months 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 5 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...
ICRA
2010
IEEE
14 years 10 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...
111
click to vote
WWW
2004
ACM
16 years 16 days 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...
ICMCS
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper presents a formal approach based on the RTLOTOS formal description technique for the semantic verification of SMIL documents. The reachability analysis of RT-LOTOS spec...