Proceedings of ICCI'93: 5th International Conference on Computing and Information
Latest Publications

TOTAL DOCUMENTS

108

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE Comput. Soc. Press

0818642122

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Evaluation of linear join processing trees in shared-nothing database environment

Proceedings of ICCI'93: 5th International Conference on Computing and Information ◽

10.1109/icci.1993.315338 ◽

2002 ◽

Author(s):

L. Harada ◽

N. Akaboshi

Download Full-text

Specialised theorem-proving in an intelligent tutoring system for the Dijkstra-Gries programming methodology

Proceedings of ICCI'93: 5th International Conference on Computing and Information ◽

10.1109/icci.1993.315360 ◽

2002 ◽

Cited By ~ 1

Author(s):

F.C.N. Ng ◽

G. Butler

Keyword(s):

Theorem Proving ◽

Intelligent Tutoring ◽

Intelligent Tutoring System ◽

Tutoring System ◽

Programming Methodology

Download Full-text

Why functional languages really need parallelism

Proceedings of ICCI'93: 5th International Conference on Computing and Information ◽

10.1109/icci.1993.315336 ◽

2002 ◽

Author(s):

P.A. Bailes ◽

Ming Gong ◽

A. Moran

Keyword(s):

Functional Languages

Download Full-text

A combinatorial view of visibility graphs of simple polygons

Proceedings of ICCI'93: 5th International Conference on Computing and Information ◽

10.1109/icci.1993.315398 ◽

2002 ◽

Cited By ~ 5

Author(s):

J. Abello ◽

K. Kumar ◽

O. Egecioglu

Keyword(s):

Simple Polygons ◽

Visibility Graphs

Download Full-text

Selectivity

Proceedings of ICCI'93: 5th International Conference on Computing and Information ◽

10.1109/icci.1993.315404 ◽

2002 ◽

Cited By ~ 9

Author(s):

L. Hemachandra ◽

A. Hoene ◽

M. Ogiwara ◽

A. Selman ◽

T. Thierauf ◽

...

Download Full-text

Towards a methodology for developing a federated database system

Proceedings of ICCI'93: 5th International Conference on Computing and Information ◽

10.1109/icci.1993.315310 ◽

2002 ◽

Cited By ~ 4

Author(s):

C. Soutou

Keyword(s):

Database System ◽

Federated Database

Download Full-text

AI-based classification and retrieval of reusable software components

Proceedings of ICCI'93: 5th International Conference on Computing and Information ◽

10.1109/icci.1993.315318 ◽

2002 ◽

Cited By ~ 1

Author(s):

A. Prasad ◽

E.K. Park

Keyword(s):

Software Components ◽

Reusable Software

Download Full-text

Improving efficiency of a theorem prover by eliminating redundant unifications using network structures

Proceedings of ICCI'93: 5th International Conference on Computing and Information ◽

10.1109/icci.1993.315359 ◽

2002 ◽

Author(s):

Shie-Jue Lee ◽

Chih-Hung Wu

Keyword(s):

Theorem Prover ◽

Network Structures

Download Full-text

A method for software reuse through large component libraries

Proceedings of ICCI'93: 5th International Conference on Computing and Information ◽

10.1109/icci.1993.315328 ◽

2002 ◽

Cited By ~ 6

Author(s):

G. Sindre ◽

E.-A. Karlsson ◽

T. Staalhane

Keyword(s):

Software Reuse ◽

Large Component

Download Full-text

An efficient parallel recognition algorithm of parity graphs

Proceedings of ICCI'93: 5th International Conference on Computing and Information ◽

10.1109/icci.1993.315399 ◽

2002 ◽

Cited By ~ 1

Author(s):

E. Dahlhaus

Keyword(s):

Recognition Algorithm

Download Full-text

Proceedings of ICCI'93: 5th International Conference on Computing and InformationLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Soc. Press

Evaluation of linear join processing trees in shared-nothing database environment

Specialised theorem-proving in an intelligent tutoring system for the Dijkstra-Gries programming methodology

Why functional languages really need parallelism

A combinatorial view of visibility graphs of simple polygons

Selectivity

Towards a methodology for developing a federated database system

AI-based classification and retrieval of reusable software components

Improving efficiency of a theorem prover by eliminating redundant unifications using network structures

A method for software reuse through large component libraries

An efficient parallel recognition algorithm of parity graphs

Proceedings of ICCI'93: 5th International Conference on Computing and Information
Latest Publications