Exploring and Exploiting Algebraic and Graphical Properties of Resolution Pascal Fontaine, Stephan Merz and Bruno Woltzenlogel Paleo [Pascal.Fontaine,Stephan.Merz,Bruno.WoltzenlogelPaleo]@loria.fr LORIA, INRIA & Nancy Un

Source URL: www.montefiore.ulg.ac.be

Le solveur SMT veriT∗ David D´eharbe†(Univ. F´ed. Rio Grande do Norte, Br´esil) Pablo Federico Dobal (Inria Nancy - Grand-Est, Loria) Pascal Fontaine‡(Inria Nancy - Grand-Est, Loria, Universit´e de Lorraine) Le

Source URL: www.verit-solver.org

10th International Society for Music Information Retrieval Conference (ISMIRACCELERATING QUERY-BY-HUMMING ON GPU Pascal Ferraro LaBRI - U. Bordeaux 1, France PIMS/CNRS - U. Calgary, Canada

Source URL: ismir2009.ismir.net

Compression of Propositional Resolution Proofs via Partial Regularization? Pascal Fontaine, Stephan Merz, and Bruno Woltzenlogel Paleo University of Nancy and INRIA, Nancy, France {Pascal.Fontaine,Stephan.Merz,Bruno.Wolt

Source URL: www.montefiore.ulg.ac.be

Exploring and Exploiting Algebraic and Graphical Properties of Resolution Pascal Fontaine, Stephan Merz and Bruno Woltzenlogel Paleo [Pascal.Fontaine,Stephan.Merz,Bruno.WoltzenlogelPaleo]@loria.fr LORIA, INRIA & Nancy Un

Source URL: www.verit-solver.org

Schweiz am Sonntag, Nr. 43, 26. OktoberMENSCHEN 19 | Das ins Maisfeld integrierte Stöckli von Pascal Flammer soll den Bewohnern die

Source URL: www.architektur-schweiz.ch

111_SUCCI.ch27.fm Page 311 Thursday, June 27, 2002 8:17 AM C h ap te r 2 7 The XP Game Explained —Vera Peeters and Pascal Van Cauwenberghe

Source URL: www.agilebelgium.be

Inferring Touch From Motion in Real World Data Pascal Bissig, Philipp Brandes, Jonas Passerini, and Roger Wattenhofer ETH Zurich, Switzerland, , http://www.disco.ethz.ch/

Source URL: www.tik.ee.ethz.ch

• Computing
• Software
• Computer architecture
• Smartphones
• Dynamic programming
• Dynamic time warping
• Time series analysis
• Accelerometer
• Touchscreen
• Android
• Gesture recognition

Computing prime implicants David D´eharbe∗ , Pascal Fontaine† , Daniel Le Berre‡ , Bertrand Mazure‡ ∗ †

Source URL: www.verit-solver.org

Combining decision procedures by (model-)equality propagation∗ Diego Caminha B. de Oliveira2 , David D´eharbe1 and Pascal Fontaine2 1 2

Source URL: www.montefiore.ulg.ac.be