Sciweavers

278 search results - page 40 / 56
» Reasoning About General Games Described in GDL-II
Sort
View
MM
2004
ACM
114views Multimedia» more  MM 2004»
14 years 25 days ago
ChucK: a programming language for on-the-fly, real-time audio synthesis and multimedia
In this paper, we describe ChucK – a programming language and programming model for writing precisely timed, concurrent audio synthesis and multimedia programs. Precise concurre...
Ge Wang, Perry R. Cook
KCAP
2003
ACM
14 years 20 days ago
Design of customized web applications with OntoWeaver
OntoWeaver is our conceptual modelling methodology and a tool that support the specification and implementation of customized web applications. It relies on a number of different ...
Yuangui Lei, Enrico Motta, John Domingue
AUSAI
2003
Springer
14 years 19 days ago
Multimedia Analysis and Synthesis
We describe novel approaches to multimedia analysis and synthesis problems. We first present the experiential sampling technique which has the ability to focus on the analysis task...
Mohan S. Kankanhalli
HICSS
2000
IEEE
153views Biometrics» more  HICSS 2000»
13 years 12 months ago
On Verifying Distributed Multithreaded Java Programs
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
Jessica Chen
ICCS
1998
Springer
13 years 11 months ago
Handling Specification Knowledge Evolution Using Context Lattices
Internet-based information technologies have considerable potential for improving collaboration in professional communities. In this paper, we explain the concept of user-driven sp...
Aldo de Moor, Guy W. Mineau