The SCEAS System
Navigation Menu

Conferences in DBLP

(fcs)
2007 (conf/fcs/2007)


  1. Coordinating Planning Agents for Moderately and Tightly-Coupled Tasks. [Citation Graph (, )][DBLP]


  2. A Case Study of Formal Verification for Multi-level Pipeline Logic Circuit by using Mizar Proof Checker. [Citation Graph (, )][DBLP]


  3. A Simple Multi-Secret Sharing Scheme to Achieve Both Optimal Improvement Ratios. [Citation Graph (, )][DBLP]


  4. Mutual information and algorithmic information transfer as ideal undirected and directed independence tests. [Citation Graph (, )][DBLP]


  5. Sampling from Independence Systems. [Citation Graph (, )][DBLP]


  6. Data structures for storing binary numbers in DNA computing. [Citation Graph (, )][DBLP]


  7. Static Computation of Polynomial-time Functions in C++. [Citation Graph (, )][DBLP]


  8. Rule Update Algorithms for Active Rule Scheduling. [Citation Graph (, )][DBLP]


  9. Maximum Flow with a Faster Way of Computing a Blocking Flow. [Citation Graph (, )][DBLP]


  10. High Noisy Cell Image Segmentation Using Regional Template. [Citation Graph (, )][DBLP]


  11. Optimal Algorithms for the Segment Location Problem with Range Constraints on Length and Average. [Citation Graph (, )][DBLP]


  12. A Mass Formula for Cyclic Self-Orthogonal Codes. [Citation Graph (, )][DBLP]


  13. On Classification of Generalized Hadamard Matrices. [Citation Graph (, )][DBLP]


  14. The Majority Rule and String-and-Spinner Implementation of Logic Gates. [Citation Graph (, )][DBLP]


  15. A Semantic Preorder Combining ST Notion and Fair Testing Semantic. [Citation Graph (, )][DBLP]


  16. A Locally Logical Model for Natural Semantics. [Citation Graph (, )][DBLP]


  17. The Probable Decidability of the Halting Problem. [Citation Graph (, )][DBLP]


  18. A Perfect Secret Sharing Scheme for (r-1, r)-Uniform Hypergraph-Based Access Structures. [Citation Graph (, )][DBLP]


  19. Lower bounds on the cardinality of maximum matchings in graphs with bounded degrees. [Citation Graph (, )][DBLP]


  20. Patterns of Protocols. [Citation Graph (, )][DBLP]


  21. Linear Time Recognition Algorithms for Three Variants of Vertex Series Parallel Digraphs. [Citation Graph (, )][DBLP]


  22. The Complexity of Futile Questioning. [Citation Graph (, )][DBLP]


  23. An Algebraic Characterization of Wolper's Logic. [Citation Graph (, )][DBLP]


  24. An Efficient Algorithm for Determining the Relationship between Two Nodes on DAG. [Citation Graph (, )][DBLP]


  25. A Survey and a Taxonomy of Automata-Theoretic Modeling Techniques. [Citation Graph (, )][DBLP]


  26. Prose as a Model of Computation. [Citation Graph (, )][DBLP]


  27. On the Verifiable and Detectable Multi-Use General Perfect Secret Sharing Schemes. [Citation Graph (, )][DBLP]


  28. Equivalence Verification of Arithmetic Data Paths With Multiple Word-Length Operands. [Citation Graph (, )][DBLP]


  29. Parameter Selection for Fast Computation of Pi(x). [Citation Graph (, )][DBLP]


  30. Introduction to Multilevel Mark Coding Theory. [Citation Graph (, )][DBLP]


  31. Pansystems Relativity: Vitality, Intelligence and Computer. [Citation Graph (, )][DBLP]


  32. Pansystems Extremum Theorems: Cybernetics. [Citation Graph (, )][DBLP]


  33. Pansystems Approach : Relativity, World Systems, Cognition, Linquistics, Aesthetics. [Citation Graph (, )][DBLP]


  34. A New View of Difference and Identity Relation in Rough Sets Based on Pansystems Duality Transformation. [Citation Graph (, )][DBLP]


  35. The Sorites Paradox from the View of Pansystems. [Citation Graph (, )][DBLP]


  36. Research of Reduction from the View of Pansystems. [Citation Graph (, )][DBLP]


  37. The Extending of Panweighted Network in Pansystems and XML-based Realization. [Citation Graph (, )][DBLP]


  38. Rough Set Approximation and Rough Set Attribute Reduction Based on Pansystems Topology. [Citation Graph (, )][DBLP]


  39. The Insert Taxis Based on Pansystems Topology. [Citation Graph (, )][DBLP]


  40. Application of Pansystems Theory in Object-Oriented System. [Citation Graph (, )][DBLP]


  41. A Rough Set Model of Binary Relation Based on Product and Pansystems. [Citation Graph (, )][DBLP]


  42. A Pansystems Approach to Order-relationship. [Citation Graph (, )][DBLP]


  43. Compare Researches To Rough Sets And Fuzzy Sets from the View. [Citation Graph (, )][DBLP]


  44. A Pansystems Extremum Algorithm for Attribute Reduction Based on Discernibility Matrix. [Citation Graph (, )][DBLP]


  45. Modeling Distributed Virtual Enterprise Based on Pansystems Economics. [Citation Graph (, )][DBLP]


  46. Pansystems Exploration: A Transfield Internet-like Approach. [Citation Graph (, )][DBLP]


  47. The Use of Pansystems Relation Operators in Rough Sets. [Citation Graph (, )][DBLP]


  48. A Pansystems Approach to Sorting Based on Binary Relations. [Citation Graph (, )][DBLP]


  49. Pansystems Extremum: Scales, Approximation, Equivalence and 0**-Theorems. [Citation Graph (, )][DBLP]


  50. Distributed System Architecture and Specification with TLB. [Citation Graph (, )][DBLP]


  51. A Unifying Model of Concurrent Processes. [Citation Graph (, )][DBLP]


  52. Interactive Hypercomputation. [Citation Graph (, )][DBLP]


  53. Algorithm for Finding a Nash Equilibrium of a Two-Player Game in the Strategic Form Using Convex Hull. [Citation Graph (, )][DBLP]


  54. Application of braid groups for information processing. [Citation Graph (, )][DBLP]


  55. Hypergraph Algorithms with Network Applications. [Citation Graph (, )][DBLP]


  56. Finding Two Disjoint Paths in a Network with MinSum-MinMin Objective Function. [Citation Graph (, )][DBLP]


  57. Nonlinear Optimization Algorithms for Hybrid Controller Design of Switched Systems. [Citation Graph (, )][DBLP]


  58. Compilation of Higher-Order Concurrent Programs into First-Order Programs on Recursive Graph Rewriting Model. [Citation Graph (, )][DBLP]

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002