E
E Links
- Engelfriet, Joeri Vrije Universiteit Amsterdam - Formal models for static and dynamic aspects of complex reasoning processes, temporal logic, and belief revision.
- Estivill-Castro, Vladimir University of Newcastle - Machine learning, knowledge discovery and data mining; computational geometry; object-oriented technology; geographical information systems.
- Edwards, Stephen H. Virginia Polytechnic Institute and State University - Software engineering, formal methods in programming languages, and information retrieval technology.
- Eder, Elmar University of Salzburg - Artificial intelligence, automated theorem proving, proof calculi and their complexities, logic programming, theoretical computer science, and complexity theory .
- Elmasri, Ramez University of Texas in Arlington - Temporal databases, conceptual modeling, object-oriented databases, systems integration, distributed and multi-database systems, database models and languages, DBMS system implemention, indexing techniques, software engineering environments, operating systems, programming languages.
- Eades, Peter University of Newcastle - Graph drawing, information visualization, software visualization, algorithms.
| Help build the largest human-edited directory on the web. |
| Submit a Site - Open Directory Project - Become an Editor |