[ A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z ]
- Zedan, Hussein - - De Montfort University - Formal methods, verification, concurrent systems, semantics, real-time systems, safety critical systems, system re-engineering, object-oriented paradigm.
|
- Zennaro, Marco - - UC Berkeley. Tutorials on SMIL, XML, RPC, RR and RRA, parser LRk. Pictures, presentations and publications.
|
- Zennaro, Marco - - Computer networks, wireless MAC, service network, pi-calculus, SMIL, XML.
|
- Zhdanova, Anna V. - - Novosibirsk State University - Text and document management, information retrieval, natural language processing, database.
|
- Zilberstein, Shlomo - - University of Massachusetts - Research interests include approximate reasoning, decision theory, design of autonomous agents, heuristic search, information gathering, monitoring and control of computation, planning and scheduling, reinforcement learning, resource-bounded reasoning, and reasoning under uncertainty.
|
|