5451 search results - page 152 / 1091 » Typed Operational Semantics |
103
Voted
SEMWEB
2007
Springer
15 years 9 months ago
2007
Springer
When copying and pasting data between applications using the operating system clipboard, the semantics of the transfered information is usually lost. Using Semantic Web technologie...
141
Voted
LOPSTR
1994
Springer
15 years 7 months ago
1994
Springer
The unfold/fold transformation system defined by Tamaki and Sato was meant for definite programs. It transforms a program into an equivalent one in the sense of both the least tter...
124
Voted
AI
2005
Springer
15 years 3 months ago
2005
Springer
Proactive information delivery is critical to achieving effective teamwork. However, existing theories do not adequately address proactive information delivery. This paper present...
141
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Dance video is one of the important types of narrative videos with semantic rich content. This paper proposes a new meta model, Dance Video Content Model (DVCM) to represent the ex...
117
Voted
JSW
2008
15 years 3 months ago
2008
Service composition is emerging as an important paradigm for constructing distributed applications by combining and reusing independently developed component services. One key issu...