Sciweavers

846 search results - page 9 / 170
» Fundamentals of Media Theory
Sort
View
ITP
2010
165views Mathematics» more  ITP 2010»
14 years 10 days ago
A Mechanized Translation from Higher-Order Logic to Set Theory
Abstract. In order to make existing formalizations available for settheoretic developments, we present an automated translation of theories from Isabelle/HOL to Isabelle/ZF. This c...
Alexander Krauss, Andreas Schropp
IJCAI
2003
13 years 9 months ago
A Theory of Average-Case Compilability in Knowledge Representation
Compilability is a fundamental property of knowledge representation formalisms which captures how succinctly information can be expressed. Although many results concerning compila...
Hubie Chen
HAID
2008
Springer
13 years 9 months ago
An Audio-Haptic Aesthetic Framework Influenced by Visual Theory
Sound is touch at a distance. The vibration of pressure waves in the air creates sounds that our ears hear, at close range, these pressure waves may also be felt as vibration. This...
Angela Chang, Conor O'Sullivan
CIG
2006
IEEE
14 years 2 months ago
Fun in Slots
— People play games for fun. Yet we are lacking a fundamental understanding of what fun is and how fun works in games and other media. For example, why do thousands of people spe...
Kevin Burns
MMS
2008
13 years 8 months ago
Canonical processes of semantically annotated media production
While many multimedia systems allow the association of semantic annotations with media assets, there is no agreedupon way of sharing these among systems. As an initial step within...
Lynda Hardman, Zeljko Obrenovic, Frank Nack, Brigi...