Sciweavers

3235 search results - page 51 / 647

» Partial Redundant Modeling

80

CAV
2004
Springer

89views Hardware» more CAV 2004»

Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors

15 years 5 months ago

Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors

Download www.cs.cmu.edu

Amit Goel, Randal E. Bryant

claim paper

Read More »

82

LOPSTR
2001
Springer

116views Automated Reasoning» more LOPSTR 2001»

Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking

15 years 4 months ago

Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking

Download eprints.ecs.soton.ac.uk

Michael Leuschel, Stefan Gruner

claim paper

Read More »

61

ICMCS
2000
IEEE

80views Multimedia» more ICMCS 2000»

Partial Update of Active Textures for Efficient Expression Synthesis in Model-Based Coding

15 years 4 months ago

Partial Update of Active Textures for Efficient Expression Synthesis in Model-Based Coding

Download www.jos.org.cn

Lijun Yin, Anup Basu

claim paper

Read More »

67

CL
2000
Springer

85views Automated Reasoning» more CL 2000»

Partial Models of Extended Generalized Logic Programs

15 years 4 months ago

Partial Models of Extended Generalized Logic Programs

Download centria.di.fct.unl.pt

José Júlio Alferes, Heinrich Herre, ...

claim paper

Read More »

82

3DIM
1997
IEEE

119views Image Processing» more 3DIM 1997»

Registration of 3-D Partial Surface Models using Luminance and Depth Information

15 years 4 months ago

Registration of 3-D Partial Surface Models using Luminance and Depth Information

Download graphics.stanford.edu

Sebastian Weik

claim paper

Read More »

« Prev « First page 51 / 647 Last » Next »