Cognitive models of speech processing: Psycholinguistic and computational perspectives: Edited by Gerry T. M. Altmann. MIT Press, Cambridge, MA. (1990). 540 pages. $20.00
- Publisher
- Elsevier Science
- Year
- 1996
- Tongue
- English
- Weight
- 114 KB
- Volume
- 31
- Category
- Article
- ISSN
- 0898-1221
No coin nor oath required. For personal study only.
✦ Synopsis
Contents: Preface. I. Concurrency. 1. A concurrent semantics for concurrent constraint programs via contextual nets (Ugo Montanari and Francesca Rossi). 2. Object-oriented concurrent constraint programming in Oz (Martin Henz, Gert Smolka, and J6rg W/irtz). II. Reactive systems. 3. Constraint programming in constraint nets (Ying Zhang and Alan K. Mackworth). 4. Robot programming constraints (Dinseh K. Pal). 5. Constraint logic programming: Hybrid control, logic as linear programming (Wolf Kohn, Anil Nerode, and V.S. Subrahmanian). III. Languages and environments. 6. 2LP: Linear programming and logic programming (Ken McAloon and Carol Tretkoff). 7. A constraint-based scientific programming language (Richard Zippel). 8. Designing constraint logic programming languages using computational systems (Claude Kirchner, H@l~ne Kirchner, and Marian Vittek). 9. Aggregation in constraint databases (Gabriel M. Kuper). 10. Synthesis of constraint algorithms (Douglas R. Smith and Stephen J. Westfold). 11. Exploiting constraint dependency information for debugging and explanation (Walid T. Keirouz, Glenn A. Kramer, and Jahir Paben). 12. Constraining the structure and style of object-oriented programs (Scott Myers, Carolyn K. Duby, and Steven P. Reiss). IV. Constraint~solving algorithms. 13. An approach for solving systems of parametric polynomial equations (Deepak Kapur). 14. Fourier's elimination: Which to choose? (Jean-Louise Imbert). 15. Verifying logic circuits by Benders decomposition (J.N. Hooker and H. Yan). 16. An incremental hierarchical constraint solver (Francisco Menezes and Pedro Barahona). V. Artificial Intelligence. 17. A disjunctive decomposition control schema for constraint satisfaction (Eugene C. Freuder and Paul D. Hubbe). 18. Local consistency in parallel constraint-satisfaction networks (Simon Kasif and Arthur L. Delcher). 19. Terminological reasoning with constraint handling rules (Thom Friihwirth and Philipp Hanschke). VI. Computer graphics. 20. The SkyBlue constraint solver and its applications (Michael Sannella). 21. Practical issues in graphical constraints (Michael Gleicher). 22. Constraint management in a declarative design method for 3D scene sketch modeling (St@phane Donikian and G@rard H@gron). 23. Expressing constraints for data display specification: A visual approach (Isabel F. Cruz). Contributors.