Sciweavers

3179 search results - page 104 / 636
» Applications of PCF Theory
Sort
View
ICIP
1995
IEEE
14 years 10 months ago
Mathematical analysis of MPEG compression capability and its application to rate control
This paper presents mathematical frameworks on temporal predictiveprocessing in the MPEG video compression standard. Firstly, a coding gain is derived based on traditional predict...
Jiro Katto, Mutsumi Ohta
LICS
2009
IEEE
14 years 3 months ago
Wreath Products of Forest Algebras, with Applications to Tree Logics
—We use the recently developed theory of forest algebras to find algebraic characterizations of the languages of unranked trees and forests definable in various logics. These i...
Mikolaj Bojanczyk, Howard Straubing, Igor Walukiew...
ICALT
2007
IEEE
14 years 3 months ago
The application of IMS Learning Design to Develop Compute-based Educational Game
How can game designers realize the balance of “educational function” and “entertainment” in a Computer-based Educational Game (CEG)? The concept of IMS learning design (LD...
Miaomiao Zeng, Yueliang Zhou
ECTEL
2007
Springer
14 years 3 months ago
ICT Supported Interorganizational Knowledge-Creation: Application of Change Laboratory
To answer the challenges of globally distributed organizations facing constant transformation of work, means of ICT supported interorganizational knowledge-creation is needed. Firs...
Seppo Toikka
GI
2004
Springer
14 years 2 months ago
Developing Web Applications for Small and Medium-sized Enterprises - An Experience Report
: In this paper we describe one of the authors’ experiences working for an IT service provider in an SME environment. The paper starts with an analysis of the factors typical for...
Markus Aleksy, Ralf Gitzel, Michael Schwind