2072 search results - page 279 / 415 » Multibook's test environment |
125
click to vote
KBSE
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...
146
click to vote
CVPR
1997
IEEE
15 years 8 months ago
1997
IEEE
Light power is a ected when it crosses the atmosphere; there is a simple, albeit non-linear, relationship between the radiance of an image at any given wavelength and the distance...
117
click to vote
ROBOCUP
1998
Springer
15 years 8 months ago
1998
Springer
Developing agents for simulation environments is usually the responsibility of computer experts. However, as domain experts have superior knowledge of the intended agent behavior, ...
130
click to vote
VL
1994
IEEE
15 years 8 months ago
1994
IEEE
Developers of new imageanalysis algorithmstypically require an interactive environment in which the imagedata can be passed through various operators, some of which may involve fe...
171
click to vote
TOOLS
1992
IEEE
15 years 8 months ago
1992
IEEE
This paper describes an Ei el system for rapid testing of grammars. Grammars are de ned in an extended BNF notation that allows actions on the parse tree nodes to be de ned as add...