Sciweavers

505 search results - page 24 / 101
» Automatically generating personalized user interfaces with S...
Sort
View
ICMCS
2005
IEEE
150views Multimedia» more  ICMCS 2005»
15 years 3 months ago
MPEG-7 MDS-Based Application Specific Metadata Model for Personalized Multi-Service Access in a DTV Broadcast Environment
The paper presents an MPEG-7 Multimedia Description Schemes (MDS)-based metadata and user profile model used within an enhanced DTV environment for semantic annotation and person...
Sofia Tsekeridou
78
Voted
CHI
2009
ACM
15 years 2 months ago
Facilitating benign deceit in mediated communication
This research explores how to communicate an individuals’ self-reported emotional state to members of their personal social network, through automatic, computer-generated, perso...
Wendy Moncur, Judith Masthoff, Ehud Reiter
BMCBI
2007
141views more  BMCBI 2007»
14 years 9 months ago
Using structural motif descriptors for sequence-based binding site prediction
Background: Many protein sequences are still poorly annotated. Functional characterization of a protein is often improved by the identification of its interaction partners. Here, ...
Andreas Henschel, Christof Winter, Wan Kyu Kim, Mi...
96
Voted
APVIS
2010
14 years 11 months ago
A sketch-based interface for classifying and visualizing vector fields
In flow visualization, field lines are often used to convey both global and local structure and movement of the flow. One challenge is to find and classify the representative fiel...
Jishang Wei, Chaoli Wang, Hongfeng Yu, Kwan-Liu Ma
FROCOS
2011
Springer
13 years 9 months ago
Automatic Proof and Disproof in Isabelle/HOL
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
Jasmin Christian Blanchette, Lukas Bulwahn, Tobias...