Algorithms

Luca Cardelli

Theoretical Computer Science, 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings | October 2005

ISBN: 3-540-29106-7

Jianfeng Gao, Hao Yu, Wei Yuan, Peng Xu

HLT/EMNLP | October 2005

Dinei Florencio, Cormac Herley

October 2005

Ittai Abraham, Yair Bartal, Hubert T.-C. Chan, Kedar Dhamdhere, Anupam Gupta, Jon Kleinberg, Ofer Neiman, Aleksandrs Slivkins

45th IEEE Symp. on Foundations of Computer Science (FOCS) | October 2005

45th IEEE Symp. on Foundations of Computer Science (FOCS)

The conference version is merged from two independent submissions, one by {Chan, Dhamdhere, Gupta, Kleinberg and Slivkins}, another by {Abraham, Bartal, Neiman}. Attached are the conference version, and the full version by {Chan, Dhamdhere, Gupta, Kleinberg and Slivkins} (appeared in SIAM J. of Computing 38(6): 2303-2329, March 2009).

David Harel, Hillel Kugler, Amir Pnueli

Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements | October 2005

ISBN: 978-3-540-24936-8

Dinei Florencio

ICIP | October 2005

ICIP

Adam Tauman Kalai, Santosh Vempala

Journal of Computer and System Sciences | October 2005, Vol 71(3): pp. 291-307

Tao Jiang, Ming Li, Brendan Lucier

Information Processing Letters 2007 | September 2005, Vol 103(2): pp. 45-51

Ashley J. Llorens, C.N. Hadjicostis, Hen Chi Ni

2005 IEEE Transactions on Circuits and Systems Ii-express Briefs | September 2005, Vol 52(9): pp. 576-580

Tammara Combs Turner, Marc A. Smith, Danyel Fisher, Howard Welser

September 2005