首页>外文会议>Australasian symposium on Theory of computing

Australasian symposium on Theory of computing

召开年：2007
召开地：Ballarat(AU)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Register allocation via coloring of chordal graphs

机译：通过对和弦图着色来分配寄存器
- 作者：Jens Palsberg;PJens Palsberg
- 会议名称：《Australasian symposium on Theory of computing》 | 2007年
2.Constructing optimal highways

机译：建设最佳公路
- 作者：Hee-Kap Ahn;Helmut Alt;Tetsuo Asano;Sang Won Bae;Peter Brass;Otfried Cheong;Christian Knauer;Hyeon-Suk Na;Chan-Su Shin;Alexander Wolff;PHelmut Alt;PPeter Brass;POtfried Cheong
- 会议名称：《Australasian symposium on Theory of computing》 | 2007年
- time metric;
3.Computing a minimum-dilation spanning tree is NP-hard

机译：计算最小扩张生成树是NP难的
- 作者：Otfried Cheong;Herman Haverkort;Mira Lee;POtfried Cheong;PHerman Haverkort
- 会议名称：《Australasian symposium on Theory of computing》 | 2007年
4.On the complexity of manipulating elections

机译：论操纵选举的复杂性
- 作者：Tom Coleman;Vanessa Teague
- 会议名称：《Australasian symposium on Theory of computing》 | 2007年
5.Termination of abstract reduction systems

机译：抽象归约系统的终止
- 作者：Jeremy E. Dawson;Rajeev Gore;PJeremy E. Dawson;PRajeev Gore
- 会议名称：《Australasian symposium on Theory of computing》 | 2007年
- well-founded ordering;
6.On the power of structural violations in priority queues

机译：论优先队列中结构性违规的力量
- 作者：Amr Elmasry;Claus Jensen;Jyrki Katajainen
- 会议名称：《Australasian symposium on Theory of computing》 | 2007年
- relaxed heaps;
7.A linear time algorithm for pricing european sequential barrier options

机译：定价欧洲顺序障碍期权的线性时间算法
- 作者：Peng Gao;Ron van der Meyden;PRon van der Meyden
- 会议名称：《Australasian symposium on Theory of computing》 | 2007年
8.Fast exponential-time algorithms for the forest counting in graph classes

机译：图类中森林计数的快速指数时间算法
- 作者：Heidi Gebauer;Yoshio Okamoto
- 会议名称：《Australasian symposium on Theory of computing》 | 2007年
- unit interval graph;
9.Analysis of busy beaver machines via induction proofs

机译：通过归纳证明分析繁忙的海狸机器
- 作者：James Harland
- 会议名称：《Australasian symposium on Theory of computing》 | 2007年
10.An optimal broadcasting protocol for mobile video-on-demand

机译：移动视频点播的最佳广播协议
- 作者：Regant Y. S. Hung;H. F. Ting;PH. F. Ting
- 会议名称：《Australasian symposium on Theory of computing》 | 2007年
- wireless network;
11.Some structural and geometric properties of two-connected steiner networks

机译：二联斯坦纳网络的一些结构和几何性质
- 作者：K. Hvam;L. Reinhardt;P. Winter;M. Zachariasen;PP. Winter;PM. Zachariasen
- 会议名称：《Australasian symposium on Theory of computing》 | 2007年
- survivable networks;
12.Minimum augmentation of edge-connectivity with monotone requirements in undirected graphs

机译：在无向图中用单调要求最小化边缘连接性
- 作者：Toshimasa Ishii;PToshimasa Ishii
- 会议名称：《Australasian symposium on Theory of computing》 | 2007年
- undirected graph;
13.Probabilistic logic under uncertainty

机译：不确定性下的概率逻辑
- 作者：Audun Josang
- 会议名称：《Australasian symposium on Theory of computing》 | 2007年
- uncertainty;
14.Constructing strictly positive families

机译：建立严格的积极家庭
- 作者：Peter Morris;Thorsten Altenkirch;Neil Ghani
- 会议名称：《Australasian symposium on Theory of computing》 | 2007年
- generic programming;
15.An efficient solution method for relaxed variants of the nesting problem

机译：一种有效的解决嵌套问题变体的方法
- 作者：Benny K. Nielsen
- 会议名称：《Australasian symposium on Theory of computing》 | 2007年
- packing;
16.Planning with time limits in BDI agent programming languages

机译：使用BDI代理程序编程语言进行时限规划
- 作者：Lavindra de Silva;Anthony Dekker;James Harland
- 会议名称：《Australasian symposium on Theory of computing》 | 2007年
- time limited planning;
17.Effective prediction and its computational complexity

机译：有效预测及其计算复杂性
- 作者：Richard Taylor;PRichard Taylor
- 会议名称：《Australasian symposium on Theory of computing》 | 2007年
- prediction;
18.An open problem

机译：一个开放的问题
- 作者：Jianmin Tang;Camino Balbuena;Yuqing Lin;Mirka Miller;PMirka Miller
- 会议名称：《Australasian symposium on Theory of computing》 | 2007年
- tightly superconnected;
19.Quantum list decoding from quantumly corrupted codewords for classical block codes of polynomially small rate

机译：多项式小速率经典分组码的量子破损码字的量子列表解码
- 作者：Tomoyuki Yamakami;PTomoyuki Yamakami
- 会议名称：《Australasian symposium on Theory of computing》 | 2007年
- quantumly corrupted codeword;
20.Minimum cost source location problem with local 3-vertex-connectivity requirements

机译：本地3顶点连接要求的最低成本源位置问题
- 作者：Toshimasa Ishii;Hitoshi Fujita;Hiroshi Nagamochi
- 会议名称：《Australasian symposium on Theory of computing》 | 2005年
- undirected graph;
21.When are two workflows the same?

机译：什么时候是两个工作流程相同？
- 作者：Jan Hidders;Marlon Dumas;Wil M. P. van der Aalst;Arthur H. M. ter Hofstede;Jan Verelst
- 会议名称：《Australasian symposium on Theory of computing》 | 2005年
22.Plug-in proof support for formal development environments

机译：用于正式开发环境的插件证明支持
- 作者：David Hemer;Gregory Long;Paul Strooper
- 会议名称：《Australasian symposium on Theory of computing》 | 2005年
23.Calculating the meeting point of scattered robots on weighted terrain surfaces

机译：计算加权地形表面散射机器人的会展点
- 作者：Mark A. Lanthier;Doron Nussbaum;Tsuo-Jung Wang
- 会议名称：《Australasian symposium on Theory of computing》 | 2005年
- weighted;
24.On packing squares with resource augmentation

机译：关于资源增强的包装方块
- 作者：Aleksei V. Fishkin;Olga Gerber;Klaus Jansen;Roberto Solis-Oba
- 会议名称：《Australasian symposium on Theory of computing》 | 2005年
- square packing;
25.Circuit principles and weak pigeonhole variants

机译：电路原理和弱鸽子变体
- 作者：Chris Pollett;Norman Danner
- 会议名称：《Australasian symposium on Theory of computing》 | 2005年
- pigeonhole principle;
26.Factorising temporal specifications

机译：适应时间规范
- 作者：Marieke Huisman;Kerry Trentelman
- 会议名称：《Australasian symposium on Theory of computing》 | 2005年
- temporal logic;
27.Stenning's protocol implemented in UDP and verified in Isabelle

机译：Stenning的协议在UDP实施并在伊莎贝尔核实
- 作者：Michael Compton
- 会议名称：《Australasian symposium on Theory of computing》 | 2005年
- theorem proving;
28.Concurrent program design in the extended theory of Owicki and Gries

机译：延长理论的并发计划设计，威胁和玉米
- 作者：Doug Goldson;Brijesh Dongol
- 会议名称：《Australasian symposium on Theory of computing》 | 2005年
29.Efficient algorithms for solving shortest paths on nearly acyclic directed graphs

机译：用于解决几乎无循环指向图的最短路径的高效算法
- 作者：Shane Saunders;Tadao Takaoka
- 会议名称：《Australasian symposium on Theory of computing》 | 2005年
30.The relative completeness of a version of CTL

机译：CTL版本的相对完整性
- 作者：Hidetomo Machi;Kohji Tomita;Chiharu Hosono
- 会议名称：《Australasian symposium on Theory of computing》 | 2005年
31.The symmetry ratio of a network

机译：网络的对称比率
- 作者：Anthony H. Dekker;Bernard Colbert
- 会议名称：《Australasian symposium on Theory of computing》 | 2005年
- symmetry;
32.The method of extremal structure on the k-maximum cut problem

机译：基于k最大切割问题的极端结构方法
- 作者：Elena Prieto
- 会议名称：《Australasian symposium on Theory of computing》 | 2005年
33.Approximate clustering of fingerprint vectors with missing values

机译：具有缺失值的指纹矢量近似聚类
- 作者：Andres Figueroa;Avraham Goldstein;Tao Jiang;Maciej Kurowski;Andrzej Lingas;Mia Persson
- 会议名称：《Australasian symposium on Theory of computing》 | 2005年
- oligonucleotide fingerprinting;
34.Bounded persistence pathwidth

机译：有界持久性路径
- 作者：Rodney G. Downey;Catherine McCartin
- 会议名称：《Australasian symposium on Theory of computing》 | 2005年
- treewidth;