Branching Programs are, besides Boolean circuits, the most important nonuniform model of computation. This volume gives a survey of the latest research in this field. It presents a branching program-based approach to complexity theory. Starting with a definition of branching programs and a review of the former research, nondeterministic branching programs are introduced and investigated, thus allowing the description of some fundamental complexity classes. The book then concentrates on the new concept of Omega-branching programs. Apart from the usual binary tests they contain features for...
Branching Programs are, besides Boolean circuits, the most important nonuniform model of computation. This volume gives a survey of the latest researc...
This book introduces an approach in designing E-Librarian Services, which combines advances in multimedia information retrieval with aspects of human-machine interfaces. Such a system can efficiently retrieve multimedia resources from a digital library.
This book introduces an approach in designing E-Librarian Services, which combines advances in multimedia information retrieval with aspects of human-...
This comprehensive and instructive guide to the new world of digital communication covers Ethernet, Token Ring, FDDI, and ATM as well as wireless LAN technologies, WANs, LTE and mobile data, IPv4 and IPv6 and the most up-to-date security protocols.
This comprehensive and instructive guide to the new world of digital communication covers Ethernet, Token Ring, FDDI, and ATM as well as wireless LAN ...