Skip to Main content Skip to Navigation

hal-00002166v2  Journal articles
Grégory MouniéChristophe RapineDenis Trystram. A 3/2-Dual Approximation Algorithm for Scheduling Independent Monotonic Malleable Tasks
SIAM Journal on Computing, Society for Industrial and Applied Mathematics, 2007, 37 (2), pp.401--412. ⟨10.1137/S0097539701385995⟩
inria-00000598v1  Journal articles
Hervé BrönnimannOlivier DevillersSylvain LazardFrank Sottile. Lines tangent to four triangles in three-dimensional space
Discrete and Computational Geometry, Springer Verlag, 2007, 37 (3), pp.369-380. ⟨10.1007/s00454-006-1278-3⟩
inria-00000873v1  Journal articles
Alain RapaportFrédéric GrognardFrederic Mazenc. Polytopic Lyapunov functions for persistence analysis of competing species
Discrete and Continuous Dynamical Systems - Series B, American Institute of Mathematical Sciences, 2007, 8 (1), pp.73-93. ⟨10.3934/dcdsb.2007.8.73⟩
inria-00000940v1  Journal articles
Rémi DouencePascal Fradet. The next 700 Krivine Machines
Higher-Order and Symbolic Computation, Springer Verlag, 2007, 20 (3), pp.237-255. ⟨10.1007/s10990-007-9016-y⟩
inria-00001264v1  Conference papers
Alin BostanFrédéric ChyzakFrançois OllivierBruno SalvyÉric Schost et al.  Fast computation of power series solutions of systems of differential equations
2007 ACM-SIAM Symposium on Discrete Algorithms, ACM-SIAM, Jan 2007, New Orleans, Louisiana, United States. pp.1012-1021
inria-00070316v1  Journal articles
R. DoucA. GuillinJean-Michel MarinC.P. Robert. Minimum variance importance sampling via Population Monte Carlo
ESAIM: Probability and Statistics, EDP Sciences, 2007, pp.427-447
inria-00070522v1  Journal articles
R. DoucA. GuillinJean-Michel MarinC.P. Robert. Convergence of adaptive sampling schemes
Annals of Statistics, Institute of Mathematical Statistics, 2007, 35 (1), pp.420-448
inria-00070571v1  Journal articles
W.S. KendallJean-Michel MarinC.P. Robert. Brownian Confidence Bands on Monte Carlo Output
Statistics and Computing, Springer Verlag (Germany), 2007, 17 (1), pp.1-10
inria-00086981v2  Reports
Frédéric HavetRoss KangTobias MüllerJean-Sébastien Sereni. Circular Choosability
[Research Report] RR-5957, INRIA. 2007, pp.33
inria-00088406v2  Journal articles
Wim MartensJoachim Niehren. On the Minimization of XML-Schemas and Tree Automata for Unranked Trees
Journal of Computer and System Sciences, Elsevier, 2007, Journal of Computer and System Science, 73 (4), pp.550-583. ⟨10.1016/j.jcss.2006.10.021⟩
inria-00093326v1  Conference papers
Jean-Pierre Merlet. A local planner for closed-loop robot
IEEE ICRA, Apr 2007, Rome
inria-00094787v1  Journal articles
Katrin ErkJoachim Niehren. Dominance Constraints in Stratified Context Unification
Information Processing Letters, Elsevier, 2007, 101 (4), pp.141-147. ⟨10.1016/j.ipl.2006.09.009⟩
inria-00097395v1  Journal articles
Gilles BartheLeonor Prensa Nieto. Secure Information Flow for a Concurrent Language with Scheduling
Journal of Computer Security, IOS Press, 2007, Formal Methods in Security Engineering Workshop (FMSE 04), 16 (6), pp.647 - 689
inria-00105440v1  Journal articles
Hervé JégouChristine Guillemot. Entropy coding with variable-length rewriting systems
IEEE Transactions on Communications, Institute of Electrical and Electronics Engineers, 2007, 55 (3), pp.444-452. ⟨10.1109/TCOMM.2006.887490⟩
inria-00112065v1  Journal articles
Eunyoung KangStephan Merz. Predicate Diagrams for the Verification of Real-Time Systems
Formal Aspects of Computing, Springer Verlag, 2007, 19 (3), pp.401-413. ⟨10.1007/s00165-007-0030-y⟩
inria-00112681v1  Conference papers
Nicolas BaskiotisMichèle SebagMarie-Claude GaudelSandrine-Dominique Gouraud. A Machine Learning approach for Statistical Software Testing
Twentieth International Joint Conference on Artificial Intelligence, Jan 2007, Hyderabad, India
inria-00116936v2  Conference papers
Manuel LothPhilippe PreuxManuel Davy. A Unified View of TD Algorithms; Introducing Full-Gradient TD and Equi-Gradient Descent TD
European Symposium on Artificial Neural Networks, Apr 2007, Bruges, Belgium, Belgium
inria-00117075v1  Conference papers
Manuel LothManuel DavyPhilippe Preux. Sparse Temporal Difference Learning using LASSO
IEEE International Symposium on Approximate Dynamic Programming and Reinforcement Learning, Apr 2007, Hawaï, USA, United States
ensl-00117386v1  Conference papers
Jérémie DetreyFlorent de DinechinXavier Pujol. Return of the hardware floating-point elementary function
18th Symposium on Computer Arithmetic, Jun 2007, Montpellier, France. pp.161-168
inria-00118309v1  Conference papers
Sabine BarratAntoine Tabbone. A progressive learning method for symbols recognition
22nd Annual ACM Symposium on Applied Computing - SAC 2007, Mar 2007, Seoul, South Korea. pp.627-631
inria-00118903v1  Journal articles
Julien Narboux. A Graphical User Interface for Formal Proofs in Geometry.
Journal of Automated Reasoning, Springer Verlag, 2007, Special Issue on User Interfaces in Theorem Proving, 39 (2), pp.161-180. ⟨10.1007/s10817-007-9071-4⟩
inria-00118983v1  Journal articles
Olivier BuffetAlain DutechFrançois Charpillet. Shaping Multi-Agent Systems with Gradient Reinforcement Learning
Autonomous Agents and Multi-Agent Systems, Springer Verlag, 2007, 15 (2), pp.197--220. ⟨10.1007/s10458-006-9010-5⟩
inria-00119491v1  Conference papers
Bernard GirauAmine Boumaza. Embedded harmonic control for dynamic trajectory planning on FPGA
The IASTED International Conference on Artificial Intelligence and Apllications - AIA 2006, Feb 2007, Innsbruck, Australia
inria-00119254v2  Conference papers
Nicolas BrisebarreGuillaume Hanrot. Floating-Point $L^2$-Approximations
18th IEEE Symposium in Computer Arithmetic, Jun 2007, Montpellier, France. pp.177-186, ⟨10.1109/ARITH.2007.38⟩
inria-00119513v2  Conference papers
Nicolas BrisebarreSylvain Chevillard. Efficient polynomial $L^{\infty}$-approximations
18th IEEE Symposium on Computer Arithmetic, Jun 2007, Montpellier, France. pp.169-176, ⟨10.1109/ARITH.2007.17⟩
inria-00119600v2  Journal articles
Simon MalinowskiHervé JégouChristine Guillemot. Synchronization recovery and state model reduction for soft decoding of variable length codes
IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2007, 53 (1), pp.368 - 377. ⟨10.1109/TIT.2006.887512⟩
inria-00120991v1  Conference papers
Alexandre Sedoglavic. Reduction of Algebraic Parametric Systems by Rectification of their Affine Expanded Lie Symmetries
Algebraic Biology 2007, Jul 2007, RISC, Castle of Hagenberg, Austria, Austria. pp.277-291, ⟨10.1007/978-3-540-73433-8_20⟩