|
|
|
|
Home / Computers / Computer Science / People / E
|
| Categories |
|
|
|
|
|
|
|
|
Web Sites
|
- Eades, Peter - University of Newcastle - Graph drawing, information visualization, software visualization, algorithms.
www.cs.newcastle.edu.au/~eades
- Eder, Elmar - University of Salzburg - Artificial intelligence, automated theorem proving, proof calculi and their complexities, logic programming, theoretical computer science, and complexity theory .
www.cosy.sbg.ac.at/~eder/eder.html
- Edwards, Stephen H. - Virginia Polytechnic Institute and State University - Software engineering, formal methods in programming languages, and information retrieval technology.
vtopus.cs.vt.edu/~edwards
- 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.
ranger.uta.edu/~elmasri
- Engelfriet, Joeri - Vrije Universiteit Amsterdam - Formal models for static and dynamic aspects of complex reasoning processes, temporal logic, and belief revision.
www.cs.vu.nl/~joeri
- Estivill-Castro, Vladimir - University of Newcastle - Machine learning, knowledge discovery and data mining; computational geometry; object-oriented technology; geographical information systems.
www.cs.newcastle.edu.au/~vlad
|
|
|
|
|