Sciweavers

2696 search results - page 377 / 540
» Semantic Abstraction and Anaphora
Sort
View
ACII
2007
Springer
15 years 10 months ago
Affective Text Variation and Animation for Dynamic Advertisement
Abstract. The largest part of the advertising market is already electronic. This means there is an opportunity for automatizing some of the production processes, such as producing ...
Carlo Strapparava, Alessandro Valitutti, Oliviero ...
AGTIVE
2007
Springer
15 years 10 months ago
Verification and Synthesis of OCL Constraints Via Topology Analysis
On the basis of a case-study, we demonstrate the usefulness of topology invariants for model-driven systems development. Considering a graph grammar semantics for a relevant fragme...
Jörg Bauer, Werner Damm, Tobe Toben, Bernd We...
APLAS
2007
ACM
15 years 10 months ago
Translation Correctness for First-Order Object-Oriented Pattern Matching
Pattern matching makes ML programs more concise and readable, and these qualities are also sought in object-oriented settings. However, objects and classes come with open erarchie...
Burak Emir, Qin Ma 0002, Martin Odersky
DASFAA
2007
IEEE
156views Database» more  DASFAA 2007»
15 years 10 months ago
An Efficient and Scalable Management of Ontology
Abstract. OWL is a recommended language for publishing and sharing ontologies on the Semantic Web. To manage the ontologies, several OWL data management systems have been proposed....
Myung-Jae Park, Jihyun Lee, Chun-Hee Lee, Jiexi Li...
EUROCAST
2007
Springer
161views Hardware» more  EUROCAST 2007»
15 years 10 months ago
Using Verification Technology to Specify and Detect Malware
Abstract. Computer viruses and worms are major threats for our computer infrastructure, and thus, for economy and society at large. Recent work has demonstrated that a model checki...
Andreas Holzer, Johannes Kinder, Helmut Veith