Pascal - researchr tag

researchr

You are not signed in
Sign in
Sign up

2012

Test-case reduction for C compiler bugsJohn Regehr, Chen, Yang, Cuoq, Pascal, Eide, Eric, Ellison, Chucky, Yang, Xuejun. SIGPLAN, 47(6):335-346, jun 2012. [doi]

Information dissemination in VANETs based upon a tree topologyPatricia Ruiz, Bernabé Dorronsoro, Pascal Bouvry, Lorenzo J. Tardón. adhoc, 10(1):111-127, 2012. [doi]

2011

WebUser: mining unexpected web usageDong (Haoyuan) Li, Anne Laurent, Pascal Poncelet. ijbidm, 6(1):90-111, 2011. [doi]

An investigation of self-organization in ad-hoc networksAhmed Akl, Thierry Gayraud, Pascal Berthou. icnsc 2011: 1-6 [doi]

Predictive Dynamic Frequency Scaling for Multi-Processor Systems-on-ChipGabriel Marchesan Almeida, Rémi Busseuil, Everton Alceu Carara, Nicolas Hebert, Sameer Varyani, Gilles Sassatelli, Pascal Benoit, Lionel Torres, Fernando Gehm Moraes. iscas 2011: 1500-1503 [doi]

Balanced Interval ColoringAntonios Antoniadis, Falk Hüffner, Pascal Lenzner, Carsten Moldenhauer, Alexander Souza. STACS 2011: 531-542 [doi]

IntroductionAmitabha Bagchi, Olivier Beaumont, Pascal Felber, Alberto Montresor. europar 2011: 514-515 [doi]

Toward the estimation of the absolute quality of individual protein structure modelsPascal Benkert, Marco Biasini, Torsten Schwede. bioinformatics, 27(3):343-350, 2011. [doi]

Convergence of a distributed parameter estimator for sensor networks with local averaging of the estimatesPascal Bianchi, Gersende Fort, Walid Hachem, Jérémie Jakubowicz. icassp 2011: 3764-3767 [doi]

Linear Precoders for the Detection of a Gaussian Process in Wireless Sensors NetworksPascal Bianchi, Jérémie Jakubowicz, François Roueff. tsp, 59(3):882-894, 2011. [doi]

The Semantic Shadow: Structuring the Web for AdaptationsPascal Bihler, Armin B. Cremers. eceasst, 37, 2011. [doi]

French TimeBank: An ISO-TimeML Annotated Reference CorpusAndrè Bittar, Pascal Amsili, Pascal Denis, Laurence Danlos. acl 2011: 130-134 [doi]

A space time array processing for passive geolocalization of radio transmittersJonathan Bosse, Anne Ferréol, Pascal Larzabal. icassp 2011: 2596-2599 [doi]

Error estimate for the upwind finite volume method for the nonlinear scalar conservation lawDaniel Bouche, Jean-Michel Ghidaglia, Frédéric Pascal 0002. jcam, 235(18):5394-5410, 2011. [doi]

Quickly Generating Representative Samples from an RBM-Derived ProcessOlivier Breuleux, Yoshua Bengio, Pascal Vincent. neco, 23(8):2058-2073, 2011. [doi]

An adaptive domain-decomposition technique for parallelization of the fast marching methodMichael Breuß, Emiliano Cristiani, Pascal Gwosdek, Oliver Vogel. amc, 218(1):32-44, 2011. [doi]

On the expressive power of CNF formulas of bounded tree- and clique-widthIrénée Briquel, Pascal Koiran, Klaus Meer. DAM, 159(1):1-14, 2011. [doi]

PrefaceCarlos Canal, Pascal Poizat, Marjan Sirjani. SCP, 76(8):631-632, 2011. [doi]

PrefaceCarlos Canal, Pascal Poizat, Mirko Viroli. SCP, 76(1):1-2, 2011. [doi]

Generalized One-UnambiguityPascal Caron, Yo-Sub Han, Ludovic Mignot. dlt 2011: 129-140 [doi]

Partial Derivatives of an Extended Regular ExpressionPascal Caron, Jean-Marc Champarnaud, Ludovic Mignot. LATA 2011: 179-191 [doi]

Erratum to Acyclic automata and small expressions using multi-tilde-bar operators [Theoret. Comput. Sci. 411 (38-39) (2010) 3423-3435]Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot. TCS, 412(29):3795-3796, 2011. [doi]

Third order widely non linear Volterra MVDR beamformingPascal Chevalier, Abdelkader Oukaci, Jean Pierre Delmas. icassp 2011: 2648-2651 [doi]

Image Visualization and Restoration by Curvature MotionsAdina Ciomaga, Pascal Monasse, Jean-Michel Morel. mmas, 9(2):834-871, 2011. [doi]

Spatial and Objective Decompositions for Very Large SCAPsCarleton Coffrin, Pascal Van Hentenryck, Russell Bent. cpaior 2011: 59-75 [doi]

Genetic algorithm with alternating selection pressure for protein side-chain packing and pK(a) predictionPascal Comte, Sergei Vassiliev, Sheridan K. Houghten, Doug Bruce. biosystems, 105(3):263-270, 2011. [doi]

A formal framework for a functional language with adaptable componentsPascal Coupey, Christophe Fouqueré. SAC 2011: 1297-1298 [doi]

Automated Proofs for Asymmetric EncryptionJudicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech. JAR, 46(3-4):261-291, 2011. [doi]

Branching Processes of General Petri NetsJean-Michel Couvreur, Denis Poitrenaud, Pascal Weil. apn 2011: 129-148 [doi]

EditorialAmaro de Sousa, Maurizio Naldi, Pascal Lorenz, Rui Valadas. telsys, 48(1-2):1-3, 2011. [doi]

On the asymptotic distribution of GLR for impropriety of complex signalsJean Pierre Delmas, Abdelkader Oukaci, Pascal Chevalier. sigpro, 91(10):2259-2267, 2011. [doi]

Improving Classical and Decentralized Differential Evolution With New Mutation Operator and Population TopologiesBernabé Dorronsoro, Pascal Bouvry. tec, 15(1):67-98, 2011. [doi]

Why STM can be more than a research toyAleksandar Dragojevic, Pascal Felber, Vincent Gramoli, Rachid Guerraoui. CACM, 54(4):70-77, 2011. [doi]

Towards an Automatic Characterization of CriteriaBenjamin Duthil, François Trousset, Mathieu Roche, Gérard Dray, Michel Plantié, Jacky Montmain, Pascal Poncelet. DEXA 2011: 457-465 [doi]

Exploiting Symmetry in SMT ProblemsDavid Déharbe, Pascal Fontaine, Stephan Merz, Bruno Woltzenlogel Paleo. cade 2011: 222-236 [doi]

Operational performances of a MUSIC algorithm robust to outliersAnne Ferréol, Pascal Larzabal. icassp 2011: 2576-2579 [doi]

Bounds for the generalized repetition thresholdFrancesca Fiorenzi, Pascal Ochem, Elise Vaslet. TCS, 412(27):2955-2963, 2011. [doi]

Compression of Propositional Resolution Proofs via Partial RegularizationPascal Fontaine, Stephan Merz, Bruno Woltzenlogel Paleo. cade 2011: 237-251 [doi]

Real-time vehicle tracking for driving assistanceAndrea Fossati, Patrick Schönmann, Pascal Fua. mva, 22(2):439-448, 2011. [doi]

Benaloh s Dense Probabilistic Encryption RevisitedLaurent Fousse, Pascal Lafourcade, Mohamed Alnuaimi. africacrypt 2011: 348-362 [doi]

On the Decidability of HTN Planning with Task InsertionThomas Geier, Pascal Bercher. IJCAI 2011: 1955-1961 [doi]

Continuous Correlated Beta ProcessesRobby Goetschalckx, Pascal Poupart, Jesse Hoey. IJCAI 2011: 1269-1274 [doi]

Symmetric Determinantal Representation of Weakly-Skew CircuitsBruno Grenet, Erich Kaltofen, Pascal Koiran, Natacha Portier. STACS 2011: 543-554 [doi]

Atomic Boxes: Coordinated Exception Handling with Transactional MemoryDerin Harmanci, Vincent Gramoli, Pascal Felber. ECOOP 2011: 634-657 [doi]

Evaluation of a distributed fault handler method for MPSoCNicolas Hebert, Gabriel Marchesan Almeida, Pascal Benoit, Gilles Sassatelli, Lionel Torres. iscas 2011: 2329-2332 [doi]

Towards a Computational Model of the Self-attribution of AgencyKoen V. Hindriks, Pascal Wiggers, Catholijn M. Jonker, Willem F. G. Haselager. ieaaie 2011: 295-305 [doi]

Learning Real-Time Perspective Patch RectificationStefan Hinterstoisser, Vincent Lepetit, Selim Benhimane, Pascal Fua, Nassir Navab. ijcv, 91(1):107-130, 2011. [doi]

Semantic Web tools and systemsPascal Hitzler, Krzysztof Janowicz. semweb, 2(1):1-2, 2011. [doi]

Paraconsistent Semantics for Hybrid MKNF Knowledge BasesShasha Huang, Qingguo Li, Pascal Hitzler. rr 2011: 93-107 [doi]

P:::0:::::1::/it /Pi^0_1 Sets and TilingsEmmanuel Jeandel, Pascal Vanier. tamc 2011: 230-239 [doi]

Nonlinear Stability of Viscous Roll WavesMathew A. Johnson, Kevin Zumbrun, Pascal Noble. siamma, 43(2):577-611, 2011. [doi]

Multi-modal, multi-resource methods for placing Flickr videos on the mapPascal Kelm, Sebastian Schmiedeke, Thomas Sikora. mir 2011: 52 [doi]

Local closed world reasoning with description logics under the well-founded semanticsMatthias Knorr, José Júlio Alferes, Pascal Hitzler. ai, 175(9-10):1528-1554, 2011. [doi]

Interpolation in Valiant s TheoryPascal Koiran, Sylvain Perifel. cc, 20(1):1-20, 2011. [doi]

Distributed Classification of Multiple Observation Sets by ConsensusEffrosini Kokiopoulou, Pascal Frossard. tsp, 59(1):104-114, 2011. [doi]

Local Closed World Semantics: Grounded Circumscription for Description LogicsAdila Alfa Krisnadhi, Kunal Sengupta, Pascal Hitzler. rr 2011: 263-268 [doi]

Local Closed World Semantics: Keep it simple, stupid!Adila Alfa Krisnadhi, Kunal Sengupta, Pascal Hitzler. dlog 2011: [doi]

Nearly Optimal Resource Allocation for Downlink OFDMA in 2-D Cellular NetworksNassar Ksairi, Pascal Bianchi, Philippe Ciblat. TWC, 10(7):2101-2115, 2011. [doi]

An interactive virtual try onNadia Magnenat-Thalmann, Pascal Volino, Bart Kevelham, Mustafa Kasap, Qui Tran, Marlene Arevalo-Poizat, Ghana Priya, Nedjma Cadi-Yazli. vr 2011: 263-264 [doi]

SIG participatifs et développement. L expérience de la réforme foncière malgacheCécile Martignac, André Teyssier, Pascal Thinon, Jean-Paul Cheylan. rig, 21(1):73-97, 2011. [doi]

Towards an indexing method to speed-up music retrievalBenjamin Martin, Pierre Hanna, Matthias Robine, Pascal Ferraro. sigir 2011: 1167-1168 [doi]

Indexing musical pieces using their major repetitionBenjamin Martin, Pierre Hanna, Matthias Robine, Pascal Ferraro. JCDL 2011: 153-156 [doi]

Render-time procedural per-pixel geometry generationJean-Eudes Marvie, Pascal Gautron, Patrice Hirtzlin, Gaël Sourimant. graphicsinterface 2011: 167-174 [doi]

Service hosting gateways: a platform for distributed service deployment in end user homesMartin May, Christophe Diot, Pascal Le Guyadec, Fabio Picconi, Joris Roussel, Augustin Soule. sigcomm 2011: 476-477 [doi]

Certifying algorithmsRoss M. McConnell, Kurt Mehlhorn, Stefan Näher, Pascal Schweitzer. csr, 5(2):119-161, 2011. [doi]

An anytime multistep anticipatory algorithm for online stochastic combinatorial optimizationLuc Mercier, Pascal Van Hentenryck. anor, 184(1):233-271, 2011. [doi]

Corrigendum to Narrow band region-based active contours and surfaces for 2D and 3D segmentation [Computer Vision and Image Understanding 113 (2009) 946-965]Julien Mille, Romuald Boné, Pascal Makris, Hubert Cardot. cviu, 115(2):286, 2011. [doi]

Guest Editorial: Wireless multimedia transmission technology and applicationGabriel-Miro Muntean, Pascal Frossard, Haohong Wang, Yan Zhang, Liang Zhou. mms, 17(4):247-249, 2011. [doi]

Post-processing hierarchical community structures: Quality improvements and multi-scale viewPascal Pons, Matthieu Latapy. TCS, 412(8-10):892-900, 2011. [doi]

Closing the Gap: Improved Bounds on Optimal POMDP SolutionsPascal Poupart, Kee-Eung Kim, DongHo Kim. aips 2011: [doi]

Analyzing and Escaping Local Optima in Planning as Inference for Partially Observable DomainsPascal Poupart, Tobias Lang, Marc Toussaint. pkdd 2011: 613-628 [doi]

Deriving Good LDPC Convolutional Codes from LDPC Block CodesAli Emre Pusane, Roxana Smarandache, Pascal O. Vontobel, Daniel J. Costello Jr.. TIT, 57(2):835-857, 2011. [doi]

The Bayesian inference of phaseAnthony Quinn, Jean-Pierre Barbot, Pascal Larzabal. icassp 2011: 4276-4279 [doi]

Optimisation of Concentrating Solar Thermal Power Plants with Neural NetworksPascal Richter, Erika Ábrahám, Gabriel Morin. icannga 2011: 190-199 [doi]

Optimizing hybrid transactional memory: the importance of nonspeculative operationsTorvald Riegel, Patrick Marlier, Martin Nowack, Pascal Felber, Christof Fetzer. spaa 2011: 53-64 [doi]

Higher Order Contractive Auto-EncoderSalah Rifai, Grégoire Mesnil, Pascal Vincent, Xavier Muller, Yoshua Bengio, Yann Dauphin, Xavier Glorot. pkdd 2011: 645-660 [doi]

Mixed reality for supporting office devices troubleshootingFrédéric Roulland, Stefania Castellani, Pascal Valobra, Victor Ciriza, Jacki O Neill, Ye Deng. vr 2011: 175-178 [doi]

Linear Local Models for Monocular Reconstruction of Deformable SurfacesMathieu Salzmann, Pascal Fua. pami, 33(5):931-944, 2011. [doi]

WHISPER: Middleware for Confidential Communication in Large-Scale NetworksValerio Schiavoni, Etienne Riviere, Pascal Felber. icdcs 2011: 456-466 [doi]

Depth of Field Effects for Interactive Direct Volume RenderingMathias Schott, A. V. Pascal Grosset, Tobias Martin, Vincent Pegoraro, Sean T. Smith, Charles D. Hansen. cgf, 30(3):941-950, 2011. [doi]

Decomposition tool for event-BRenato Silva, Carine Pascal, Thai Son Hoang, Michael Butler. SPE, 41(2):199-208, 2011. [doi]

A classification of dynamic multi-objective optimization problemsAlexandru-Adrian Tantar, Emilia Tantar, Pascal Bouvry. gecco 2011: 105-106 [doi]

Load balancing for sustainable ICTAlexandru-Adrian Tantar, Emilia Tantar, Pascal Bouvry. gecco 2011: 733-738 [doi]

Dithering by Differences of Convex FunctionsTanja Teuber, Gabriele Steidl, Pascal Gwosdek, Christian Schmaltz, Joachim Weickert. siamis, 4(1):79-108, 2011. [doi]

Particle swarm optimization: Hybridization perspectives and experimental illustrationsRadha Thangaraj, Millie Pant, Ajith Abraham, Pascal Bouvry. amc, 217(12):5208-5226, 2011. [doi]

Compressed classification of observation sets with linear subspace embeddingsDorina Thanou, Pascal Frossard. icassp 2011: 1353-1356 [doi]

Dense disparity estimation from linear measurementsVijayaraghavan Thirumalai, Pascal Frossard. icassp 2011: 837-840 [doi]

Prioritized Distributed Video Delivery With Randomized Network CodingNikolaos Thomos, Jacob Chakareski, Pascal Frossard. tmm, 13(4):776-787, 2011. [doi]

Dictionary Learning for Stereo Image RepresentationIvana Tosic, Pascal Frossard. TIP, 20(4):921-934, 2011. [doi]

Automated Reconstruction of Dendritic and Axonal Trees by Global Optimization with Geometric PriorsEngin Türetken, Germán González, Christian Blum, Pascal Fua. ni, 9(2-3):279-302, 2011. [doi]

Towards Real-Time Control of Gene Expression: Controlling the Hog Signaling CascadeJannis Uhlendorf, Samuele Bottani, François Fages, Pascal Hersen, Grégory Batt. psb 2011: 338-349 [doi]

Conditional inter-departure times from the ::::M::::/::::G::::/::::s:::: queueCasper Veeger, Yoav Kerner, Pascal Etman, Ivo Adan. questa, 68(3-4):353-360, 2011. [doi]

Improving Shape Depiction under Arbitrary RenderingRomain Vergne, Romain Pacanowski, Pascal Barla, Xavier Granier, Christophe Schlick. tvcg, 17(8):1071-1081, 2011. [doi]

A Connection Between Score Matching and Denoising AutoencodersPascal Vincent. neco, 23(7):1661-1674, 2011. [doi]

Approximation of pattern transformation manifolds with parametric dictionariesElif Vural, Pascal Frossard. icassp 2011: 977-980 [doi]

Silent Reading of Direct versus Indirect Speech Activates Voice-selective Areas in the Auditory CortexBo Yao, Pascal Belin, Christoph Scheepers. jocn, 23(10):3146-3152, 2011. [doi]

Symmetry Breaking via LexLeader Feasibility CheckersJustin Yip, Pascal Van Hentenryck. IJCAI 2011: 687-692 [doi]

Identifying Patterns in Sequences of VariablesAlessandro Zanarini, Pascal Van Hentenryck. cpaior 2011: 246-251 [doi]

On the Practicality of UHF RFID Fingerprinting: How Real is the RFID Tracking Problem?Davide Zanetti, Pascal Sachs, Srdjan Capkun. pet 2011: 97-116 [doi]

Speech recognitionwith segmental conditional random fields: A summary of the JHU CLSP 2010 Summer WorkshopGeoffrey Zweig, Patrick Nguyen, Dirk Van Compernolle, Kris Demuynck, Les E. Atlas, Pascal Clark, Gregory Sell, Meihong Wang, Fei Sha, Hynek Hermansky, Damianos Karakos, Aren Jansen, Samuel Thomas, Sivaram G. S. V. S., Sam Bowman, Justine T. Kao. icassp 2011: 5044-5047 [doi]

PreviousNext