Sciweavers

2782 search results - page 384 / 557
» Issues in holistic system design
Sort
View
CLEF
2004
Springer
15 years 12 months ago
MSU at ImageCLEF: Cross Language and Interactive Image Retrieval
Abstract. In this report, we describe our studies with cross language and interactive image retrieval in ImageCLEF 2004. Typical cross language retrieval requires special linguisti...
Vineet Bansal, Chen Zhang, Joyce Y. Chai, Rong Jin
ICSOC
2004
Springer
15 years 12 months ago
Smart monitors for composed services
Service-based approaches are widely used to integrate heterogenous systems. Web services allow for the definition of highly dynamic systems where components (services) can be dis...
Luciano Baresi, Carlo Ghezzi, Sam Guinea
MATES
2004
Springer
15 years 12 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
SPATIALCOGNITION
2004
Springer
15 years 12 months ago
Towards Dialogue Based Shared Control of Navigating Robots
Establishing a clean relationship between a robot’s spatial model and natural language components is a non-trivial task, but is key to designing verbally controlled, navigating s...
Robert J. Ross, Hui Shi, Tillman Vierhuff, Bernd K...
TPHOL
2003
IEEE
15 years 11 months ago
First Order Logic with Domain Conditions
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
Freek Wiedijk, Jan Zwanenburg