Instytut Informatyki Analitycznej - lista publikacji
Nadjednostka:
Podjednostki:
1-19 z 19.
2012
19.
Hubie Chen, Michał Wrona
Guarded Ord-Horn: A Tractable Fragment of Quantified Constraint Satisfaction, 19th International Symposium On Temporal Representation and Reasoning (2012), 99-106
18.
Manuel Bodirsky, Michał Wrona
Equivalence Constraint Satisfaction Problems, Lipics - Leibniz International Proceedings in Informatics (2012), 122-136
17.
Syntactically Characterizing Local-to-Global Consistency in ORD-Horn, Lecture Notes in Computer Science vol. 7514 (2012), 704-719
16.
High performance automatic number plate recognition in video streams, Proceedings of 3rd International Conference On Image Processing Theory, Tools and Applications (ieee-ipta 2012) (2012), 68-73
15.
High performance GPGPU based system for matching people in a live video feed, (2012), "Proceedings of 3rd International Conference on Image Processing Theory, Tools and Applications (IEEE-IPTA 2012)", Institute of Electrical and Electronics Engineers (IEEE)
14.
Real Time Object Tracking on GPGPU, Proceedings of the International Conference On Computer Vision Theory and Applications vol. 2 (2012), 303-310
13.
Libor Barto, Marcin Kozik
Robust Satisfiability of Constraint Satisfaction Problems, Proceedings of the 44th Acm Symposium On Theory of Computing, Stoc'12 (2012), 931-940
12.
Libor Barto, Marcin Kozik, Ross Willard
Near unanimity constraints have bounded pathwidth duality, Proceedings of the 27th Ieee/acm Symposium On Logic in Computer Science Lics'12 (2012), 125-134
11.
Libor Barto, Marcin Kozik
Absorbing subalgebra, cyclic terms and the Constraint Satisfaction Problem, Logical Methods in Computer Science vol. 20 (2012), paper no. 7
10.
On the maximum number of five-cycles in a triangle-free graph, Journal of Combinatorial Theory. Series B vol. 102 (2012), 1061-1066
9.
Indicated colorings of graphs, Discrete Mathematics vol. 312 (2012), 3467-3472
8.
Dirk Hofmann, Paweł Waszkiewicz
A duality of quantale-enriched categories, Journal of Pure and Applied Algebra vol. 216 (2012), 1866-1878
7.
Antoine Genitrini, Jakub Kozik
6.
Pavel Klavík, Jan Kratochvíl, Tomasz Krawczyk, Bartosz Walczak
Extending partial representations of function graphs and permutation graphs vol. 7501 of Lecture Notes in Computer Science (2012), "Algorithms – ESA 2012, 20th Annual European Symposium on Algorithms, Ljubljana, Slovenia, September 10-12, 2012, Proceedings", Springer
5.
Kolja Knauer, Piotr Micek, Bartosz Walczak
Outerplanar graph drawings with few slopes vol. 7434 of Lecture Notes in Computer Science (2012), "Computing and Combinatorics, 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012, Proceedings", Springer
4.
Parity in graph sharing games, Discrete Mathematics vol. 312 (2012), 1788-1795
3.
Bartłomiej Bosek, Stefan Felsner, Kolja Knaur, Grzegorz Matecki
News about Semiantichains and Unichain Coverings, Lecture Notes in Computer Science vol. 7353 (2012), 43-51
2.
Bartłomiej Bosek, Kamil Kloch, Tomasz Krawczyk, Piotr Micek
On-line version of Rabinovitch theorem for proper intervals, Discrete Mathematics vol. 312(23) (2012), 3426-3436
1.
On-Line Chain Partitions of Orders: A Survey, Order vol. 29(1) (2012), 49-73