Search results for "Pascal"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Pascal Schreck, Pascal Mathis	Automatic Constructibility Checking of a Corpus of Geometric Construction Problems.	Math. Comput. Sci.	2016	DBLP DOI BibTeX RDF
21	Quentin Perret, Pascal Maurère, Éric Noulard, Claire Pagetti, Pascal Sainrat, Benoît Triquet	Mapping hard real-time applications on many-core processors.	RTNS	2016	DBLP DOI BibTeX RDF
21	Pascal Mathis, Pascal Schreck	Determining automatically compass and straightedge unconstructibility in triangles.	SCSS	2016	DBLP DOI BibTeX RDF
21	Quentin Perret, Pascal Maurère, Eric Noulard, Claire Pagetti, Pascal Sainrat, Benoit Triquet	Temporal Isolation of Hard Real-Time Applications on Many-Core Processors.	RTAS	2016	DBLP DOI BibTeX RDF
21	Fang Lei, Pascal Dupuis, Olivier Durrieu, Georges Zissis, Pascal Maussion	Acoustic resonance detection using statistical methods of voltage envelope characterization in metal halide lamps.	IAS	2016	DBLP DOI BibTeX RDF
21	Samira Ebrahimi Kahou, Xavier Bouthillier, Pascal Lamblin, Çaglar Gülçehre, Vincent Michalski, Kishore Reddy Konda, Sébastien Jean, Pierre Froumenty, Yann N. Dauphin, Nicolas Boulanger-Lewandowski, Raul Chandias Ferrari, Mehdi Mirza, David Warde-Farley, Aaron C. Courville, Pascal Vincent, Roland Memisevic, Christopher J. Pal, Yoshua Bengio	EmoNets: Multimodal deep learning approaches for emotion recognition in video.	CoRR	2015	DBLP BibTeX RDF
21	Rémi Imbach, Pascal Mathis, Pascal Schreck	A Robust and Efficient Method for Solving Geometrical Constraint Problems by Homotopy.	CoRR	2015	DBLP BibTeX RDF
21	Pascal Gegout, Pascal Oberlé, Camille Desjardins, John Moyard, Pierre-Marie Brunet	Ray-Tracing of GNSS Signal Through the Atmosphere Powered by CUDA, HMPP and GPUs Technologies.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2014	DBLP DOI BibTeX RDF
21	Marcelino Seif, Fabien Pascal, Bruno Sagnes, Alain Hoffmann, Sébastien Haendler, Pascal Chevalier 0002, Daniel Gloria	Dispersion study of DC and Low Frequency Noise in SiGe: C Heterojunction Bipolar Transistors used for mm-Wave to Terahertz applications.	Microelectron. Reliab.	2014	DBLP DOI BibTeX RDF
21	Pascal Mathis, Pascal Schreck	Coordinate-free geometry and decomposition in geometrical constraint solving.	Comput. Aided Des.	2014	DBLP DOI BibTeX RDF
21	Rémi Imbach, Pascal Schreck, Pascal Mathis	Leading a continuation method by geometry for solving geometric constraints.	Comput. Aided Des.	2014	DBLP DOI BibTeX RDF
21	Marcelino Seif, Fabien Pascal, Bruno Sagnes, Alain Hoffmann, Sébastien Haendler, Pascal Chevalier 0002, Daniel Gloria	Study of low frequency noise in advanced SiGe: C heterojunction bipolar transistors.	ESSDERC	2014	DBLP DOI BibTeX RDF
21	Mathieu Castets, Pascal Degenne, Danny Lo Seen, Pascal Poncelet	Intégration de plusieurs formes de représentations spatiales dans un modèle de simulation.	EGC	2014	DBLP BibTeX RDF
21	Pascal Lecocq, Jean-Eudes Marvie, Gaël Sourimant, Pascal Gautron	Sub-pixel shadow mapping.	I3D	2014	DBLP DOI BibTeX RDF
21	Pascal Gautron, Cyril Delalandre, Jean-Eudes Marvie, Pascal Lecocq	Boundary-Aware Extinction Mapping.	Comput. Graph. Forum	2013	DBLP DOI BibTeX RDF
21	Samira Ebrahimi Kahou, Christopher J. Pal, Xavier Bouthillier, Pierre Froumenty, Çaglar Gülçehre, Roland Memisevic, Pascal Vincent, Aaron C. Courville, Yoshua Bengio, Raul Chandias Ferrari, Mehdi Mirza, Sébastien Jean, Pierre Luc Carrier, Yann N. Dauphin, Nicolas Boulanger-Lewandowski, Abhishek Aggarwal, Jeremie Zumer, Pascal Lamblin, Jean-Philippe Raymond, Guillaume Desjardins, Razvan Pascanu, David Warde-Farley, Atousa Torabi, Arjun Sharma, Emmanuel Bengio, Kishore Reddy Konda, Zhenzhou Wu	Combining modality specific deep neural networks for emotion recognition in video.	ICMI	2013	DBLP DOI BibTeX RDF
21	Pascal Lecocq, Pascal Gautron, Jean-Eudes Marvie, Gaël Sourimant	Sub-pixel shadow mapping.	SIGGRAPH Talks	2013	DBLP DOI BibTeX RDF
21	Adrien Martin, Jacqueline Boutin, Danièle Hauser, Gilles Reverdin, Mickaël Pardé, Mehrez Zribi, Pascal Fanise, Jérôme Chanut, Pascal Lazure, Joseph Tenerelli, Nicolas Reul	Remote Sensing of Sea Surface Salinity From CAROLS L-Band Radiometer in the Gulf of Biscay.	IEEE Trans. Geosci. Remote. Sens.	2012	DBLP DOI BibTeX RDF
21	Pascal Mathis, Pascal Schreck	Equation Systems with Free-Coordinates Determinants.	Automated Deduction in Geometry	2012	DBLP DOI BibTeX RDF
21	Pascal Mathis, Pascal Schreck, Rémi Imbach	Decomposition of geometrical constraint systems with reparameterization.	SAC	2012	DBLP DOI BibTeX RDF
21	Pascal Schreck, Pascal Mathis, Julien Narboux	Geometric Construction Problem Solving in Computer-Aided Learning.	ICTAI	2012	DBLP DOI BibTeX RDF
21	Pascal Gautron, Cyril Delalandre, Jean-Eudes Marvie, Pascal Lecocq	Volume-aware extinction mapping.	SIGGRAPH Talks	2012	DBLP DOI BibTeX RDF
21	Vincent Rodin, Gireg Desmeulles, Pascal Ballet, Pascal Redou, Christophe Le Gal	An efficient algorithm based on weak synchronization for distributed in virtuo biological experiments.	Multiagent Grid Syst.	2011	DBLP DOI BibTeX RDF
21	Jean-Eudes Marvie, Pascal Gautron, Pascal Lecocq, Olivier Mocquard, François Gérard	Streaming and synchronization of multi-user worlds through HTTP/1.1.	Web3D	2011	DBLP DOI BibTeX RDF
21	André Bittar, Pascal Amsili, Pascal Denis	French TimeBank : un corpus de référence sur la temporalité en français (French TimeBank: a reference corpus on temporality in French).	TALN (Articles longs)	2011	DBLP BibTeX RDF
21	Adityo Prakosa, Maxime Sermesant, Hervé Delingette, Eric Saloux, Pascal Allain, Pascal Cathier, Patrick Etyngier, Nicolas Villain, Nicholas Ayache	Synthetic Echocardiographic Image Sequences for Cardiac Inverse Electro-Kinematic Learning.	MICCAI (1)	2011	DBLP DOI BibTeX RDF
21	Rémi Imbach, Pascal Mathis, Pascal Schreck	Tracking Method for Reparametrized Geometrical Constraint Systems.	SYNASC	2011	DBLP DOI BibTeX RDF
21	André Bittar, Pascal Amsili, Pascal Denis, Laurence Danlos	French TimeBank: An ISO-TimeML Annotated Reference Corpus.	ACL (2)	2011	DBLP BibTeX RDF
21	Frédéric Pascal 0001, Hugo Harari-Kermadec, Pascal Larzabal	The Empirical Likelihood method applied to covariance matrix estimation.	Signal Process.	2010	DBLP DOI BibTeX RDF
21	Stéphane Weiss, Pascal Urso, Pascal Molli	Logoot-Undo: Distributed Collaborative Editing System on P2P Networks.	IEEE Trans. Parallel Distributed Syst.	2010	DBLP DOI BibTeX RDF	CRDT, scalability, P2P, Collaborative editing, optimistic replication, group undo
21	Adityo Prakosa, Maxime Sermesant, Hervé Delingette, Eric Saloux, Pascal Allain, Pascal Cathier, Patrick Etyngier, Nicolas Villain, Nicholas Ayache	Non-invasive Activation Times Estimation Using 3D Echocardiography.	STACOM/CESC	2010	DBLP DOI BibTeX RDF
21	Jean-Robert Manouvrier, Pascal Fonteneau, Charles-Alexandre Legrand, Pascal Nouet, Florence Azaïs	Characterization of the transient behavior of gated/STI diodes and their associated BJT in the CDM time domain.	Microelectron. Reliab.	2009	DBLP DOI BibTeX RDF
21	Rubén Mondéjar, Pedro García López, Carles Pairot, Pascal Urso, Pascal Molli	Designing a distributed AOP runtime composition model.	SAC	2009	DBLP DOI BibTeX RDF	distributed AOP, peer-to-peer, composition
21	Charbel Rahhal, Stéphane Weiss, Hala Skaf-Molli, Pascal Urso, Pascal Molli	Undo in Peer-to-peer Semantic Wikis.	SemWiki	2009	DBLP BibTeX RDF
21	Stéphane Weiss, Pascal Urso, Pascal Molli	Logoot: A Scalable Optimistic Replication Algorithm for Collaborative Editing on P2P Networks.	ICDCS	2009	DBLP DOI BibTeX RDF
21	Pascal Lagger, Pascal Fua	Retrieving multiple light sources in the presence of specular reflections and texture.	Comput. Vis. Image Underst.	2008	DBLP DOI BibTeX RDF
21	Frédéric Pascal 0001, Yacine Chitour, Jean Philippe Ovarlez, Philippe Forster, Pascal Larzabal	Covariance Structure Maximum-Likelihood Estimates in Compound Gaussian Noise: Existence and Algorithm Analysis.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
21	Frédéric Pascal 0001, Philippe Forster, Jean Philippe Ovarlez, Pascal Larzabal	Performance Analysis of Covariance Matrix Estimates in Impulsive Noise.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
21	Pascal Lagger, Mathieu Salzmann, Vincent Lepetit, Pascal Fua	3D pose refinement from reflections.	CVPR	2008	DBLP DOI BibTeX RDF
21	Stéphane Weiss, Pascal Urso, Pascal Molli	An Undo Framework for P2P Collaborative Editing.	CollaborateCom	2008	DBLP DOI BibTeX RDF	P2P Collaborative Editing, Operational Transformation, Group undo
21	Frédéric Pascal 0001, Jean-Pierre Barbot, Hugo Harari-Kermadec, Ricardo Suyama, Pascal Larzabal	An empirical likelihood method for data aided channel identification in unknown noise field.	EUSIPCO	2008	DBLP BibTeX RDF
21	Sébastien Bausson, Frédéric Pascal 0001, Philippe Forster, Jean Philippe Ovarlez, Pascal Larzabal	First- and Second-Order Moments of the Normalized Sample Covariance Matrix of Spherically Invariant Random Vectors.	IEEE Signal Process. Lett.	2007	DBLP DOI BibTeX RDF
21	Stéphane Weiss, Pascal Urso, Pascal Molli	Wooki: A P2P Wiki-Based Collaborative Writing Tool.	WISE	2007	DBLP DOI BibTeX RDF
21	Simon E. B. Thierry, Pascal Mathis, Pascal Schreck	Towards an homogeneous handling of under-constrained and well-constrained systems of geometric constraints.	SAC	2007	DBLP DOI BibTeX RDF	invariance under transformations groups, under-constraint, geometric constraints solving
21	Pascal Schreck, Pascal Mathis	Geometrical Constraint System Decomposition: a Multi-group Approach.	Int. J. Comput. Geom. Appl.	2006	DBLP DOI BibTeX RDF
21	Julien Wintz, Pascal Schreck, Pascal Mathis	A framework for geometric constraint satisfaction problem.	SAC	2006	DBLP DOI BibTeX RDF	geometric constraint systems description, geometric universe, software engineering, algebraic specification
21	Julien Pilet, Andreas Geiger 0001, Pascal Lagger, Vincent Lepetit, Pascal Fua	An all-in-one solution to geometric and photometric calibration.	ISMAR	2006	DBLP DOI BibTeX RDF
21	Gérald Oster, Pascal Urso, Pascal Molli, Abdessamad Imine	Data consistency for P2P collaborative editing.	CSCW	2006	DBLP DOI BibTeX RDF	CSCW, concurrency control, collaborative editing, optimistic replication
21	Pascal Lagger, Pascal Fua	Using Specularities to Recover Multiple Light Sources in the Presence of Texture.	ICPR (1)	2006	DBLP DOI BibTeX RDF
21	Gérald Oster, Pascal Molli, Pascal Urso, Abdessamad Imine	Tombstone Transformation Functions for Ensuring Consistency in Collaborative Editing Systems.	CollaborateCom	2006	DBLP DOI BibTeX RDF
21	Frédéric Pascal 0001, Jean Philippe Ovarlez, Philippe Forster, Pascal Larzabal	On a SIRV-CFAR detector with radar experimentations in impulsive clutter.	EUSIPCO	2006	DBLP BibTeX RDF
21	Frédéric Pascal 0001, Philippe Forster, Jean Philippe Ovarlez, Pascal Larzabal	Theoretical analysis of an improved covariance matrix estimator in non-Gaussian noise [radar detection applications].	ICASSP (4)	2005	DBLP DOI BibTeX RDF
21	Vincent Lepetit, Pascal Lagger, Pascal Fua	Randomized Trees for Real-Time Keypoint Recognition.	CVPR (2)	2005	DBLP DOI BibTeX RDF
21	Pascal Fontaine, E. Pascal Gribomont	Combining Non-stably Infinite, Non-first Order Theories.	D/PDPAR@IJCAR	2004	DBLP DOI BibTeX RDF
21	Raquel Urtasun, Pascal Glardon, Ronan Boulic, Daniel Thalmann, Pascal Fua	Style-Based Motion Synthesis.	Comput. Graph. Forum	2004	DBLP DOI BibTeX RDF
21	Frédéric Pascal 0001, Jean Philippe Ovarlez, Philippe Forster, Pascal Larzabal	Constant false alarm rate detection in Spherically Invariant Random Processes.	EUSIPCO	2004	DBLP BibTeX RDF
21	Pierre-François Rüedi, Pascal Heim, François Kaess, Eric Grenet, Friedrich Heitger, Pierre-Yves Burgi, Steve Gyger, Pascal Nussbaum	A 128 × 128 pixel 120-dB dynamic-range vision-sensor chip for image contrast and orientation extraction.	IEEE J. Solid State Circuits	2003	DBLP DOI BibTeX RDF
21	Abdessamad Imine, Pascal Molli, Gérald Oster, Pascal Urso	VOTE: Group Editors Analyzing Tool: System Description.	FTP	2003	DBLP DOI BibTeX RDF
21	Pascal Fontaine, E. Pascal Gribomont	Decidability of Invariant Validation for Paramaterized Systems.	TACAS	2003	DBLP DOI BibTeX RDF
21	Caroline Essert-Villard, Pascal Schreck, Pascal Mathis, Jean-François Dufourd	Combination of Automatic and Interactive Tools for Solution Space Browsing.	GMAG	2003	DBLP DOI BibTeX RDF
21	Pascal Fontaine, E. Pascal Gribomont	Using BDDs with Combinations of Theories.	LPAR	2002	DBLP DOI BibTeX RDF
21	Jean-François Dufourd, Pascal Mathis, Pascal Schreck	Geometric Construction by Assembling Solved Subfigures.	Artif. Intell.	1998	DBLP DOI BibTeX RDF
21	Jean-François Dufourd, Pascal Mathis, Pascal Schreck	Formal Resolution of Geometrical Constraint Systems by Assembling.	Symposium on Solid Modeling and Applications	1997	DBLP DOI BibTeX RDF	assembling of figures, geometric formal construction, local solving, system of geometric constraints, multi-agent system, computer-aided design, blackboard
21	René Zapata, Pascal Lépinay, Pascal Deplanques	Collision Avoidance Using an Egocentric Memory of Proximity.	ECAL	1995	DBLP DOI BibTeX RDF
21	Pascal Fernandez, Pascal Adam, Didier Juvin, Jean-Luc Basille	Programming environment for a line processor-SYMPATI-2.	ASAP	1990	DBLP DOI BibTeX RDF
20	Pascal Aubry, Paul Le Guernic, Sylvain Machard	Synchronous Distribution of Signal Programs.	HICSS (1)	1996	DBLP DOI BibTeX RDF
20	Baudouin Le Charlier, Pascal Van Hentenryck	Experimental Evaluation of a Generic Abstract Interpretation Algorithm for PROLOG.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	fixpoint algorithm, PROLOG, Prolog, abstract interpretation
20	Baudouin Le Charlier, Pascal Van Hentenryck	Experimental evaluation of a generic abstract interpretation algorithm for Prolog.	ICCL	1992	DBLP DOI BibTeX RDF
19	Robert Law	Using student blogs for documentation in software development projects.	ITiCSE	2011	DBLP DOI BibTeX RDF
19	Luiz Carlos Castro Guedes, Edward Hermann Haeusler	Action Algebras and Model Algebras in Denotational Semantics.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
19	Pedro F. Felzenszwalb, David A. McAllester, Deva Ramanan	A discriminatively trained, multiscale, deformable part model.	CVPR	2008	DBLP DOI BibTeX RDF
19	Christoph H. Lampert, Matthew B. Blaschko, Thomas Hofmann	Beyond sliding windows: Object localization by efficient subwindow search.	CVPR	2008	DBLP DOI BibTeX RDF
19	Haibin Ling, Stefano Soatto	Proximity Distribution Kernels for Geometric Context in Category Recognition.	ICCV	2007	DBLP DOI BibTeX RDF
19	David J. Crandall, Daniel P. Huttenlocher	Composite Models of Objects and Scenes for Category Recognition.	CVPR	2007	DBLP DOI BibTeX RDF
19	Niklaus Wirth	Modula-2 and Oberon.	HOPL	2007	DBLP DOI BibTeX RDF
19	John Plaice, Yannis Haralambous, Paul Swoboda, Gábor Bella	Moving Omega to an Object-Oriented Platform.	TEX, XML, and Digital Typography	2004	DBLP DOI BibTeX RDF
19	Jeffrey G. Gray, Suman Roychoudhury	A technique for constructing aspect weavers using a program transformation engine.	AOSD	2004	DBLP DOI BibTeX RDF
19	Craig Harvey, Paul A. Strooper	Testing Java Monitors through Deterministic Execution.	Australian Software Engineering Conference	2001	DBLP DOI BibTeX RDF
19	K. John Gough	Parameter Passing for the Java Virtual Machine.	ACSC	2000	DBLP DOI BibTeX RDF	languages other than Java, parameter passing mechanisms, Compilers, Java Virtual Machine
19	Trong Wu, Shu-chiung Huang	A Timed Petri Net Interpreter: An Alternative Method for Simulation.	Rough Sets and Current Trends in Computing	2000	DBLP DOI BibTeX RDF
19	Christoph Baumhof	A New VLSI Vector Arithmetic Coprocessor for the PC.	IEEE Symposium on Computer Arithmetic	1995	DBLP DOI BibTeX RDF	accurate dot product, vector arithmetic coprocessor, Long Accumulator
19	Rick Decker, Stuart Hirshfield	The top 10 reasons why object-oriented programming can't be taught in CS 1.	SIGCSE	1994	DBLP DOI BibTeX RDF	C++
19	Ruth M. Davies, Robert M. O'Keefe, Huw T. O. Davies	Simplifying the Modeling of Multiple Activities, Multiple Queuing, and Interruptions: A New Low-Level Data Structure.	ACM Trans. Model. Comput. Simul.	1993	DBLP DOI BibTeX RDF	concurrent activities, machine breakdowns, interruptions
19	Vyacheslav B. Muchnick, Alexander V. Shafarenko, Carl David Sutton	Data-Parallel Portable Software Platform: Principles and Implementation.	PARLE	1993	DBLP DOI BibTeX RDF
19	Simon F. Wail	Implementing a conventional language for a dataflow architecture.	SPDP	1991	DBLP DOI BibTeX RDF
19	Nahid Shahmehri, Peter Fritzson	Algorithmic Debugging for Imperative Languages with Side-Effects (Abstract).	CC	1990	DBLP DOI BibTeX RDF
19	Richard P. Brent	Efficient Implementation of the First-Fit Strategy for Dynamic Storage Allocation.	ACM Trans. Program. Lang. Syst.	1989	DBLP DOI BibTeX RDF
19	Mark Smotherman	Examining compiled code.	SIGCSE	1989	DBLP DOI BibTeX RDF
19	Michael Britt	APEX1, a library of dynamic programming examples.	SIGCSE	1989	DBLP DOI BibTeX RDF
19	G. Scott Owen, Taylor Binkley	KC expert - the development of an ICAI system for chemistry.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
19	James H. Cross II, Sallie V. Sheppard	Graphical extensions for pseudo-code, PDLs, and source code.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
19	Masao Kishore	New syntax for if- and case statements.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
19	Jan L. Harrington	The computer background of incoming freshman: looking for emerging trends.	SIGCSE	1988	DBLP DOI BibTeX RDF	BASIC
19	Jon Bondy	Uninitialized Modula-2 Abstract Object Instances, Yet Again.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF	Modula-2
19	M. Collado, R. Morales, J. J. Moreno	A Modula-2 Implementation of CSP.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF	CSP Modula-2
19	Alan Purdy, Bruce Schuchardt, David Maier 0001	Integrating an Object Server with Other Worlds.	ACM Trans. Inf. Syst.	1987	DBLP DOI BibTeX RDF	GemStone
19	G. Scott Owen	Using Ada on microcomputers in the undergraduate curriculum.	SIGCSE	1987	DBLP DOI BibTeX RDF	Ada
19	Amos O. Olagunju, Elvis Borders	Using emulators as vehicles for instruction in systems programming: prospective consideration.	SIGCSE	1987	DBLP DOI BibTeX RDF
19	Gene L. Fisher	Student-oriented features of an interactive programming environment.	SIGCSE	1987	DBLP DOI BibTeX RDF
19	George M. Whitson	A set of workshops for high school computer science teachers.	SIGCSE	1986	DBLP DOI BibTeX RDF