International Conference on Theoretical and Mathematical Foundations of Computer Science
(TMFCS-10)
Orlando, Florida, USA, July 12-14, 2010
Zoran Majkic, Sun-Yuan Hsieh, Jixin Ma, Ibrahiem M. M. El Emary, Khalid S. Husain (Editors)
ISBN: 978-1-60651-024-7
Publisher: ISRST
Website: http://www.PromoteResearch.org

 

Contents:

 

Kostiantyn Arkhangelskyi
A New Representation of Weighted Finite Automata via Recurrence and Group Rings
1-7

Fairouz Tchier
Equality of Relational Demonic Semantics
8-14

Kevin H. Xu, Shelby Gao, Jingsong Zhang, Roger R. McKeown
Let a Data Model be equivalent to a Class of Total Recursive Functions
15-22

Michael Hartwig
On the Density and Acceptance Probability of Regular Languages
23-30

Mark Korenblit, Vadim E. Levit
An Improved Full Decomposition Algorithm for Generating Algebraic Expressions of Square Rhomboids
31-38

Chandrasekaran Subramaniam, Jayanthi Gokulakrishnan, Mahendra Kumar M, Prasanna N R
A Rewriting Based Trust Model for Video Conferencing Application
39-45

R.R. Mirzayev, G.Yu. Mehdiyeva, V.R. Ibrahimov
On an application of a multistep method for solving Volterra integral equations of the second kind
46-50

Kirill Kononenko
Fast Compilation in O(n)
51-56

Meghanad D. Wagh, Khadidja Bendjilali
Conquering Edge Faults in a Butterfly with Automorphisms
57-64

Rashad J. Rasras, Dmitriy E. Skopin, Wajdi H. Aljedaibi
Spectrum Spreading Algorithm in Audio Steganography
65-71

Abdelwadood Mesleh, Ameer H. Morad, Rashad J. Rasras, Khalid S. Husain, Rushdi S. Abu Zniet, Alaa Abusrhan
Developing an Intelligent Method for Human Eyes Position Detection
72-78

Mario Poier, Mahmoud Abaza
The Influence of Network Convergence on VoIP
79-86

Ibrahiem M. M. El Emary, Khalid S. Husain
Optimizing the Management Perspectives of Wireless Sensor Networks
87-95

Saleh Alomar, Akram Mustafa, Eyad A. Shahroury
Weighted Check Sum Usage for Increasing Data Transfer Errors Detection and Correction Efficiency
96-101

Rudra P. Pradhan, Manish Kumar
Forecasting Stock Price: An Application of Artificial Neural Networks
102-109

Áron Ballagi, László T. Kóczy, Claudiu Pozna
Context Recognition in Mobile Robots Cooperation Using Fuzzy Signature
110-115

Khaled El-Zayyat, Hussien Al-Bahadli, Tamir Zoba
A Novel Neighbor Weight-Based Trust Determination Model For Wireless Ad Hoc Networks
116-126

Linmin Yang, Zhe Dang, Thomas R. Fischer
A Syntax-Independent Complexity Metric
127-134

Sjaak Smetsers
The Syntactic Continuity Property: A computer verified proof
135-142

Seyed H. HAERI (Hossein)
Observational Equivalence and a New Operational Semantics for Lazy Evaluation with Selective Strictness
143-150