Sciweavers

3686 search results - page 437 / 738
» Comprehensive comprehensions
Sort
View
ICWE
2004
Springer
15 years 9 months ago
A Scalable Component-Based Architecture for Online Services of Library Catalogs
Abstract. In recent years, more and more publications and material for studying and teaching, e. g. for Web-based teaching (WBT), appear "online" and digital libraries ar...
Marcus Flehmig
ISCIS
2004
Springer
15 years 9 months ago
Software Testing via Model Checking
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
Fevzi Belli, Baris Güldali
ISER
2004
Springer
117views Robotics» more  ISER 2004»
15 years 9 months ago
Synthesis and Analysis of Non-Reactive Controllers for Multi-Robot Sequential Task Domains
In this paper we present a macroscopic model for the analysis of homogeneous task-directed multi-robot systems (MRS). The model is used to compute the probability that a given MRS ...
Chris Jones, Maja J. Mataric
ISMIR
2004
Springer
119views Music» more  ISMIR 2004»
15 years 9 months ago
Creating a nested melodic representation: competition and cooperation among bottom-up and top-down Gestalt principles
A set of principles (based on Gestalt theory) governing how we group notes into meaningful groups has been widely accepted in the literature. Based on these principles, many diver...
Jane Singer
MATES
2004
Springer
15 years 9 months ago
C-IPS: Specifying Decision Interdependencies in Negotiations
Negotiation is an important mechanism of coordination in multiagent systems. Contrary to early conceptualizations of negotiating agents, we believe that decisions regarding the neg...
Kay Schröter, Diemo Urbig