1057 search results - page 62 / 212 » its 1998 |
VISUALIZATION
1998
IEEE
14 years 2 months ago
1998
IEEE
Area cartogramsare used for visualizing geographically distributed data by attaching measurementsto regions of a map and scaling the regions such that their areasare proportional ...
CADE
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. We present a theorem proving environment for the development of reliable and efficient group communication systems. Our approach makes methods of automated deduction appl...
CN
1998
13 years 9 months ago
1998
The MEMOIR project supports researchers working with a vast quantity of distributed information, by assisting them in finding both relevant documents and researchers with related ...
FMSD
1998
13 years 9 months ago
1998
Proving the equivalenceof two Finite State Machines (FSMs) has many applications to synthesis, veri cation, testing, and diagnosis. Building their product machine is a theoretical ...
JSA
1998
13 years 9 months ago
1998
The composition of the example set has a major impact on the quality of neural learning. The popular approach is focused on extensive preprocessing to bridge the representation ga...