ParisTech - PDFSEARCH.IO - Document Search Engine

ParisTech
Results: 954

#	Item
251	FoCaLiZe! Programming and Proving! A Bit Under the Hood François Pessaux - ENSTA ParisTech (U2IS) Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-04-14 11:22:28 Software engineering Computer programming Programming language theory Functional languages Functional programming Procedural programming languages Mathematical proof Coq OCaml Natural deduction Mathematical logic ALGOL 68
252	Multi-label Classification with Meta-labels Jesse Read Antti Puurula Albert Bifet Add to Reading List Source URL: perso.telecom-paristech.fr Language: English Machine learning Statistical classification Classifier chains Multi-label classification Computational neuroscience Support vector machine Artificial neural network Ensemble learning Pattern recognition
253	Laughter detection using ALISP-based N-Gram models Sathish Pammi, Houssemeddine Khemiri and Gérard Chollet Telecom ParisTech, Rue Dareau, 37-39, 75014 Paris, France {firstname.lastname}@telecom-paristech.fr Laughter is Add to Reading List Source URL: www.ilhaire.eu Language: English - Date: 2012-10-31 09:06:14 Computational linguistics Speech recognition Markov models Laughter N-gram Acoustic model Language model Hidden Markov model Image segmentation
254	Pitfalls in Benchmarking Data Stream Classification and How to Avoid Them ˇ Albert Bifet1 , Jesse Read2 , Indr˙e Zliobait˙ e3 , Bernhard Pfahringer4 , and Geoff Holmes4 1 Add to Reading List Source URL: perso.telecom-paristech.fr Language: English Statistical classification Naive Bayes classifier Bayes classifier Support vector machine Classifier Multiclass classification Concept drift Massive Online Analysis Binary classification Classifier chains Nearest neighbour classifiers
255	4095751143000Geotechnical Engineering Seminar Series Fall 2012 Wednesdays @ 12:00 noon (Room 216 Butler Carlton Hall) Add to Reading List Source URL: geotech.mst.edu Language: English - Date: 2014-01-22 04:03:24 Paris-Saclay ParisTech Bate Claude-Louis Navier
256	U-Note: Capture the Class and Access it Everywhere Sylvain Malacria 1 , Thomas Pietrzak1,2, Aurélien Tabard1,3, Éric Lecolinet1 1 Telecom ParisTech – CNRS LTCI UMR 5141, 46 rue Barrault, 75013, Paris, France {malacri Add to Reading List Source URL: tabard.fr Language: English Display technology Interactive whiteboard Office equipment Anoto Livescribe Educational technology Teacher Notebook Classroom
257	The Second European Workshop on Food Engineering and Technology Presentations of selected national PhD students in food engineering and technology ofat European level will be held in Massy, May 26 – 27, 2008 Add to Reading List Source URL: efce.info Language: English - Date: 2009-12-01 10:32:00 Gare de Massy Palaiseau Agro ParisTech Palaiseau European Federation of Chemical Engineering Massy ParisTech
258	A Taste of Sound Reasoning in Faust Emilio Jesús Gallego Arias, Olivier Hermant, Pierre Jouvelot MINES ParisTech, PSL Research University, France {emilio.gallego_arias, olivier.hermant, pierre.jouvelot}@mines-paristech. Add to Reading List Source URL: lac.linuxaudio.org Language: English - Date: 2015-03-17 08:21:04 Type theory Functional languages FAUST Eval Dependent type Coq NyquistShannon sampling theorem Mathematical proof FeitThompson theorem Functional programming
259	Habil, Dr. Eng., Professor Luis Le Moyne Burgundy University Director, Institut Supérieur de l’Automobile et des Transports ISAT 49 rue Mlle. Bourgeois, 58000 Nevers , http://luis.lemoyne.f Add to Reading List Source URL: luis.lemoyne.free.fr Language: English - Date: 2011-11-06 12:41:08 Grands tablissements Arts et Mtiers ParisTech ParisTech
260	EFFICIENT MONTE CARLO OPTIMIZATION FOR MULTI-LABEL CLASSIFIER CHAINS Jesse Read, Luca Martino∗ David Luengo∗ Dept. of Signal Theory and Communications Add to Reading List Source URL: perso.telecom-paristech.fr Language: English Machine learning Statistical classification Classifier chains Multi-label classification Pattern recognition Support vector machine Supervised learning Probabilistic classification Maximum a posteriori estimation Naive Bayes classifier Structured support vector machine

UPDATE