Sciweavers

2638 search results - page 310 / 528
» Frameworks for Reasoning about Agent Based Systems
Sort
View
COSIT
2001
Springer
158views GIS» more  COSIT 2001»
15 years 11 months ago
Double-Crossing: Decidability and Computational Complexity of a Qualitative Calculus for Navigation
Abstract. The Double Cross calculus has been proposed for the purpose of navigation based on qualitative information about spatial configurations. Up until now, however, no result...
Alexander Scivos, Bernhard Nebel
CSL
2010
Springer
15 years 6 months ago
Active learning and semi-supervised learning for speech recognition: A unified framework using the global entropy reduction maxi
We propose a unified global entropy reduction maximization (GERM) framework for active learning and semi-supervised learning for speech recognition. Active learning aims to select...
Dong Yu, Balakrishnan Varadarajan, Li Deng, Alex A...
CSFW
2005
IEEE
16 years 6 days ago
Language-Based Information Erasure
Real computing systems sometimes need to forget sensitive information. This paper explores the specification and semantics of information erasure policies, which impose a strong,...
Stephen Chong, Andrew C. Myers
MMM
2009
Springer
187views Multimedia» more  MMM 2009»
16 years 3 months ago
Evidence Theory-Based Multimodal Emotion Recognition
Automatic recognition of human affective states is still a largely unexplored and challenging topic. Even more issues arise when dealing with variable quality of the inputs or aim...
Marco Paleari, Rachid Benmokhtar, Benoit Huet
AOSE
2007
Springer
16 years 23 days ago
A Goal-Oriented Software Testing Methodology
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...
Duy Cu Nguyen, Anna Perini, Paolo Tonella