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.
Zhang, Dengsheng
Monash University - Research on image processing.
Zhdanova, Anna V.
Novosibirsk State University - Text and document management, information retrieval, natural language processing, databases
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.
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.
Zhang, Dengsheng
Monash University - Research on image processing.
Zhdanova, Anna V.
Novosibirsk State University - Text and document management, information retrieval, natural language processing, databases
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.
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.
Zhang, Dengsheng
Monash University - Research on image processing.
Zhdanova, Anna V.
Novosibirsk State University - Text and document management, information retrieval, natural language processing, databases
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.
Results: 1 2
Site
Menu 
