Maes, Stephane H.
IBM T. J. Watson Research Centre - Conversational Multi modal computing, Mobile speech solutions, Speech recognition, Signal Processing, Pattern Recognition
Mahajan, Meena
Institute of Mathematical Sciences. Chennai - Circuit Complexity, Interactive and Probabilistically Checkable Proofs, Counting Classes, Discrete Algorithms, Parallel Algorithms, Parameterized Complexity.
Maheshwari, 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
The Technion - Mathematical logic and its interaction with computer science, database theory, finite model theory, and descriptive complexity.
Malcolm, Christopher
University of Edinburgh - Architectural and representational issues in automated assembly, robot and sensor technology, Philosophical issues and social implications of artificial intelligence.
Manning, Christopher
Stanford University - Syntax, computational linguistics.
MartÃn, Carme
Universitat Politècnica de Catalunya - Integrity constraints, temporal databases, deductive databases.
Martini, Simone
University of Bologna, Italy - Type systems for programming languages, logic in computer science, lambda-calculus.
Mayer, Helmut A.
University of Salzburg - Natural computation, image processing, parallel computation, software engineering, and robotics.
McCarthy, Diana F.
University of Sussex - Shallow parsing, semantic tagging, natural language processing.
McCusker, Guy
School of Cognitive and Computing Sciences, University of Sussex - Semantics of programming languages.
Mellish, Christopher
University of Edinburgh - Natural language generation.
Menezes, Bernard
Indian Institute of Technology, Bombay - Information Appliances, Electronic Commerce, Java Security, Parallel Computing
Michail, Amir
University of Washington - Techniques to extract software reuse experience from a collection of software systems
Miculan, Marino
University of Udine - Semantics of programming languages, formal verification of process/program properties, logical frameworks based on typed lambda-calculus.
Misevicius, Alfonsas
Kaunas University of Technology. Design and applications of heuristics and meta-heuristics for combinatorial optimization problems, computer-aided design, theory of randomness.
Misra, Jayadev
University of Texas - Parallel and distributed computing, specification and design of synchronous and asynchronous systems.
Moddemeijer, Rudy
University of Groningen - Image and signal processing, information theory,model selection, Modula-3.
Montanari, Angelo
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.
Moona, Rajat
Indian Institute of Technology, Kanpur - Computer Architecture, VLSI Design, Operating Systems, Embedded Systems.
Results: 1 2 3 4 5 Next
Site
Menu 
