Výsledky vyhledávání - "Constraint and logic programming"
-
1
No-Rainbow Problem and the Surjective Constraint Satisfaction Problem
Vydáno: IEEE 29.06.2021Vydáno v Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)“…The Surjective Constraint Satisfaction Problem (SCSP) is the problem of deciding whether there exists a surjective assignment to a set of variables subject…”
Získat plný text
Konferenční příspěvek -
2
Implicit Groups of Web Pages as Constrained Top N Concepts
ISBN: 9780769534961, 0769534961Vydáno: Washington, DC, USA IEEE Computer Society 01.12.2008Vydáno v Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03 (01.12.2008)“… Moreover it is designed so as to find top N implicit concepts subject to the size restriction and some space constraints reflecting user’s interests…”
Získat plný text
Konferenční příspěvek -
3
An Interval Constraint Programming Approach for Quasi Capture Tube Validation
ISSN: 1318-0207, 1580-3155Vydáno: Slovenian Chemical Society 15.10.2021Vydáno v Acta chimica Slovenica (15.10.2021)“…Proving that the state of a controlled nonlinear system always stays inside a time moving bubble (or capture tube) amounts to proving the inconsistency of a…”
Získat plný text
Konferenční příspěvek

