The following pages link to DBLP publication ID (P1635):
Displaying 50 items.
- Coin graphs, polyhedra, and conformal mapping (Q1339871) (← links)
- A note on exploiting structure when using slack variables (Q1340068) (← links)
- Nilpotent bases for a class of nonintegrable distributions with applications to trajectory generation for nonholonomic systems (Q1340093) (← links)
- A statistical theorem of set addition (Q1340134) (← links)
- New types of cryptanalytic attacks using related keys (Q1340196) (← links)
- Downward refinement and the efficiency of hierarchical problem solving (Q1341665) (← links)
- Reasoning about infinite computations (Q1341752) (← links)
- A syntactic approach to type soundness (Q1341754) (← links)
- Rice's theorem for the limit sets of cellular automata (Q1342233) (← links)
- Proofs as processes (Q1342245) (← links)
- Constant-only multiplicative linear logic is NP-complete (Q1342254) (← links)
- On the power of L-systems in image generation (Q1342508) (← links)
- On parallel complexity of nonsmooth convex optimization (Q1342517) (← links)
- On search, decision, and the efficiency of polynomial-time algorithms (Q1342869) (← links)
- Topographical multilevel single linkage (Q1342898) (← links)
- The generating function of convex polyominoes: The resolution of a \(q\)- differential system (Q1343776) (← links)
- Response to ``The formal specification of safety requirements for storing explosives'' (Q1343867) (← links)
- Realizability and uniqueness in graphs (Q1344609) (← links)
- Passivity and parametric robustness of a new class of adaptive systems (Q1345620) (← links)
- Uniform generation of binary trees in parallel (Q1345659) (← links)
- Parallel and serial processes in the human oculomotor system: Bimodal integration and express saccades (Q1346054) (← links)
- Human stereovision without localized image features (Q1346492) (← links)
- A formal semantics of data flow diagrams (Q1346602) (← links)
- Infinite concurrent systems. I: The relationship between metric and order convergence (Q1346609) (← links)
- An iterative approach to verification of real-time systems (Q1346652) (← links)
- Expected complexity of graph partitioning problems (Q1346695) (← links)
- Reasoning about prolog programs: From modes through types to assertions (Q1346766) (← links)
- Genetic clustering for automatic evolution of clusters and application to image classification (Q1347613) (← links)
- Learning handwriting by evolution: A conceptual framework for performance evaluation and tuning (Q1347649) (← links)
- Invariant characterisation of the Hough transform for pose estimation of arbitrary shapes (Q1347663) (← links)
- Extracting moving shapes by evidence gathering (Q1347666) (← links)
- Hierarchical palmprint identification via multiple feature extraction (Q1347724) (← links)
- On the diameter of the rotation graph of binary coupling trees (Q1348109) (← links)
- On the recognition of de Bruijn graphs and their induced subgraphs (Q1348115) (← links)
- Complexity of Langton's ant (Q1348376) (← links)
- On enumerating all minimal solutions of feedback problems (Q1348395) (← links)
- An algorithm for the determination of optimal cutting patterns (Q1348556) (← links)
- Error estimate for a stabilised domain decomposition method with nonmatching grids (Q1348928) (← links)
- A functional approach to external graph algorithms (Q1348943) (← links)
- Towards a characterisation of Pfaffian near bipartite graphs (Q1349098) (← links)
- Systems of ordinal fuzzy logic with application to preference modelling (Q1349206) (← links)
- Almost every set in exponential time is P-bi-immune (Q1349712) (← links)
- Some aspects about the scalability of scientific applications on parallel architectures (Q1350008) (← links)
- Efficient learning with equivalence queries of conjunctions of modulo functions (Q1350223) (← links)
- A note on PCP vs. MIP (Q1350618) (← links)
- The SU(2)-lattice gauge theory simulation code on the Intel Paragon supercomputer (Q1351372) (← links)
- Lower bounds for one-way probabilistic communication complexity and their application to space complexity (Q1351496) (← links)
- The adaptive linear combiner with a periodic-impulse reference input as a linear comb filter (Q1351820) (← links)
- Multi-radar data fusion for object tracking and shape estimation (Q1351835) (← links)
- Fixed-parameter tractability of graph modification problems for hereditary properties (Q1352005) (← links)
