3038 search results - page 454 / 608 » Issues in Multiagent System Development |
CLEF
2004
Springer
14 years 3 months ago
2004
Springer
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...
SPATIALCOGNITION
2004
Springer
14 years 3 months ago
2004
Springer
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...
TPHOL
2003
IEEE
14 years 3 months ago
2003
IEEE
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. ...
VISUALIZATION
2003
IEEE
14 years 3 months ago
2003
IEEE
In this paper, we describe a set of 3D and 4D visualization tools and techniques for CORIE, a complex environmental observation and forecasting system (EOFS) for the Columbia Rive...
CODES
2002
IEEE
14 years 3 months ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...