Search

Your search keyword '"Bartak A"' showing total 90 results

Search Constraints

Start Over You searched for: Author "Bartak A" Remove constraint Author: "Bartak A" Publication Type eBooks Remove constraint Publication Type: eBooks
90 results on '"Bartak A"'

Search Results

1. International Comparison of Cost of Medical Interventions in European Union: A Model Study for Cataract Surgery

5. Remarks to Abrasive Waterjet (AWJ) Forces Measurements

6. Heuristic Learning in Domain-Independent Planning: Theoretical Analysis and Experimental Evaluation

8. 3D Navigation for a Mobile Robot

9. LOUGA: Learning Planning Operators Using Genetic Algorithms

12. On Verification of Workflow and Planning Domain Models Using Attribute Grammars

13. Using a Grammar Checker to Validate Compliance of Processes with Workflow Models

14. Hierarchical Task Model for Resource Failure Recovery in Production Scheduling

19. Using Attribute Grammars to Model Nested Workflows with Extra Constraints

20. Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station

21. Machine Breakdown Recovery in Production Scheduling with Simple Temporal Constraints

22. Short-Term Motion Tracking Using Inexpensive Sensors

23. The Gallbladder

24. The Biliary Tree

26. A Constraint-Based Planner for Mars Express Orbiter

27. On Modeling Formalisms for Automated Planning

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

29. Using Monte Carlo Tree Search to Solve Planning Problems in Transportation Domains

30. Verifying Nested Workflows with Extra Constraints

32. Decomposition, Merging, and Refinement Approach to Boost Inductive Logic Programming Algorithms

33. MAK€– A System for Modelling, Optimising, and Analyzing Production in Small and Medium Enterprises

35. On Generating Templates for Hypothesis in Inductive Logic Programming

36. Optimizing Alternatives in Precedence Networks

37. Constraint Models for Reasoning on Unification in Inductive Logic Programming

38. Revisiting Constraint Models for Planning Problems

39. Global diversity of dipteran families (Insecta Diptera) in freshwater (excluding Simulidae, Culicidae, Chironomidae, Tipulidae and Tabanidae)

44. On Generators of Random Quasigroup Problems

45. Minimal Perturbation Problem in Course Timetabling

46. Effective Modeling with Constraints

47. A New Algorithm for Maintaining Arc Consistency After Constraint Retraction

48. Unary Resource Constraint with Optional Activities

49. A New Approach to Modeling and Solving Minimal Perturbation Problems

50. Implementing Propagators for Tabular Constraints

Catalog

Books, media, physical & digital resources