
Conferences in DBLP
(fcs) 2007 (conf/fcs/2007)
Coordinating Planning Agents for Moderately and TightlyCoupled Tasks. [Citation Graph (, )][DBLP]
A Case Study of Formal Verification for Multilevel Pipeline Logic Circuit by using Mizar Proof Checker. [Citation Graph (, )][DBLP]
A Simple MultiSecret Sharing Scheme to Achieve Both Optimal Improvement Ratios. [Citation Graph (, )][DBLP]
Mutual information and algorithmic information transfer as ideal undirected and directed independence tests. [Citation Graph (, )][DBLP]
Sampling from Independence Systems. [Citation Graph (, )][DBLP]
Data structures for storing binary numbers in DNA computing. [Citation Graph (, )][DBLP]
Static Computation of Polynomialtime Functions in C++. [Citation Graph (, )][DBLP]
Rule Update Algorithms for Active Rule Scheduling. [Citation Graph (, )][DBLP]
Maximum Flow with a Faster Way of Computing a Blocking Flow. [Citation Graph (, )][DBLP]
High Noisy Cell Image Segmentation Using Regional Template. [Citation Graph (, )][DBLP]
Optimal Algorithms for the Segment Location Problem with Range Constraints on Length and Average. [Citation Graph (, )][DBLP]
A Mass Formula for Cyclic SelfOrthogonal Codes. [Citation Graph (, )][DBLP]
On Classification of Generalized Hadamard Matrices. [Citation Graph (, )][DBLP]
The Majority Rule and StringandSpinner Implementation of Logic Gates. [Citation Graph (, )][DBLP]
A Semantic Preorder Combining ST Notion and Fair Testing Semantic. [Citation Graph (, )][DBLP]
A Locally Logical Model for Natural Semantics. [Citation Graph (, )][DBLP]
The Probable Decidability of the Halting Problem. [Citation Graph (, )][DBLP]
A Perfect Secret Sharing Scheme for (r1, r)Uniform HypergraphBased Access Structures. [Citation Graph (, )][DBLP]
Lower bounds on the cardinality of maximum matchings in graphs with bounded degrees. [Citation Graph (, )][DBLP]
Patterns of Protocols. [Citation Graph (, )][DBLP]
Linear Time Recognition Algorithms for Three Variants of Vertex Series Parallel Digraphs. [Citation Graph (, )][DBLP]
The Complexity of Futile Questioning. [Citation Graph (, )][DBLP]
An Algebraic Characterization of Wolper's Logic. [Citation Graph (, )][DBLP]
An Efficient Algorithm for Determining the Relationship between Two Nodes on DAG. [Citation Graph (, )][DBLP]
A Survey and a Taxonomy of AutomataTheoretic Modeling Techniques. [Citation Graph (, )][DBLP]
Prose as a Model of Computation. [Citation Graph (, )][DBLP]
On the Verifiable and Detectable MultiUse General Perfect Secret Sharing Schemes. [Citation Graph (, )][DBLP]
Equivalence Verification of Arithmetic Data Paths With Multiple WordLength Operands. [Citation Graph (, )][DBLP]
Parameter Selection for Fast Computation of Pi(x). [Citation Graph (, )][DBLP]
Introduction to Multilevel Mark Coding Theory. [Citation Graph (, )][DBLP]
Pansystems Relativity: Vitality, Intelligence and Computer. [Citation Graph (, )][DBLP]
Pansystems Extremum Theorems: Cybernetics. [Citation Graph (, )][DBLP]
Pansystems Approach : Relativity, World Systems, Cognition, Linquistics, Aesthetics. [Citation Graph (, )][DBLP]
A New View of Difference and Identity Relation in Rough Sets Based on Pansystems Duality Transformation. [Citation Graph (, )][DBLP]
The Sorites Paradox from the View of Pansystems. [Citation Graph (, )][DBLP]
Research of Reduction from the View of Pansystems. [Citation Graph (, )][DBLP]
The Extending of Panweighted Network in Pansystems and XMLbased Realization. [Citation Graph (, )][DBLP]
Rough Set Approximation and Rough Set Attribute Reduction Based on Pansystems Topology. [Citation Graph (, )][DBLP]
The Insert Taxis Based on Pansystems Topology. [Citation Graph (, )][DBLP]
Application of Pansystems Theory in ObjectOriented System. [Citation Graph (, )][DBLP]
A Rough Set Model of Binary Relation Based on Product and Pansystems. [Citation Graph (, )][DBLP]
A Pansystems Approach to Orderrelationship. [Citation Graph (, )][DBLP]
Compare Researches To Rough Sets And Fuzzy Sets from the View. [Citation Graph (, )][DBLP]
A Pansystems Extremum Algorithm for Attribute Reduction Based on Discernibility Matrix. [Citation Graph (, )][DBLP]
Modeling Distributed Virtual Enterprise Based on Pansystems Economics. [Citation Graph (, )][DBLP]
Pansystems Exploration: A Transfield Internetlike Approach. [Citation Graph (, )][DBLP]
The Use of Pansystems Relation Operators in Rough Sets. [Citation Graph (, )][DBLP]
A Pansystems Approach to Sorting Based on Binary Relations. [Citation Graph (, )][DBLP]
Pansystems Extremum: Scales, Approximation, Equivalence and 0**Theorems. [Citation Graph (, )][DBLP]
Distributed System Architecture and Specification with TLB. [Citation Graph (, )][DBLP]
A Unifying Model of Concurrent Processes. [Citation Graph (, )][DBLP]
Interactive Hypercomputation. [Citation Graph (, )][DBLP]
Algorithm for Finding a Nash Equilibrium of a TwoPlayer Game in the Strategic Form Using Convex Hull. [Citation Graph (, )][DBLP]
Application of braid groups for information processing. [Citation Graph (, )][DBLP]
Hypergraph Algorithms with Network Applications. [Citation Graph (, )][DBLP]
Finding Two Disjoint Paths in a Network with MinSumMinMin Objective Function. [Citation Graph (, )][DBLP]
Nonlinear Optimization Algorithms for Hybrid Controller Design of Switched Systems. [Citation Graph (, )][DBLP]
Compilation of HigherOrder Concurrent Programs into FirstOrder Programs on Recursive Graph Rewriting Model. [Citation Graph (, )][DBLP]
