Computer Science

Authors and titles for May 2010

[101] arXiv:1005.0737 [pdf, other]

Title: YAPA: A generic tool for computing intruder knowledge

Mathieu Baudet, Véronique Cortier, Stéphanie Delaune

Subjects: Logic in Computer Science (cs.LO); Cryptography and Security (cs.CR)

[102] arXiv:1005.0741 [pdf, other]

Title: Stability verification for monotone systems using homotopy algorithms

Björn S. Rüffer, Fabian R. Wirth

Subjects: Numerical Analysis (math.NA); Optimization and Control (math.OC)

[103] arXiv:1005.0749 [pdf, other]

Title: Integrating multiple sources to answer questions in Algebraic Topology

Jonathan Heras, Vico Pascual, Ana Romero, Julio Rubio

Comments: To appear in The 9th International Conference on Mathematical Knowledge Management: MKM 2010

Journal-ref: Lectures Notes in Artificial Intelligence, 6167: 331-335, 2010

Subjects: Symbolic Computation (cs.SC); Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC)

[104] arXiv:1005.0754 [pdf, other]

Title: Modelling and Implementation of ITWS: An ultimate solution to ITS

Nirmalendu Bikas Sinha, Manish sonal, Makar Chand Snai, R. Bera, M.Mitra

Comments: Nirmalendu Bikas Sinha, Manish sonal, Makar Chand Snai, R. Bera and this http URL, "Modelling and Implementation of ITWS: An ultimate solution to ITS", Journal of Telecommunications, Volume 2, Issue 1, p17-27, April 2010

Journal-ref: Journal of Telecommunications, Volume 2, Issue 1, p17-27, April 2010

Subjects: Other Computer Science (cs.OH)

[105] arXiv:1005.0762 [pdf, other]

Title: Note on Computing Ratings from Eigenvectors

Richard P. Brent

Comments: 10 pages. Dedicated to Gene Golub 1932-2007.

Subjects: Numerical Analysis (math.NA)

[106] arXiv:1005.0765 [pdf, other]

Title: Watching Systems in graphs: an extension of Identifying Codes

David Auger, Irène Charon, Olivier Hudry, Antoine Lobstein

Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)

[107] arXiv:1005.0766 [pdf, other]

Title: Learning High-Dimensional Markov Forest Distributions: Analysis of Error Rates

Vincent Y. F. Tan, Animashree Anandkumar, Alan S. Willsky

Comments: Accepted to the Journal of Machine Learning Research (Feb 2011)

Subjects: Information Theory (cs.IT); Machine Learning (stat.ML)

[108] arXiv:1005.0771 [pdf, other]

Title: Towards Hardware implementation of video applications in new telecommunications devices

Lamjed Touil, Abdessalem Ben Abdelali, Abdellatif Mtibaa, Elbey Bourennane

Comments: Lamjed Touil, Abdessalem Ben Abdelali, Abdellatif Mibaa and Elbey Bourennane, "Towards Hardware implementation of video applications in new telecommunications devices", Journal of Telecommunications, Volume 2, Issue 1, p75-85, April 2010

Journal-ref: Journal of Telecommunications, Volume 2, Issue 1, p75-85, April 2010

Subjects: Multimedia (cs.MM)

[109] arXiv:1005.0783 [pdf, other]

Title: Software Requirements Specification of the IUfA's UUIS -- a Team 2 COMP5541-W10 Project Approach

Omer Shahid Ahmad, Faisal Alrashdi, Jason (Jun-Duo)Chen, Najah Ilham, Jianhai Lu, Yiwei Sun, Tong Wang, Yongxin Zhu

Comments: 52 pages. 51 tables, 4 figures

Subjects: Software Engineering (cs.SE)

[110] arXiv:1005.0806 [pdf, other]

Title: A New Benchmark For Evaluation Of Graph-Theoretic Algorithms

Andy B. Yoo, Yang Liu, Sheila Vaidya, Stephen Poole

Subjects: Performance (cs.PF)

[111] arXiv:1005.0809 [pdf, other]

Title: On Estimating the First Frequency Moment of Data Streams

Sumit Ganguly, Purushottam Kar

Comments: 12 pages

Subjects: Data Structures and Algorithms (cs.DS)

[112] arXiv:1005.0813 [pdf, other]

Title: TSDS: high-performance merge, subset, and filter software for time series-like data

R.S. Weigel, D. M. Lindholm, A. Wilson, J. Faden

Comments: Submitted to Earth Science Informatics

Subjects: Databases (cs.DB)

[113] arXiv:1005.0824 [pdf, other]

Title: Formal Proof of a Wave Equation Resolution Scheme: the Method Error

Sylvie Boldo (INRIA Saclay - Ile de France, LRI), François Clément (INRIA Rocquencourt), Jean-Christophe Filliâtre (INRIA Saclay - Ile de France, LRI), Micaela Mayero (LIPN, Inria Grenoble Rhône-Alpes / LIP Laboratoire de l'Informatique du Parallélisme), Guillaume Melquiond (INRIA Saclay - Ile de France, LRI), Pierre Weis (INRIA Rocquencourt)

Comments: replaces arXiv:1001.4898

Journal-ref: Interactive Theorem Proving 6172 (2010) 147-162

Subjects: Logic in Computer Science (cs.LO); Numerical Analysis (math.NA)

[114] arXiv:1005.0826 [pdf, other]

Title: Clustering processes

Daniil Ryabko (INRIA Lille - Nord Europe)

Comments: in proceedings of ICML 2010. arXiv-admin Note: This is a newer version of the article arXiv:1004.5194v1, please see that article for any previous version

Journal-ref: 27th International Conference on Machine Learning (2010) 919-926

Subjects: Machine Learning (cs.LG); Information Theory (cs.IT); Machine Learning (stat.ML)

[115] arXiv:1005.0830 [pdf, other]

Title: Generic design of Chinese remaindering schemes

Jean-Guillaume Dumas (LJK), Thierry Gautier (INRIA Rhône-Alpes / LIG Laboratoire d'Informatique de Grenoble), Jean-Louis Roch (INRIA Rhône-Alpes / LIG Laboratoire d'Informatique de Grenoble)

Comments: International Symposium on Parallel Symbolic Computation, Grenoble : France (2010)

Subjects: Symbolic Computation (cs.SC); Distributed, Parallel, and Cluster Computing (cs.DC)

[116] arXiv:1005.0835 [pdf, other]

Title: An affine-intuitionistic system of types and effects: confluence and termination

Roberto Amadio (PPS), Patrick Baillot (LIP), Antoine Madet (PPS)

Subjects: Logic in Computer Science (cs.LO)

[117] arXiv:1005.0839 [pdf, other]

Title: Comparing Repository Types - Challenges and barriers for subject-based repositories, research repositories, national repository systems and institutional repositories in serving scholarly communication

Chris Armbruster (MPDL), Laurent Romary (INRIA Saclay - Ile de France, IDSL)

Journal-ref: International Journal of Digital Library Systems 1, 4 (2010) 61-73

Subjects: Digital Libraries (cs.DL)

[118] arXiv:1005.0854 [pdf, other]

Title: Software Design Document, Testing, Deployment and Configuration Management of the IUfA's UUIS -- a Team 3 COMP5541-W10 Project Approach

Yassine Amaiche, Virginia Cook, Ahmed Daoudi, Mariano Diaz, Gay Hazan, David Zerkler, William Nzoukou, Isabelle Toutant, René Toutant

Comments: 108 pages, 67 Figures, 26 Tables

Subjects: Software Engineering (cs.SE)

[119] arXiv:1005.0855 [pdf, other]

Title: On Capacity Scaling of Underwater Networks: An Information-Theoretic Perspective

Won-Yong Shin, Daniel E. Lucani, Muriel Medard, Milica Stojanovic, Vahid Tarokh

Comments: 16 pages, 4 figures, Submitted to IEEE Transactions on Information Theory

Subjects: Information Theory (cs.IT)

[120] arXiv:1005.0858 [pdf, other]

Title: Randomized hybrid linear modeling by local best-fit flats

Teng Zhang, Arthur Szlam, Yi Wang, Gilad Lerman

Comments: To appear in the proceedings of CVPR 2010

Journal-ref: 2010 IEEE Conference on Computer Vision and Pattern Recognition (CVPR) (13-18 June 2010), pp. 1927-1934

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

[121] arXiv:1005.0879 [pdf, other]

Title: From Skew-Cyclic Codes to Asymmetric Quantum Codes

Martianus Frederic Ezerman, San Ling, Patrick Sole, Olfa Yemen

Comments: 16 pages, 3 tables, submitted to Advances in Mathematics of Communications

Subjects: Information Theory (cs.IT)

[122] arXiv:1005.0880 [pdf, other]

Title: Structural Solutions For Additively Coupled Sum Constrained Games

Yi Su, Mihaela van der Schaar

Comments: 39 pages, 5 figures

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

[123] arXiv:1005.0896 [pdf, other]

Title: A two-step fusion process for multi-criteria decision applied to natural hazards in mountains

Jean-Marc Tacnet (UR ETGR), Mireille Batton-Hubert (ENSM-SE), Jean Dezert (ONERA)

Journal-ref: Workshop on the Theory of Belief Functions, April 1- 2, 2010 Brest, France, Brest : France (2010)

Subjects: Artificial Intelligence (cs.AI)

[124] arXiv:1005.0897 [pdf, other]

Title: The Complex Gaussian Kernel LMS algorithm

Pantelis Bouboulis, Sergios Theodoridis

Comments: 10 pages, 3 figures Manuscript submitted to ICANN 2010

Subjects: Machine Learning (cs.LG)

[125] arXiv:1005.0902 [pdf, other]

Title: Extension of Wirtinger Calculus in RKH Spaces and the Complex Kernel LMS

Pantelis Bouboulis, Sergios Theodoridis

Comments: 6 pages, 3 figures manuscript submitted to MLSP 2010

Subjects: Machine Learning (cs.LG)

[126] arXiv:1005.0905 [pdf, other]

Title: Buffer Management Algorithm Design and Implementation Based on Network Processors

Yechang Fang, Kang Yen, Deng Pan, Zhuo Sun

Comments: IEEE Publication format, International Journal of Computer Science and Information Security, IJCSIS, Vol. 8 No. 1, April 2010, USA. ISSN 1947 5500, this http URL

Subjects: Networking and Internet Architecture (cs.NI)

[127] arXiv:1005.0907 [pdf, other]

Title: Multistage Hybrid Arabic/Indian Numeral OCR System

Yasser M. Alginaih, Abdul Ahad Siddiqi

Comments: IEEE Publication format, International Journal of Computer Science and Information Security, IJCSIS, Vol. 8 No. 1, April 2010, USA. ISSN 1947 5500, this http URL

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

[128] arXiv:1005.0909 [pdf, other]

Title: George Forsythe's last paper

Richard P. Brent

Comments: 10 pages. Text of an invited talk presented at the Stanford 50 Conference celebrating the 50th anniversary of George Forsythe's arrival at Stanford and the 75th birthday of Gene Golub. For further details see this http URL

Subjects: Numerical Analysis (math.NA); Computation (stat.CO)

[129] arXiv:1005.0912 [pdf, other]

Title: A Kinetic Triangulation Scheme for Moving Points in The Plane

Haim Kaplan, Natan Rubin, Micha Sharir

Comments: A preliminary version accepted to SoCG 2010

Subjects: Computational Geometry (cs.CG); Data Structures and Algorithms (cs.DS)

[130] arXiv:1005.0917 [pdf, other]

Title: On Building a Knowledge Base for Stability Theory

Agnieszka Rowinska-Schwarzweller, Christoph Schwarzweller

Comments: To appear in The 9th International Conference on Mathematical Knowledge Management: MKM 2010

Journal-ref: Lecture Notes in Computer Science, 2010, Volume 6167, Intelligent Computer Mathematics, Pages 427-439

Subjects: Artificial Intelligence (cs.AI)

[131] arXiv:1005.0919 [pdf, other]

Title: Attribute Weighting with Adaptive NBTree for Reducing False Positives in Intrusion Detection

Dewan Md. Farid, Mohammad Zahidur Rahman

Comments: IEEE Publication format, International Journal of Computer Science and Information Security, IJCSIS, Vol. 8 No. 1, April 2010, USA. ISSN 1947 5500, this http URL

Subjects: Cryptography and Security (cs.CR)

[132] arXiv:1005.0921 [pdf, other]

Title: No embedding of the automorphisms of a topological space into a compact metric space endows them with a composition that passes to the limit

Patrizio Frosini, Claudia Landi

Comments: 6 pages, no figures

Subjects: Computational Geometry (cs.CG); Metric Geometry (math.MG)

[133] arXiv:1005.0925 [pdf, other]

Title: Improving Overhead Computation and pre-processing Time for Grid Scheduling System

Asgarali Bouyer, Mohammad Javad hoseyni, Abdul Hanan Abdullah

Comments: IEEE Publication format, International Journal of Computer Science and Information Security, IJCSIS, Vol. 8 No. 1, April 2010, USA. ISSN 1947 5500, this http URL

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)

[134] arXiv:1005.0931 [pdf, other]

Title: The New Embedded System Design Methodology For Improving Design Process Performance

Maman Abdurohman, Kuspriyanto, Sarwono Sutikno, Arif Sasongko

Comments: IEEE Publication format, International Journal of Computer Science and Information Security, IJCSIS, Vol. 8 No. 1, April 2010, USA. ISSN 1947 5500, this http URL

Subjects: Other Computer Science (cs.OH)

[135] arXiv:1005.0940 [pdf, other]

Title: Semi-Trusted Mixer Based Privacy Preserving Distributed Data Mining for Resource Constrained Devices

Md. Golam Kaosar, Xun Yi

Comments: IEEE Publication format, International Journal of Computer Science and Information Security, IJCSIS, Vol. 8 No. 1, April 2010, USA. ISSN 1947 5500, this http URL

Subjects: Cryptography and Security (cs.CR)

[136] arXiv:1005.0944 [pdf, other]

Title: Adaptive Slot Allocation And Bandwidth Sharing For Prioritized Handoff Calls In Mobile Netwoks

S. Malathy, G. Sudha Sadhasivam, K. Murugan, S. Lokesh

Comments: IEEE Publication format, International Journal of Computer Science and Information Security, IJCSIS, Vol. 8 No. 1, April 2010, USA. ISSN 1947 5500, this http URL

Subjects: Networking and Internet Architecture (cs.NI)

[137] arXiv:1005.0945 [pdf, other]

Title: An Efficient Vein Pattern-based Recognition System

Mohit Soni, Sandesh Gupta, M.S. Rao, Phalguni Gupta

Comments: IEEE Publication format, International Journal of Computer Science and Information Security, IJCSIS, Vol. 8 No. 1, April 2010, USA. ISSN 1947 5500, this http URL

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

[138] arXiv:1005.0950 [pdf, other]

Title: On Duplication in Mathematical Repositories

Adam Grabowski, Christoph Schwarzweller

Comments: To appear in The 9th International Conference on Mathematical Knowledge Management: MKM 2010

Journal-ref: Lecture Notes in Computer Science, 2010, Volume 6167, Intelligent Computer Mathematics, Pages 300-314

Subjects: Digital Libraries (cs.DL)

[139] arXiv:1005.0952 [pdf, other]

Title: Effective Bandwidth Utilization in IEEE802.11 for VOIP

S. Vijay Bhanu, RM.Chandrasekaran, V. Balakrishnan

Comments: IEEE Publication format, International Journal of Computer Science and Information Security, IJCSIS, Vol. 8 No. 1, April 2010, USA. ISSN 1947 5500, this http URL

Subjects: Networking and Internet Architecture (cs.NI)

[140] arXiv:1005.0957 [pdf, other]

Title: ECG Feature Extraction Techniques - A Survey Approach

S. Karpagachelvi, M.Arthanari, M. Sivakumar

Comments: IEEE Publication format, International Journal of Computer Science and Information Security, IJCSIS, Vol. 8 No. 1, April 2010, USA. ISSN 1947 5500, this http URL

Subjects: Neural and Evolutionary Computing (cs.NE); Artificial Intelligence (cs.AI); Medical Physics (physics.med-ph)

[141] arXiv:1005.0959 [pdf, other]

Title: Implementation of the Six Channel Redundancy to achieve fault tolerance in testing of satellites

H. S. Aravinda, H. D. Maheshappa, Ranjan Moodithaya

Comments: IEEE Publication format, International Journal of Computer Science and Information Security, IJCSIS, Vol. 8 No. 1, April 2010, USA. ISSN 1947 5500, this http URL

Subjects: Other Computer Science (cs.OH)

[142] arXiv:1005.0961 [pdf, other]

Title: Performance Oriented Query Processing In GEO Based Location Search Engines

M. Umamaheswari, S. Sivasubramanian

Comments: IEEE Publication format, International Journal of Computer Science and Information Security, IJCSIS, Vol. 8 No. 1, April 2010, USA. ISSN 1947 5500, this http URL

Subjects: Information Retrieval (cs.IR)

[143] arXiv:1005.0963 [pdf, other]

Title: Tunable Multifunction Filter Using Current Conveyor

Manish Kumar, M.C. Srivastava, Umesh Kumar

Comments: IEEE Publication format, International Journal of Computer Science and Information Security, IJCSIS, Vol. 8 No. 1, April 2010, USA. ISSN 1947 5500, this http URL

Subjects: Other Computer Science (cs.OH)

[144] arXiv:1005.0965 [pdf, other]

Title: Artificial Neural Network based Diagnostic Model For Causes of Success and Failures

Bikrampal Kaur, Himanshu Aggarwal

Comments: IEEE Publication format, International Journal of Computer Science and Information Security, IJCSIS, Vol. 8 No. 1, April 2010, USA. ISSN 1947 5500, this http URL

Subjects: Neural and Evolutionary Computing (cs.NE)

[145] arXiv:1005.0967 [pdf, other]

Title: Detecting Security threats in the Router using Computational Intelligence

J. Visumathi, K. L. Shunmuganathan

Comments: IEEE Publication format, International Journal of Computer Science and Information Security, IJCSIS, Vol. 8 No. 1, April 2010, USA. ISSN 1947 5500, this http URL

Subjects: Cryptography and Security (cs.CR)

[146] arXiv:1005.0972 [pdf, other]

Title: Adaptive Tuning Algorithm for Performance tuning of Database Management System

S. F. Rodd, U. P. Kulkarni

Comments: IEEE Publication format, International Journal of Computer Science and Information Security, IJCSIS, Vol. 8 No. 1, April 2010, USA. ISSN 1947 5500, this http URL

Subjects: Databases (cs.DB)

[147] arXiv:1005.0976 [pdf, other]

Title: A Survey of Mobile WiMAX IEEE 802.16m Standard

Jha Rakesh, Wankhede Vishal A., Upena Dalal

Comments: IEEE Publication format, International Journal of Computer Science and Information Security, IJCSIS, Vol. 8 No. 1, April 2010, USA. ISSN 1947 5500, this http URL

Subjects: Networking and Internet Architecture (cs.NI)

[148] arXiv:1005.0982 [pdf, other]

Title: Incidences in Three Dimensions and Distinct Distances in the Plane

György Elekes, Micha Sharir

Subjects: Computational Geometry (cs.CG)

[149] arXiv:1005.0990 [pdf, other]

Title: Polynomial integration on regions defined by a triangle and a conic

David Sevilla, Daniel Wachsmuth

Comments: 8 pages, accepted by ISSAC 2010

Subjects: Symbolic Computation (cs.SC); Optimization and Control (math.OC)

[150] arXiv:1005.1009 [pdf, other]

Title: Min-Rank Conjecture for Log-Depth Circuits

S. Jukna, G. Schnitger

Comments: 22 pages, to appear in: J. this http URL.

Journal-ref: Journal of Computer and System Sciences 77:6 (2011), 1023-1038

Subjects: Computational Complexity (cs.CC)