 |
|
 Programming Languages and Systems: 8th Asian Symposium, APLAS 2010
This volume contains the papers presented at APLAS 2010, the eighth Asian Symposium on Programming Languages and Systems, held from November 28 to December 1, 2010, in Shanghai, China. The symposium was sponsored by the Asian Association for Foundation of Software (AAFS) and Shanghai Jiao Tong University.
APLAS is a premiere forum... |  |  Sanskrit Computational Linguistics: 4th International Symposium, New Delhi, India
This volume constitutes the refereed proceedings of the 4th International Symposium on Sanskrit Computational Linguistics, held in New Delhi, India, in December 2010. The 18 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers can be categorized under following broad areas such as phonology... |  |  |
|
 The Verilog® Hardware Description Language
The Verilog language is a hardware description language that provides a means of specifying a digital system at a wide range of levels of abstraction. The language supports the early conceptual stages of design with its behavioral level of abstraction, and the later implementation stages with its structural abstractions. The language includes... |  |  Modeling and Reasoning with Bayesian Networks
Bayesian networks have received a lot of attention over the last few decades from both scientists and engineers, and across a number of fields, including artificial intelligence (AI), statistics, cognitive science, and philosophy.
Perhaps the largest impact that Bayesian networks have had is on the field of AI, where they were... |  |  Elementary Computability, Formal Languages, and Automata
This book is an introduction to theoretical computer science emphasizing two interrelated areas: the theory of computability {how to tell whether problems are algorithmically solvable) and the theory of formal languages (how to design and use special languages, as for algorithms). Automata {idealized computer devices) are used as precise... |
|
|
|
Result Page: 25 24 23 22 21 20 19 18 17 16 15 |