Search

Your search keyword '"Zhou, Neng"' showing total 44 results

Search Constraints

Start Over You searched for: Author "Zhou, Neng" Remove constraint Author: "Zhou, Neng" Database Springer Nature eBooks Remove constraint Database: Springer Nature eBooks
44 results on '"Zhou, Neng"'

Search Results

1. Enhancing Eye-Tracking Performance Through Multi-task Learning Transformer

2. Reversible Data Hiding Algorithm in Homomorphic Encrypted Domain Based on EC-EG

4. Optimizing SAT Encodings for Arithmetic Constraints

5. Canonicalizing High-Level Constructs in Picat

8. From Dynamic Programming to Planning

9. Advanced Constraint Modeling

10. Basic Constraint Modeling

11. Dynamic Programming with Tabling

12. An Overview of Picat

13. Programming in Picat

14. The Picat-SAT Compiler

15. On Modeling Planning Problems: Experience from the Petrobras Challenge

16. Compiling Answer Set Programs into Event-Driven Action Rules

17. Encoding Table Constraints in CLP(FD) Based on Pair-Wise AC

22. A Register-Free Abstract Prolog Machine with Jumbo Instructions

23. A Constraint-Based Graphics Library for B-Prolog

24. Contracts and Specifications for Functional Logic Programming

25. Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation

26. Efficient Tabling of Structured Data Using Indexing and Program Transformation

27. Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools

28. The Environment as an Argument : Context-Aware Functional Programming

29. Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving

30. A Declarative Approach for Software Modeling

31. Typing the Numeric Tower

32. Recent Advances in Declarative Networking

33. A Declarative Specification of Tree-Based Symbolic Arithmetic Computations

34. Resource-Safe Systems Programming with Embedded Domain Specific Languages

35. Virtualizing Real-World Objects in FRP

36. Node-Based Connection Semantics for Equation-Based Object-Oriented Modeling Languages

37. Distributed Policy Specification and Interpretation with Classified Advertisements

38. LearnPADS + + : Incremental Inference of Ad Hoc Data Formats

39. Handshaking in Kansas Lava Using Patch Logic

40. The Kennedy-Warren Algorithm Revisited: Ordering Attribute Grammars

41. Palovca: Describing and Executing Graph Algorithms in Haskell

42. A Segment-Swapping Approach for Executing Trapped Computations

43. Symbolic Execution of Concurrent Objects in CLP

44. Make Things Now! Pragmatic Functional Programming in Haskell

Catalog

Books, media, physical & digital resources