default search action
FCS 2008: Las Vegas, Nevada, USA
- Hamid R. Arabnia, Youngsong Mun, Pei Li Zhou:
Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA. CSREA Press 2008, ISBN 1-60132-066-3
Graphs and Networks + Automata + Formal Methods + Logic
- Jia Liu, Mansur H. Samadzadeh:
On the Power of Stochastic Automata Networks in Random Environments. FCS 2008: 3-9 - Yunshu Gao, Guojun Li, Jonathan Z. Sun, Jin Yan:
Disjoint Cycles and Chorded Cycles in Graphs. FCS 2008: 9-13 - Kenneth A. Hawick, Heath A. James:
Enumerating Circuits and Loops in Graphs with Self-Arcs and Multiple-Arcs. FCS 2008: 14-20 - Jonathan Z. Sun, Rui Xu, Jianhua Yin:
Group connectivity of graphs satisfying Ore-condition. FCS 2008: 21-24 - Jonathan Z. Sun, Chaoyang Zhang:
Advances on C-Planarity Testing of Extrovert C-Graphs. FCS 2008: 25-31 - Liliana Favre:
Formalizing MOF-Metamodels. FCS 2008: 32-38 - Guntis Deksnis, Rusins Freivalds, Oksana Scegulnaja-Dubrovska, Ruslan Tarasov, Solvita Zarina:
A Quantum Algorithm for Real Time Rendering. FCS 2008: 39-43 - Andras Farago:
On Disjoint Connecting Paths and Unsplittable Flow. FCS 2008: 44-50 - Hongbing Fan, Yu-Liang Wu:
Interconnection Graph Problem. FCS 2008: 51-55 - Jinho On, Jungrhan Choi, Moonkun Lee:
A Process Algebra for Specification and Analysis of Temporal Properties of Agents Distributed over Networked Space. FCS 2008: 56-62 - Sujeong U, Gihwan Cho, Moonkun Lee:
Development of a Scheduler for Hard Real-time Emergency Medical Systems over Networked Space in a Process Algebra. FCS 2008: 63-69
Algorithms and Applications
- Chetan Yadati, Cees Witteveen, Yingqian Zhang, Mengxiao Wu, Han La Poutré:
Autonomous Scheduling. FCS 2008: 73-81 - Arulanandam Srinivasan, Raghuvel S. Bhuvaneswaran:
Face Recognition System using HGPP and Adaptive binning Method. FCS 2008: 80-85 - Robert J. McEliece, Mari Cruz Rodríguez-Palánquex:
Computing the number of rational points. Applications to AG Coding Theory. FCS 2008: 86-89 - Emanuele Covino, Giovanni Pani, Daniele Scrimieri:
Extending C++ Static Computation of Polynomial-Time Algorithms. FCS 2008: 90-96 - Ardashir Dolati, Mehdi Sohrabi Haghighat, Saeed Safaei, Hajar Mozaffar:
Solving Minimum Beta-vertex Separator Problems in the Adleman-Lipton Model. FCS 2008: 97-101 - Lelde Lace:
Nondeterministic and postselection quantum query algorithms. FCS 2008: 102-105 - Jennifer Tsai, Justie Juan:
Secure and Efficient Multi-Secret Sharing Schemes with General Access Structures. FCS 2008: 106-112 - Christian Boulinier:
Fast Unison in Arbitrary Rooted Networks. FCS 2008: 113-119 - James Moorer:
The Use of Prime Residues as a Block Erasure Code with Linear Decoding Time. FCS 2008: 120-123 - Joe DeMaio, Stephen Touset:
Stirling Numbers of the Second Kind and Primality. FCS 2008: 124-130 - Serguei A. Mokhov:
Study of the Alphabetic Indexing in a Scramble-like Word Puzzle Game. FCS 2008: 131-136 - Yuichi Asahiro, Kenichi Kawahara, Eiji Miyano:
NP-Hardness of the Sorting Buffer Problem on the Uniform Metric. FCS 2008: 137-143
Interesting Results, New Models, and Methodologies
- Fairouz Tchier:
Demonic Semantics: are equal. FCS 2008: 147-155 - Jeffrey Duffany:
Statistical Characterization of NP-Complete Problems. FCS 2008: 156-162 - Maciej Dziemianczuk:
On Cobweb Admissible Sequences - The Production Theorem. FCS 2008: 163-165 - Bhupinder Singh Anand:
Why Brouwer Was Justified in his Objection to Hilbert's Unqualified Interpretation of Quantification. FCS 2008: 166-169 - Weihu Hong, Mingshen Wu:
The Size of Integers That a Computer Can tTke. FCS 2008: 170-172
Late Papers
- Yongli Li, Zhenfang Li, Pei Li Zhou:
A Study of Programming Language Based on Pansystems Theory. FCS 2008: 175-181 - He Lin, Xiaoxu Li:
Generalization of Reduction in Rough Sets Based on the Views of Pansystems. FCS 2008: 180-184 - Xiaoxu Li, Yongli Li:
Research of Decision Rule in Rough Sets Based on Pansystems View. FCS 2008: 185-189 - Pei Li Zhou, Jiang Yu, Shahriar Movafaghi:
An Application of Pansystems Methodology to Path's Searching Problem Solving. FCS 2008: 190-195 - Haixia Li, Aiping Wu, He Lin, Yongli Li, Fangqin Zhang:
Research of Reduction from the View of Pansystems. FCS 2008: 196-200 - Zhenfang Li, Chuan Li, Shiqun Tao:
Dynamic Database in the View of Pansystems. FCS 2008: 201-206 - James Tyson, James Kriigel, Jon Preston, Byron Jeff, Junfeng Qu:
Snack Attack: An Exploration of Collaborative Learning. FCS 2008: 207-210 - Wenlong Gao, Lin He, Yongli Le, Xiaoxia Li:
The PanWeighted System And Its Panweight Reduction In Pansystems Theory. FCS 2008: 211-217 - Reza Ahangar:
Optimal Control Solution to Nonlinear Causal Operator Systems with Target State. FCS 2008: 218-223 - Bhupinder Singh Anand:
A Trivial Solution to the PvNP Problem. FCS 2008: 224-227 - Rahebeh Mojtahedi Saffari:
Method Based on Distributed Learning Automata for Computing Node to Node Closeness Score. FCS 2008: 228-234 - Bhupinder Singh Anand:
A Finitary Model of Peano Arithmetic. FCS 2008: 235-238 - Deborah Whitfield:
Applying the Theory of Optimization Ordering to Devices with Limited Memory. FCS 2008: 239-244 - Leszek Kotulski, Adam Sedziwy:
Agent Framework For Decomposing a Graph Into the Equally Sized Subgraphs. FCS 2008: 245-250 - Saeed Safaei, Hajar Mozaffar, Babak Esmaeili:
Solving Minimum K-Center Problem in the Adleman?Lipton Model. FCS 2008: 251-255 - Charlie Obimbo:
Approximating the Vertex Cover Problem by Selection of Nodes of Maximum Degrees for use in Wireless Sensor Networks. FCS 2008: 256-259 - Yang Zhang:
Fourier Transforms for Difference Operators. FCS 2008: 260-263 - Chih-Sheng Chen, Jan-Yi Liang, Yi-Kun Lee, Min-Hsuan Fan, Chua-Huang Huang:
Efficient Searching Algorithms for Multi-Dimensional Space Data Using Hilbert Space-Filling Curves. FCS 2008: 264-269
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-02 18:25 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: