 |
 |
 |
 |
 |
 |
|
|
 |
|
|
| |
| | | | | Show pages from United States Show all pages | |
|
 |  | Maes, Stephane H.
- http://www.stephanemaes.com/smaes/
- IBM T. J. Watson Research Centre - Conversational Multi modal computing, Mobile speech solutions, Speech recognition, Signal Processing, Pattern Recognition | |
 |  | Maheshwari, Piyush
- http://www.cse.unsw.edu.au/~piyush/
- University of New South Wales - Parallel and distributed computing, heterogeneous distributed computing, groupware and workflow, electronic commerce, network computing, software engineering, object-oriented design and technology. | |
 |  | Makowsky, Johann
- http://www.cs.technion.ac.il/~janos/index.html
- The Technion - Mathematical logic and its interaction with computer science, database theory, finite model theory, and descriptive complexity. | |
 |  | Manning, Christopher
- http://www-nlp.stanford.edu/~manning/
- Stanford University - Syntax, computational linguistics. | |
 |  | Martini, Simone
- http://www.cs.unibo.it/~martini/
- University of Bologna, Italy - Type systems for programming languages, logic in computer science, lambda-calculus. | |
 |  | MartÃn, Carme
- http://www-lsi.upc.es/~martin/home_ang.html
- Universitat Politècnica de Catalunya - Integrity constraints, temporal databases, deductive databases. | |
 |  | Mayer, Helmut A.
- http://www.cosy.sbg.ac.at/~helmut/helmut.html
- University of Salzburg - Natural computation, image processing, parallel computation, software engineering, and robotics. | |
 |  | McCarthy, Diana F.
- http://www.informatics.sussex.ac.uk/research/groups/nlp/mccarthy/mccarthy.html
- University of Sussex - Shallow parsing, semantic tagging, natural language processing. | |
 |  | McCusker, Guy
- http://www.cs.bath.ac.uk/~gam23/
- School of Cognitive and Computing Sciences, University of Sussex - Semantics of programming languages. | |
 |  | Menezes, Bernard
- http://www.it.iitb.ac.in/~bernard/
- Indian Institute of Technology, Bombay - Information Appliances, Electronic Commerce, Java Security, Parallel Computing | |
 |  | Miculan, Marino
- http://users.dimi.uniud.it/~marino.miculan/
- University of Udine - Semantics of programming languages, formal verification of process/program properties, logical frameworks based on typed lambda-calculus. | |
 |  | Misevicius, Alfonsas
- http://www.soften.ktu.lt/~misevi/index_en.html
- Kaunas University of Technology. Design and applications of heuristics and meta-heuristics for combinatorial optimization problems, computer-aided design, theory of randomness. | |
 |  | Misra, Jayadev
- http://www.cs.utexas.edu/users/misra/
- University of Texas - Parallel and distributed computing, specification and design of synchronous and asynchronous systems. | |
 |  | Moddemeijer, Rudy
- http://www.cs.rug.nl/~rudy/
- University of Groningen - Image and signal processing, information theory,model selection, Modula-3. | |
 |  | Montanari, Angelo
- http://users.dimi.uniud.it/~angelo.montanari/
- University of Udine - Logical specifications of real-time systems, temporal and object-oriented databases, deductive databases, temporal representation and reasoning, modal and temporal logic, set theory.
|
This site is presented in modified Open Directory form
| |
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
| | | | |
|