159 search results - page 20 / 32 » expert 2000 |
FMCAD
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
IDEAL
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. Ordinal data play an important part in financial forecasting. For example, advice from expert sources may take the form of "bullish", "bearish" or &qu...
IEAAIE
2000
Springer
15 years 3 months ago
2000
Springer
Gathering, maintenance, integration and presentation of statistics are major activities of the Dutch Agricultural Economics Research Institute LEI. In this paper we explore how kno...
NLDB
2000
Springer
15 years 3 months ago
2000
Springer
: The information system analysis process is considered as a difficult phase during the information systems development. The difficulty lies in gathering relevant information from ...
SPATIALCOGNITION
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. In the context of a research about application of dynamic visualisation parameters in animations for monitoring purposes, this paper reports on characteristics of dynamic...