Yves Auffray

Publication Activity (10 Years)

Years Active: 1988-2014
Publications (10 Years): 0

Top Topics

Distributed Data

Importance Sampling

Class Distribution

Top Venues

Comput. Stat. Data Anal.

Publications

Yves Auffray, Pierre Barbillon, Jean-Michel Marin
Bounding rare event probabilities in computer experiments. Comput. Stat. Data Anal. 80 (2014)
Yves Auffray, Pierre Barbillon, Jean-Michel Marin
Maximin design on non hypercube domains and kernel interpolation. Stat. Comput. 22 (3) (2012)
Yves Auffray, Patrice Enjalbert
Modal Theorem Proving: An Equational Viewpoint. J. Log. Comput. 2 (3) (1992)
Yves Auffray, Patrice Enjalbert, Jean-Jacques Hébrard
Strategies for Modal Resolution: Results and Problems. J. Autom. Reason. 6 (1) (1990)
Yves Auffray, Patrice Enjalbert
Modal Theorem Proving: An Equational Viewpoint. IJCAI (1989)
Yves Auffray
Linear Strategy for Propositional Modal Resolution. Inf. Process. Lett. 28 (2) (1988)