Sciweavers

578 search results - page 73 / 116
» Deriving Semantic Models from Privacy Policies
Sort
View
ICIP
2002
IEEE
15 years 9 months ago
A graphic-theoretic model for incremental relevance feedback in image retrieval
Many traditional relevance feedback approaches for CBIR can only achieve limited short-term performance improvement without benefiting long-term performance. To remedy this limita...
Yueting Zhuang, Jun Yang 0003, Qing Li, Yunhe Pan
JAR
2008
89views more  JAR 2008»
15 years 4 months ago
An Extensible Encoding of Object-oriented Data Models in hol
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
Achim D. Brucker, Burkhart Wolff
PPDP
2009
Springer
15 years 10 months ago
An Isabelle/HOL-based model of stratego-like traversal strategies
Traversal strategies are at the heart of transformational programming with rewriting-based frameworks such as Stratego/XT or Tom and specific approaches for generic functional pr...
Markus Kaiser, Ralf Lämmel
TSD
2005
Springer
15 years 9 months ago
Diction Based Prosody Modeling in Table-to-Speech Synthesis
Transferring a structure from the visual modality to the aural one presents a difficult challenge. In this work we are experimenting with prosody modeling for the synthesized speec...
Dimitris Spiliotopoulos, Gerasimos Xydas, Georgios...
ECOOP
2008
Springer
15 years 6 months ago
Extensible Universes for Object-Oriented Data Models
Abstract We present a datatype package that enables the shallow embedding technique to object-oriented specification and programming languages. This datatype package incrementally ...
Achim D. Brucker, Burkhart Wolff