Sciweavers

8 search results - page 1 / 2

» fac 1998

17

FAC
1998

99views more FAC 1998»

Heterogeneous Notations for Pure Formal Method Integration

13 years 9 months ago

Heterogeneous Notations for Pure Formal Method Integration

Download www-users.cs.york.ac.uk

Richard F. Paige

claim paper

Read More »

21

FAC
1998

64views more FAC 1998»

Formalization of Time and Space

13 years 9 months ago

Formalization of Time and Space

Download www.eecs.ucf.edu

Eric C. R. Hehner

claim paper

Read More »

16

FAC
1998

80views more FAC 1998»

Partiality and Nondeterminacy in Program Proofs

13 years 9 months ago

Partiality and Nondeterminacy in Program Proofs

Download www.computing.dcu.ie

Joseph M. Morris, Alexander Bunkenburg

claim paper

Read More »

22

FAC
1998

68views more FAC 1998»

Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning

13 years 9 months ago

Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning

Download www.cs.cmu.edu

Jürgen Dingel, David Garlan, Somesh Jha, Davi...

claim paper

Read More »

34

FGR
1998
IEEE

203views Biometrics» more FGR 1998»

Automated Facial Expression Recognition Based on FACS Action Units

14 years 2 months ago

Automated Facial Expression Recognition Based on FACS Action Units

Download ivizlab.sfu.ca

Automated recognition of facial expression is an important addition to computer vision research because of its relevance to the study of psychological phenomena and the developmen...

James Jenn-Jier Lien, Takeo Kanade, Jeffrey F. Coh...

claim paper

Read More »

« Prev « First page 1 / 2 Last » Next »