Computer Science

Authors and titles for March 2010

[51] arXiv:1003.0522 [pdf, other]

Title: State machine models of timing and circuit design

Victor Yodaiken

Subjects: Formal Languages and Automata Theory (cs.FL)

[52] arXiv:1003.0529 [pdf, other]

Title: A Unified Algorithmic Framework for Multi-Dimensional Scaling

Arvind Agarwal, Jeff M. Phillips, Suresh Venkatasubramanian

Comments: 18 pages, 7 figures. This version fixes a bug in the proof of Theorem 6.1 (dimensionality reduction for spherical data). The statement of the result remains the same.

Subjects: Machine Learning (cs.LG); Computational Geometry (cs.CG); Computer Vision and Pattern Recognition (cs.CV)

[53] arXiv:1003.0551 [pdf, other]

Title: Residual Based Sampling in POD Model Order Reduction of Drift-Diffusion Equations in Parametrized Electrical Networks

Michael Hinze, Martin Kunkel

Subjects: Numerical Analysis (math.NA)

[54] arXiv:1003.0554 [pdf, other]

Title: Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software

L. Besnard, T. Gautier, J. Ouy, J.-P. Talpin, J.-P. Bodeveix, A. Cortier, M. Pantel, M. Strecker, G. Garcia, A. Rugina, J. Buisson, F. Dagnat

Comments: Workshop on Formal Methods for Aerospace (FMA 2009)

Journal-ref: EPTCS 20, 2010, pp. 80-87

Subjects: Programming Languages (cs.PL)

[55] arXiv:1003.0588 [pdf, other]

Title: Zigzags in Turing machines

Anahi Gajardo, Pierre Guillon

Comments: 17p

Subjects: Formal Languages and Automata Theory (cs.FL)

[56] arXiv:1003.0590 [pdf, other]

Title: A new model for solution of complex distributed constrained problems

Sami Al-Maqtari (LITIS), Habib Abdulrab (LITIS), Eduard Babkin (LITIS)

Journal-ref: Computer Systems and Applications, ACS/IEEE International Conference on 0 (2009) 660-667

Subjects: Artificial Intelligence (cs.AI)

[57] arXiv:1003.0617 [pdf, other]

Title: Agent Based Approaches to Engineering Autonomous Space Software

Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres

Comments: 3 pages, 1 Figure, Formal Methods in Aerospace

Journal-ref: EPTCS 20, 2010, pp. 63-67

Subjects: Multiagent Systems (cs.MA); Artificial Intelligence (cs.AI)

[58] arXiv:1003.0628 [pdf, other]

Title: Linguistic Geometries for Unsupervised Dimensionality Reduction

Yi Mao, Krishnakumar Balasubramanian, Guy Lebanon

Comments: 13 pages, 15 figures

Subjects: Computation and Language (cs.CL)

[59] arXiv:1003.0634 [pdf, other]

Title: Flexible Lyapunov Functions and Applications to Fast Mechatronic Systems

M. Lazar

Comments: 2 figures

Journal-ref: EPTCS 20, 2010, pp. 76-79

Subjects: Other Computer Science (cs.OH)

[60] arXiv:1003.0642 [pdf, other]

Title: Text Region Extraction from Business Card Images for Mobile Devices

Ayatullah Faruk Mollah, Subhadip Basu, Nibaran Das, Ram Sarkar, Mita Nasipuri, Mahantapas Kundu

Comments: Proc. of International Conference on Information Technology and Business Intelligence (ITBI-09), pp.227-235, Nov 6-8, 2009, Nagpur, India

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[61] arXiv:1003.0645 [pdf, other]

Title: Binarizing Business Card Images for Mobile Devices

Ayatullah Faruk Mollah, Subhadip Basu, Nibaran Das, Ram Sarkar, Mita Nasipuri, Mahantapas Kundu

Comments: Proc. of International Conference on Computer Vision and Information Technology (ACVIT-2009), pp. 968-975, Dec 16-19, 2009, Aurangabad, India

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[62] arXiv:1003.0659 [pdf, other]

Title: Particle Filtering on the Audio Localization Manifold

Evan Ettinger, Yoav Freund

Subjects: Artificial Intelligence (cs.AI); Sound (cs.SD)

[63] arXiv:1003.0662 [pdf, other]

Title: Strategical languages of infinite words

Mustapha Arfi (LITIS), Bedine Ould M. Lemine (LITIS), Carla Selmi (LITIS)

Journal-ref: Information Processing Letters 109 (2009) 749-753

Subjects: Computer Science and Game Theory (cs.GT)

[64] arXiv:1003.0691 [pdf, other]

Title: Statistical and Computational Tradeoffs in Stochastic Composite Likelihood

Joshua V Dillon, Guy Lebanon

Comments: 30 pages, 97 figures, 2 authors

Subjects: Machine Learning (cs.LG)

[65] arXiv:1003.0696 [pdf, other]

Title: Exponential Family Hybrid Semi-Supervised Learning

Arvind Agarwal, Hal Daume III

Comments: 6 pages, 3 figures

Journal-ref: Twenty-First International Joint Conference on Artificial Intelligence 2009, pg 974-979

Subjects: Machine Learning (cs.LG)

[66] arXiv:1003.0722 [pdf, other]

Title: Approximation Algorithms for Optimal Decision Trees and Adaptive TSP Problems

Anupam Gupta, Viswanath Nagarajan, R. Ravi

Comments: 28 pages; to appear in Mathematics of Operations Research

Subjects: Data Structures and Algorithms (cs.DS)

[67] arXiv:1003.0723 [pdf, other]

Title: Securing Interactive Sessions Using Mobile Device through Visual Channel and Visual Inspection

Chengfang Fang, Ee-Chien Chang

Comments: 16 pages, 10 figures

Subjects: Cryptography and Security (cs.CR); Computer Vision and Pattern Recognition (cs.CV)

[68] arXiv:1003.0729 [pdf, other]

Title: On the Secure Degrees-of-Freedom of the Multiple-Access-Channel

Ghadamali Bagherikaram, Abolfazl S. Motahari, Amir K. Khandani

Comments: The conference version of this work has been submitted to ISIT 2010

Subjects: Information Theory (cs.IT)

[69] arXiv:1003.0735 [pdf, other]

Title: Compress-and-Forward Performance in Low-SNR Relay Channels

Lili Zhang, Jinhua Jiang, Shuguang Cui

Comments: 13 pages, 5 figures, submitted to IEEE Transactions on Communications

Subjects: Information Theory (cs.IT)

[70] arXiv:1003.0746 [pdf, other]

Title: Automatically Discovering Hidden Transformation Chaining Constraints

Raphael Chenouard (LINA), Frédéric Jouault (INRIA - EMN)

Journal-ref: ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems, Denver : United States (2009)

Subjects: Artificial Intelligence (cs.AI)

[71] arXiv:1003.0773 [pdf, other]

Title: S-Program Calculus

Aleksandar Kupusinac, Dusan Malbaski

Comments: 24 pages, 2 figures

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[72] arXiv:1003.0776 [pdf, other]

Title: Properties of the Discrete Pulse Transform for Multi-Dimensional Arrays

Roumen Anguelov, Inger Fabris-Rotelli

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[73] arXiv:1003.0788 [pdf, other]

Title: On Probabilistic Alternating Simulations

Chenyi Zhang, Jun Pang

Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT)

[74] arXiv:1003.0789 [pdf, other]

Title: Information Fusion for Anomaly Detection with the Dendritic Cell Algorithm

Julie Greensmith, Uwe Aickelin, Gianni Tedesco

Comments: 21 pages, 17 figures, Information Fusion

Journal-ref: Information Fusion, 11 (1), 21-34, 2010

Subjects: Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR); Neural and Evolutionary Computing (cs.NE)

[75] arXiv:1003.0802 [pdf, other]

Title: The complexity of positive first-order logic without equality

Florent Madelaine, Barnaby Martin

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)