Search Sciweavers | Sciweavers

Data Types William R. Cook Hewlett-Packard Laboratories 1501 Page Mill Road, Palo Alto, CA, 94303-0969, USA Abstract: This tutorial collects and elaborates arguments for distinguis...

William R. Cook

claim paper

Read More »

click to vote

CAV
2006
Springer

117views Hardware» more CAV 2006»

Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop

14 years 1 months ago

Download www.cs.cmu.edu

e Abstraction and Refinement Loop Himanshu Jain1,2, Franjo Ivanci

Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya S...

claim paper

Read More »

click to vote

CAV
2006
Springer

141views Hardware» more CAV 2006»

SMT Techniques for Fast Predicate Abstraction

14 years 1 months ago

Download www.lsi.upc.edu

niques for Fast Predicate Abstraction Shuvendu K. Lahiri , Robert Nieuwenhuis , and Albert Oliveras Abstract. Predicate abstraction is a technique for automatically exfinite-state ...

Shuvendu K. Lahiri, Robert Nieuwenhuis, Albert Oli...

claim paper

Read More »

click to vote

SIGGRAPH
1995
ACM

113views Computer Graphics» more SIGGRAPH 1995»

Automated learning of muscle-actuated locomotion through control abstraction

14 years 1 months ago

Download www.cs.ucla.edu

Control Abstraction Radek Grzeszczuk and Demetri Terzopoulos Department of Computer Science, University of Toronto 1

Radek Grzeszczuk, Demetri Terzopoulos

claim paper