Sciweavers

4099 search results - page 649 / 820
» A Framework for Interactive Proof
Sort
View
IADIS
2003
15 years 5 months ago
A Multimodal Interface for Digital Talking Books
This paper presents a framework for the production of digital talking books. These books target primarily the visually impaired community, but users with other characteristics can...
Carlos Duarte, Teresa Chambel, Luís Carri&c...
WOODPECKER
2001
15 years 5 months ago
Consistency Checking of RM-ODP Specifications
Ensuring that specifications are consistent is an important part of specification development and testing. In this paper we introduce the ConsVISor tool for consistency checking o...
Kenneth Baclawski, Mieczyslaw M. Kokar, Jeffrey E....
WSC
2001
15 years 5 months ago
Agent-based simulation and greenhouse gas emissions trading
The need for new theoretical and experimental approaches to understand dynamic and heterogeneous behavior in complex economic and social systems is increasing recently. An approac...
Hideyuki Mizuta, Yoshiki Yamagata
AAAI
1998
15 years 5 months ago
The Role of Data Reprocessing in Complex Acoustic Environments
The Integrated Processing and Understanding of Signals (IPUS) architecture is a general blackboard framework for structuring bidirectional interaction between front-end signal pro...
Frank Klassner, Victor R. Lesser, Hamid Nawab
UAI
2003
15 years 5 months ago
Active Collaborative Filtering
Collaborative filtering (CF) allows the preferences of multiple users to be pooled to make recommendations regarding unseen products. We consider in this paper the problem of onl...
Craig Boutilier, Richard S. Zemel, Benjamin M. Mar...