信条 发表于 2025-3-27 00:01:59

Orthogonal Layout with Optimal Face Complexityt-orthogonal drawing with at most . reflex angles per face? For . the problem is equivalent to realizing each face as a rectangle. The problem can be reduced to a max-flow problem in some linear-size nonplanar network, but the best solutions require . time. We describe a graph matching approach that

Spirometry 发表于 2025-3-27 01:31:36

http://reply.papertrans.cn/87/8603/860225/860225_32.png

控制 发表于 2025-3-27 08:04:18

A Combinatorial Model of Two-Sided Search, we can test (or query) a subset of the nodes to learn whether the target occupies any of such nodes. Unlike the case of conventional group testing problems on graphs, the target in our model can move immediately after each test to any node adjacent to each present location. The search finishes whe

Entreaty 发表于 2025-3-27 13:26:44

http://reply.papertrans.cn/87/8603/860225/860225_34.png

galley 发表于 2025-3-27 15:59:57

http://reply.papertrans.cn/87/8603/860225/860225_35.png

atopic-rhinitis 发表于 2025-3-27 19:36:31

A Natural Counting of Lambda Termsates also two families of binary trees, i.e. black-white and zigzag-free ones. We provide a constructive proof of this fact by exhibiting appropriate bijections. Moreover, we investigate the asymptotic density of .-terms containing an arbitrary fixed subterm, showing that strongly normalizing terms

Fracture 发表于 2025-3-27 22:37:32

0302-9743 ractice of Computer Science, SOFSEM 2016, held inHarrachov, Czech Republic, in January 2016..The 43 fullpapers presented in this volume were carefully reviewed and selected from 116submissions. They are organized in topical sections named: foundations ofcomputer science; software engineering: method

chance 发表于 2025-3-28 05:19:27

http://reply.papertrans.cn/87/8603/860225/860225_38.png

EXCEL 发表于 2025-3-28 09:47:01

http://reply.papertrans.cn/87/8603/860225/860225_39.png

allergy 发表于 2025-3-28 13:27:10

http://reply.papertrans.cn/87/8603/860225/860225_40.png
页: 1 2 3 [4] 5 6
查看完整版本: Titlebook: SOFSEM 2016: Theory and Practice of Computer Science; 42nd International C Rūsiņš Mārtiņš Freivalds,Gregor Engels,Barbara Cat Conference pr