Sciweavers

578 search results - page 73 / 116
» Deriving Semantic Models from Privacy Policies
Sort
View
ICIP
2002
IEEE
14 years 1 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»
13 years 8 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
14 years 3 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
14 years 2 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
13 years 10 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