论文列表及评分结果
Multiresolution Free Form Object Modeling with Point Sampled Geometry.
电商所评分：6
Surface Detail Capturing for Realistic Facial Animation.
电商所评分：10
Anti-Aliased Rendering of Water Surface.
电商所评分：2
Layered Textures for Image-Based Rendering.
电商所评分：8
Method of Direct Texture Synthesis on Arbitrary Surfaces.
电商所评分：5
PDE Surface Generation with Combined Closed and Non-Closed Form Solutions.
电商所评分：2
Estimating Subdivision Depth of Catmull-Clark Surfaces.
电商所评分：4
Algebraic Conditions for Classifying the Positional Relationships Between Two Conics and Their Applications.
电商所评分：4
Parametric Tracking of Legs by Exploiting Intelligent Edge.
电商所评分：9
Unified Model in Identity Subspace for Face Recognition.
电商所评分：9
Gradient-Based Approach for Fine Registration of Panorama Images.
电商所评分：1
Image Magnification Method Using Joint Diffusion.
电商所评分：6
Leakage Current Estimation of CMOS Circuit with Stack Effect.
电商所评分：5
Automatic Circuit Extractor for HDL Description Using Program Slicing.
电商所评分：9
HSM2: A New Heuristic State Minimization Algorithm for Finite State Machine.
电商所评分：7
Preface.
电商所评分：8
Playing games and proving properties of concurrent systems.
电商所评分：9
Some notes on graph automata, tiling systems and partition logic.
电商所评分：9
Process Calculi for describing distributed systems.
电商所评分：10
Simply-typed underdeterminism.
电商所评分：2
Calculi for concurrent processes.
电商所评分：7
Reaction graph.
电商所评分：2
An invitation to friendly testing.
电商所评分：7
A crash course in λ-calculus.
电商所评分：9
Another definition of order-sorted algebra.
电商所评分：1
An overview of Duration Calculus.
电商所评分：10
Formal derivation of graph algorithmic programs using partition-and-recur.
电商所评分：5
Explicit substitutions: A short survey.
电商所评分：7
Dependent type system with subtyping (I) type level transitivity elimination.
电商所评分：6
Structures definable in polymorphism.
电商所评分：1