Search alternatives:
constraining interpretation » constructing interpretations, contrasting interpretations, constructive interpretation

1
Published 1996
Springer Berlin Heidelberg
Table of Contents: ...A brief overview of over-constrained systems -- Constraint hierarchies -- Partial constraint...

2
by Shen, Y.-L.
Published 2010
Springer US
..."Constrained Deformation of Materials: Devices, Heterogeneous Structures and Thermo-Mechanical...

3
by Tsurkov, Vladimir, Mironov, A.
Published 1999
Springer US
... be interpreted as follows. Suppose that the shipment time from a supply point to a demand point is proportional...

4
by Mani, Inderjeet
Published 2012
Oxford University Press
...This text shows how language structures constrain concepts of motion, analysing the semantics...

5
Published 2003
Springer Berlin Heidelberg
Table of Contents: ...Exact trade-off between approximation accuracy and interpretability: solving the saturation problem...

6
Published 2024
Springer Nature Switzerland
Table of Contents: ...Abstract Interpretation -- Formal Runtime Error Detection During Development in the Automotive...

7
Published 2023
Springer Nature Switzerland
Table of Contents: ... to coarse-grain stochastic reaction networks by Abstract Interpretation -- CosySEL: Improving SAT Solving...

8
by Srivastava, Rajesh
Published 2011
Springer Berlin Heidelberg
Table of Contents: ... land use using constrained CA -- 6. Urban growth simulation for spatial strategic plan of Chuangdong...

9
by Hutchinson, Allan C.
Published 2016
Cambridge University Press
Subjects: ...Law / Interpretation and construction...

10
by Murray, David W.
Published 1990
MIT Press
... and its consequences. This book describes experimental advances made in the interpretation of visual...

11
by Neumann, Klaus, Schwindt, Christoph, Zimmermann, Jürgen
Published 2002
Springer Berlin Heidelberg
Table of Contents: ...1 Temporal Project Scheduling -- 2 Resource-Constrained Project Scheduling — Minimization...

12
Published 2024
Springer Nature Switzerland
Table of Contents: ...Unsupervised Learning-based Data Collection Planning with Dubins Vehicle and Constrained Data...

13
by Lopez, Cesar
Published 2014
Apress
Subjects: ...Compilers and Interpreters...

14
by Olsson, Mikael
Published 2020
Apress
Subjects: ...Compilers and Interpreters...

15
Published 2001
Springer Berlin Heidelberg
Table of Contents: ... -- A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models -- Case Studies...

16
Published 2014
Springer International Publishing
Table of Contents: ... for Finite Nondeterministic Automata with Data.- SMT-Constrained Symbolic Execution for Eclipse CDT/Codan...

17
Published 2023
Springer Nature Singapore
Table of Contents: ... Format -- Transport via Partial Galois Connections and Equivalences -- Argument Reduction of Constrained...

18
Published 1993
Springer Berlin Heidelberg
Table of Contents: ... use of formal methods -- Verification and comparison of transition systems -- Constraining...

19
Published 1991
Springer Berlin Heidelberg
Table of Contents: ...-constrained automata -- Relating processes with respect to speed -- Testing, betting and timed true...

20
by Horton, Ivor, Van Weert, Peter
Published 2020
Apress
Table of Contents: ... -- 20. Containers and Algorithms -- 21. Constrained Templates and Concepts...