MPG.eBooks - Search Results

1

Text, Speech and Dialogue : Second International Workshop, TSD'99 Plzen, Czech Republic, September 13-17, 1999, Proceedings

Published 1999

Springer Berlin Heidelberg

Table of Contents: “...: Crossing the Sentence Boundary -- Text -- Tiered Tagging and Combined Language Models Classifiers...”

Read Now

2

Computational Linguistics and Intelligent Text Processing : Third International Conference, CICLing 2002, Mexico City, Mexico, February 17-23, 2002 Proceedings

Published 2002

Springer Berlin Heidelberg

Table of Contents: “... Quantification in Situation Semantics -- Sign Language Translation via DRT and HPSG -- Multilayered Extended...”

Read Now

3

Advanced Multimedia Content Processing : First International Conference, AMCP'98, Osaka, Japan, November 9-11, 1998, Proceedings

Published 1999

Springer Berlin Heidelberg

Subjects: “...Natural Language Processing (NLP)...”

Read Now

4

Algorithmic Learning Theory : 9th International Conference, ALT’98, Otzenhausen, Germany, October 8–10, 1998 Proceedings

Published 1998

Springer Berlin Heidelberg

Table of Contents: “... of Boolean Functions by Monotone Theory -- Learning Formal Languages -- Locality, Reversibility, and Beyond...”

Read Now

5

Machines, Computations, and Universality : Third International Conference, MCU 2001 Chisinau, Moldava, May 23-27, 2001 Proceedings

Published 2001

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

6

Algebraic Methodology and Software Technology : 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings

Published 2002

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

7

Foundations of Software Science and Computation Structures : 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of So...

Published 2002

Springer Berlin Heidelberg

Table of Contents: “... Programs -- Generalised Regular MSC Languages -- On Compositional Reasoning in the Spi-calculus...”

Read Now

8

Computer Science Logic : 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings

Published 1999

Springer Berlin Heidelberg

Table of Contents: “... Concurrent Semantics for a Simple Parallel Programming Language -- Specification Refinement with System F...”

Read Now

9

Rough Sets and Current Trends in Computing : Third International Conference, RSCTC 2002, Malvern, PA, USA, October 14-16, 2002. Proceedings

Published 2002

Springer Berlin Heidelberg

Table of Contents: “... Sets, Guarded Command Language, and Decision Rules -- Collaborative Query Processing in DKS Controlled...”

Read Now

10

Computability and Complexity in Analysis : 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000. Selected Papers

Published 2001

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

11

Advances in Computing Science - ASIAN 2000 : 6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

12

Isabelle/HOL : A Proof Assistant for Higher-Order Logic

by Nipkow, Tobias, Paulson, Lawrence C., Wenzel, Markus
Published 2002

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

13

Computer Science Logic : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September

Published 2002

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

14

Algebraic Methodology and Software Technology : 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

Table of Contents: “... of Statecharts and of the Algebraic Specification Language Casl -- Message Authentication through Non...”

Read Now

15

FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science : 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings

Published 2001

Springer Berlin Heidelberg

Table of Contents: “... Language for Data Structures -- Using Nondeterminism to Design Efficient Deterministic Algorithms...”

Read Now

16

Computer Aided Verification : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings

Published 2002

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

17

Formal Methods in Computer-Aided Design : Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings

Published 1998

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

18

Correct System Design : Recent Insights and Advances

Published 1999

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

19

Advances in Computing Science - ASIAN'99 : 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 Proceedings

Published 1999

Springer Berlin Heidelberg

Table of Contents: “... - Structured Design of a Specification Language for Intelligent Agents -- An Efficient Location Management...”

Read Now

20

Programs as Data Objects : Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings

Published 2001

Springer Berlin Heidelberg

Table of Contents: “... on Difference-Bound Matrices -- Partial Evaluation for Class-Based Object-Oriented Languages -- Driving...”

Narrow Search