Sciweavers

2944 search results - page 356 / 589
» Robust Semantic Construction
Sort
View
PPDP
2005
Springer
16 years 4 days ago
Program transformation by templates based on term rewriting
Huet and Lang (1978) presented a framework of automated program transformation based on lambda calculus in which programs are transformed according to a given program transformati...
Yuki Chiba, Takahito Aoto, Yoshihito Toyama
VLDB
2005
ACM
105views Database» more  VLDB 2005»
16 years 3 days ago
WmXML: A System for Watermarking XML Data
As increasing amount of data is published in the form of XML, copyright protection of XML data is becoming an important requirement for many applications. While digital watermarki...
Xuan Zhou, HweeHwa Pang, Kian-Lee Tan, Dhruv Mangl...
178
Voted
ATAL
2004
Springer
16 years 1 days ago
The SPARK Agent Framework
There is a need for agent systems that can scale to realworld applications, yet retain the clean semantic underpinning of more formal agent frameworks. We describe the SRI Procedu...
David N. Morley, Karen L. Myers
FMCO
2004
Springer
120views Formal Methods» more  FMCO 2004»
16 years 1 days ago
A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects
This paper considers an integration of asynchronous communication, virtual binding, and multiple inheritance. Object orientation is the leading paradigm for concurrent and distribu...
Einar Broch Johnsen, Olaf Owe
MIR
2003
ACM
147views Multimedia» more  MIR 2003»
15 years 12 months ago
Model checking for detection of sport highlights
Automatic semantic annotation of sports video requires that the domain knowledge is properly included and exploited in the annotation process and that low and intermediate-level f...
Marco Bertini, Alberto Del Bimbo, Walter Nunziati