Filters
Show more
Show more
Show less
Show less
Show less
Show less
Show more
Show more
More filters
Results
Validating plans with durative actions via integrating Boolean and numerical constraints
A constraint-based approach for validating plans with durative actions via integrating Boolean and numerical constraints...
JC - Počítačový hardware a software
- 2004 •
- Vx
Rok uplatnění
Vx - Nezařazeno - Výzkumná zpráva obsahující utajované informace (takový výsledek lze do RIV vložit pouze v případě, že zpráva obsahuje utajované informace a pole R12 = U), nebo souhrnná výzkumná zpráva
Stochastic programming problems with generalized integrated chance constraints
We propose an alternative formulation of stochastic programs using penalty functions. The expectations of penalties can be left as constraints leading to generalized integrated chance constraints, or incorporated into the o...
BB - Aplikovaná statistika, operační výzkum
- 2012 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Designing and Maintaining XML Integrity Constraints
In this paper, we present a new language for XML integrity constraints. In contrast to other languages for XML integrity constraints, we propose to specify constraints at the conceptual level independently...
IN - Informatika
- 2009 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Model-driven Approach to Modeling and Validating Integrity Constraints for XML with OCL and Schematron
In this paper, we further extend our approach to modeling XML schemas using UML class diagrams with modeling integrity constraints using Object Constraint Language (OCL). We show that an integrity constraint
IN - Informatika
- 2015 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Knowledge Modeling
Knowledge modeling in ConceptBase. design od deductive rules for concept derivation and integrity constraint definition in Telos.
JC - Počítačový hardware a software
- 2003 •
- D
Rok uplatnění
D - Stať ve sborníku
AI Planning with Time and Resource Constraints
The paper describes architecture and solving algorithms for integrating time and resources constraints into planning.
IN - Informatika
- 2010 •
- O
Rok uplatnění
O - Ostatní výsledky
Introduction to the special issue on constraint satisfaction for planning and scheduling
important advances thanks to the application of constraint satisfaction models and techniques. Especially, solutions to many real-world problems need to integrate plan by using constraint satisfaction techniques. Const...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2016 •
- O •
- Link
Rok uplatnění
O - Ostatní výsledky
Výsledek na webu
CP/ICAPS 2008 Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems
Workshop on integration of constraint satisfaction, planning, and scheduling techniques.
JC - Počítačový hardware a software
- 2008 •
- M
Rok uplatnění
M - Uspořádání konference
Superfield Formulation of the Phase Space Path Integral
We give a superfield formulation of the path integral on an arbitrary curved phase space, with or without first class constraints. Canonical tranformations phase spacevariables precisely conspire to produce the correct path inte...
BE - Teoretická fyzika
- 1999 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Principles of Constraint Processing
This chapter gives an introduction to mainstream constraint satisfaction techniques available in existing constraint solvers and answers the question 'How does constraint satisfaction work?'. The focus of the chapter is on ...
JC - Počítačový hardware a software
- 2008 •
- C
Rok uplatnění
C - Kapitola v odborné knize
- 1 - 10 out of 51 599