Nicolas Blanc

Publication Activity (10 Years)

Years Active: 2004-2019
Publications (10 Years): 3

Top Topics

Computer Vision And Machine Learning

Spatial Features

Manual Annotation

Service Requirements

Top Venues

Publications

Nicolas Blanc, Zhan Liu, Olivier Ertz, Diego Rojas, Romain Sandoz, Maria Sokhn, Jens Ingensand, Jean-Christophe Loubier
Building a Crowdsourcing based Disabled Pedestrian Level of Service routing application using Computer Vision and Machine Learning. CCNC (2019)
Jens Ingensand, Jean-Christophe Foltête, Stéphane Cretegny, Nicolas Blanc, Sarah Composto
The utilization of landscape pictures extracted from open picture collections for the determination of interest in spatial features. PeerJ Prepr. 6 (2018)
Nicolas Blanc, Timothée Produit, Jens Ingensand
A semi-automatic tool to georeference historical landscape images. PeerJ Prepr. 6 (2018)
Nicolas Blanc, Daniel Kroening
Race analysis for systemc using model checking. ACM Trans. Design Autom. Electr. Syst. 15 (3) (2010)
Nicolas Blanc, Daniel Kroening
Speeding Up Simulation of SystemC Using Model Checking. SBMF (2009)
Nicolas Blanc, Daniel Kroening
Race analysis for SystemC using model checking. ICCAD (2008)
Nicolas Blanc, Daniel Kroening, Natasha Sharygina
Scoot: A Tool for the Analysis of SystemC Models. TACAS (2008)
Thomas Wahl, Nicolas Blanc, E. Allen Emerson
SVISS: Symbolic Verification of Symmetric Systems. TACAS (2008)
Thomas Witkowski, Nicolas Blanc, Daniel Kroening, Georg Weissenbacher
Model checking concurrent linux device drivers. ASE (2007)
Nicolas Blanc, Alex Groce, Daniel Kroening
Verifying C++ with STL containers via predicate abstraction. ASE (2007)
Thierry Oggier, Felix Lustenberger, Nicolas Blanc
Miniature 3D TOF Camera for Real-Time Imaging. PIT (2006)
Felix Lustenberger, M. Lehmann, L. Cavalier, Nicolas Blanc, W. Heppner, J. Ernst, S. Gick, H. Bloss
A colour 3200fps high-speed CMOS imager for endoscopy in bio-medical applications. ESSCIRC (2004)
Bernhard Büttgen, Thierry Oggier, Rolf Kaufmann, Peter Seitz, Nicolas Blanc
Demonstration of a novel drift field pixel structure for the demodulation of modulated light waves with application in three-dimensional image capture. Three-Dimensional Image Capture and Applications (2004)
Stephan Beer, Philipp Zeller, Nicolas Blanc, Felix Lustenberger, Peter Seitz
Smart pixels for real-time optical coherence tomography. Three-Dimensional Image Capture and Applications (2004)