注册 | 登录 | FAQ      [?] 

所有的文献@标签 linear [242 articles]

当前文献的标签分类为: linear.
  • notes An Easy to Use Implementation of Linear Perturbations within CGAL
    Algorithm Engineering (1999), pp. 169-182.
    by Jochen Comes, Mark Ziegelmann
    posted to cgal degeneracy geometry libraries linear perturbations by yodha on 2008-06-18 11:02:46 as read
  • Linear algebra operators for GPU implementation of numerical algorithms
    (2005)
    by Jens Krüger, Rüdiger Westermann
    posted to algebra algorithms gpu linear by yodha on 2007-10-12 01:41:06 as **** along with 1 person shantanu
  • Efficient text chunking using linear kernel with masked method
    Knowledge-Based Systems, Vol. 20, No. 3. (April 2007), pp. 209-219.
    by Yu-Chieh Wu, Chia-Hui Chang
    posted to chunking linear svm by yoavg on 2007-04-25 14:17:03 as ** along with 1 person and 1 group kvorg NLP
  • A Simple Shortest Path Algorithm with Linear Average Time
    Lecture Notes in Computer Science, Vol. 2161 (2001), pp. 230-??.
    by Andrew V Goldberg
    posted to average goldberg linear sp time by yildizca on 2007-05-23 17:14:56 as *** along with 3 people A_Olympia ima coldtortuga
  • Morphable Models for the Analysis and Synthesis of Complex Motion Patterns
    International Journal of Computer Vision, Vol. 38, No. 1. (1 June 2000), pp. 59-73.
    by Martin A Giese, Tomaso Poggio
    posted to analysis linear morphable pattern space spatial superposition time by wellnair on 2007-10-31 10:02:58 as ** along with 3 people and 1 group alexduschau acaprez yangxian Rehabilitation_Engineering
  • Modeling Sensorimotor Learning with Linear Dynamical Systems
    Neural Computation, Vol. 18, No. 4. (April 2006), pp. 760-793.
    by Sen Cheng, Philip N Sabes
    posted to linear model state by vinidlidoo on 2007-08-31 19:15:39 as read along with 6 people rpadams balicea memphisphil zhihui42 JohnSchlerf sen_cheng
  • Improving the Search Algorithm for the Best Linear Expression
    Lecture Notes in Computer Science, Vol. 963 (1995)
    by Kazuo Ohta, Shiho Moriai, Kazumaro Aoki
    posted to expression linear search by vikie on 2008-06-10 03:25:53 as ****
  • Parametric linear programming techniques for the indefnite quadratic programming problem
    IMA J Management Math, Vol. 4, No. 4. (1 January 1992), pp. 343-349.
    by Luis N Vicente, Joaquim J Judice, Panos M Pardalos
    posted to linear multiplicative programming quadratic by vgoyal on 2008-05-19 18:55:58 as ****
  • Categorical Models for Intuitionistic and Linear Type Theory
    Lecture Notes in Computer Science, Vol. 1784 (2000)
    by Maria E Maietti, Valeria de Paiva, Eike Ritter
    posted to categorical linear logic by vcvpaiva on 2005-11-19 17:01:55 as read
  • Glueing and orthogonality for models of linear logic
    by M Hyland, A Schalk
    posted to categorical linear logic by vcvpaiva on 2005-12-27 21:45:54 as read
  • Categorical Multirelations, Linear Logic and Petri Nets
    (May MarchJanuary 1991)
    by V de Paiva
    posted to linear logic nets petri by vcvpaiva on 2005-11-19 17:01:15 as read
  • A Formulation of Linear Logic Based on Dependency-Relations
    by Torben Brauner, Valeria de Paiva
    posted to full-intuitionistic linear logic by vcvpaiva on 2005-11-19 16:48:40 as read
  • A Constructive Game Semantics for the Language of Linear Logic
    Annals of Pure and Applied Logic, Vol. 85, No. 2. (1997), pp. 87-156.
    by Giorgi Japaridze
    posted to linear logic by vcvpaiva on 2006-01-16 16:03:56 as ***
  • Rewriting properties of combinators for intuitionistic linear logic
    (1994)
    by M Nesi, V de Paiva, E Ritter
    posted to combinators intuitionistic linear logic own by vcvpaiva on 2005-11-19 17:14:25 as read
  • A dialectica model of state
    (1996)
    by M Correa, E Haeusler, V de Paiva
    posted to categorical linear logic by vcvpaiva on 2005-11-19 16:52:40 as read
  • Games on Graphs and Sequentially Realizable Functionals
    by M Hyland, A Schalk
    posted to categorical linear logic by vcvpaiva on 2005-12-27 21:48:21 as ***
  • Syntactic Multicategories and Categorical Combinators for Linear Logic
    (1993)
    by E Ritter, V de Paiva
    posted to categorical linear logic by vcvpaiva on 2005-11-19 17:11:51 as read along with 1 person and 1 group rgb pileWorks
  • Linear Explicit Subsitutions
    No. CSR-98-2. (March 1998)
    by Neil Ghani, Valeria de Paiva, Eike Ritter
    posted to explicit-subs linear logic by vcvpaiva on 2005-11-19 16:46:53 as read
  • Linear lambda-calculus and categorical models revisited
    (1993), pp. 61-84.
    by N Benton, G Bierman, V de Paiva, M Hyland
    edited by E Borgër, G Jagër, Kleine H Bunïng, S Martini, M Richter
    posted to linear logic own by vcvpaiva on 2005-11-19 16:45:11 as read
  • Proofs, Concurrent Objects, and Computations in a FILL Framework
    Vol. 1107 (1995), pp. 148-167.
    by D Galmiche, E Boudinet
    edited by J Briot, J Geib, A Yonezawa
    posted to full-intuitionistic linear logic by vcvpaiva on 2005-12-18 15:03:16 as ****
  • A Dialectica Model of the Lambek Calculus
    by Valeria de Paiva
    posted to linear logic by vcvpaiva on 2005-11-19 17:06:13 as read
  • Lineales: Algebraic Models of Linear Logic from a Categorical Perspective
    by Valeria de Paiva
    posted to algebraic linear logic by vcvpaiva on 2005-11-19 17:02:56 as read
  • A Term Calculus for Intuitionistic Linear Logic
    Vol. 664 (1993), pp. 75-90.
    by Nick Benton, Gavin Bierman, Valeria de Paiva, Martin Hyland
    edited by M Bezem, JF Groote
    posted to linear logic own by vcvpaiva on 2005-11-19 16:41:45 as read
  • Categorical glueing and logical predicates for models of linear logic
    (1999)
    by M Hasegawa
    posted to linear logic logical predicates by vcvpaiva on 2007-06-30 18:15:05 as **
  • Normalization Bounds in Rudimentary Linear Lambda Calculus
    by Maria E Maietti, Valeria de Paiva, Eike Ritter
    posted to linear logic by vcvpaiva on 2005-11-19 16:59:12 as read
  • Relating Categorical Semantics for Intuitionistic Linear Logic
    No. CSR-01-7. (2001)
    by Maria E Maietti, Paola Maneggia, Valeria de Paiva, Eike Ritter
    posted to categorical linear logic semantics by vcvpaiva on 2005-11-19 17:00:10 as read along with 1 person and 1 group mcclurmc Lambda the Ultimate
  • Intuitionistic Necessity Revisited
    No. CSR-96-10. (1996)
    by GM Bierman, Valeria de Paiva
    posted to linear logic modal own by vcvpaiva on 2005-11-19 16:42:39 as read
  • A Substructural Logic for Formal Verification
    by Sara Kalvala, Valeria de Paiva
    posted to linear logic by vcvpaiva on 2005-11-19 17:05:17 as read
  • Connection methods in linear logic and proof nets construction
    Theoretical Computer Science, Vol. 232, No. 1--2. (2000), pp. 231-272.
    by D Galmiche
    posted to full-intuitionistic linear logic by vcvpaiva on 2005-12-18 15:00:26 as ***
  • Poset-valued sets or How to build models for Linear Logics
    (2001)
    by A Schalk, V de Paiva
    posted to categorical linear logic by vcvpaiva on 2005-11-19 16:51:28 as read
  • Dialectica and Chu Constructions: Cousins?
    by Valeria de Paiva
    posted to categorical linear logic by vcvpaiva on 2005-11-19 16:55:26 as read
  • A Parigot-style Linear lambda-Calculus for Full Intuitionistic Linear Logic
    by Valeria de Paiva, Eike Ritter
    posted to categorical linear logic by vcvpaiva on 2005-11-19 16:55:59 as read
  • On proof normalization in linear logic
    Theoretical Computer Science, Vol. 135, No. 1. (1994), pp. 67-110.
    by Didier Galmiche, Guy Perrier
    posted to linear logic by vcvpaiva on 2005-11-24 16:00:20 as ****
  • Explicit substitution for linear logical frameworks
    by I Cervesato, V de Paiva, E Ritter
    posted to explicit-subs linear logic by vcvpaiva on 2005-11-19 17:07:30 as read
  • notes Linearly distributive functors
    (1996)
    by JRB Cockett, RAG Seely
    posted to functor linear by vcvpaiva on 2005-11-16 12:24:02 as ***
  • Some semantical aspects of linear logic
    (1996)
    by A Blass
    posted to algebraic categorical linear logic by vcvpaiva on 2006-01-16 16:01:28 as ** along with 2 people dmitri83 scis0000001
  • notes Least Angle Regression
    (2002)
    by B Efron, T Hastie, I Johnstone, R Tibshirani
    posted to l1 laplacian least linear prior regression regularization squares by varung on 2007-05-14 01:50:05 as read along with 3 people and 1 group rocksportrocker balajis jessopher dags
  • Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion
    by GM Bierman, AM Pitts, CV Russo
    posted to abadi linear logic operational parametricity plotkin relational semantics by varming on 2008-02-25 18:32:06 as read
  • Linear Programming and Extensions
    (03 August 1998)
    by George Dantzig
    posted to linear programming by tvolland on 2007-10-09 11:32:44 as **
  • Analytic approach to the linear susceptibility of zigzag carbon nanotubes
    Physical Review B (Condensed Matter and Materials Physics), Vol. 74, No. 15. (2006)
    by Abbas Zarifi, Thomas G Pedersen
    posted to carbon linear nanotubes susceptibility by troels on 2008-05-13 09:27:13 as read
  • On Regions and Linear Types
    (2001), pp. 181-192.
    by David Walker, Kevin Watkins
    posted to linear regions by tomatoplan on 2006-02-24 12:41:13 as *** along with 1 person tautologico
  • Shape From Shading Using Linear-Approximation
    IVC, Vol. 12, No. 8. (October 1994), pp. 487-498.
    by PS Tsai, M Shah
    posted to linear shading shape by tiomemo on 2007-07-13 21:44:01 as read
  • Shape Information From Shading: A Theory About Human Perception
    Computer Vision., Second International Conference on (1988), pp. 404-413.
    by A Pentland
    posted to linear shading shape by tiomemo on 2008-01-10 15:28:36 as **
  • Design and Use of Linear Models for Image Motion Analysis
    International Journal of Computer Vision, Vol. 36, No. 3. (1 February 2000), pp. 171-193.
    by David J Fleet, Michael J Black, Yaser Yacoob, Allan D Jepson
    posted to affine classification linear model motion by timotay on 2008-04-09 22:03:39 as **
  • Constrained receding horizon predictive control for nonlinear systems
    Decision and Control, 1999. Proceedings of the 38th IEEE Conference on, Vol. 4 (1999), pp. 3370-3375 vol.4.
    by YI Lee, B Kouvaritakis, M Cannon
    posted to linear non sysyem by techunleashed on 2008-07-17 18:23:21 as **
  • Analyzing oriented textures through phase portraits
    Pattern Recognition, 1990. Proceedings., 10th International Conference on, Vol. i (1990), pp. 336-340 vol.1.
    by AR Rao, R Jain
    posted to linear phase portraits by suri on 2006-12-11 13:47:14 as ****
  • Gene Selection for Cancer Classification using Support Vector Machines
    Mach. Learn., Vol. 46, No. 1-3. (2002), pp. 389-422.
    by Isabelle Guyon, Jason Weston, Stephen Barnhill, Vladimir Vapnik
    posted to feature-ranking feature-selection linear machine-learning supervised svm by sterovetta on 2008-01-16 15:39:05 as read along with 2 people sdvillal mmunson
  • Using Linear Algebra for Intelligent Information Retrieval
    No. UT-CS-94-270. (1994)
    by Michael W Berry, Susan T Dumais, Gavin W O'Brien
    posted to algebra information linear retrieval svd by sid137 on 2007-05-11 16:34:06 as **** along with 12 people A_Olympia pdlug arsyed mthomure sugarexpletive harshrc sflinter ehohman george_g navil imrchen fer
  • Quasi-Linear Types
    (1999), pp. 29-42.
    by Naoki Kobayashi
    posted to linear types by shinyak on 2007-12-24 14:55:01 as read along with 2 people and 1 group dherman robennals NU-PRL
  • Stability radii of linear systems
    Systems & Control Letters, Vol. 7, No. 1. (February 1986), pp. 1-10.
    by D Hinrichsen, AJ Pritchard
    posted to complex linear radius real stability system by sengelken on 2008-05-22 11:05:46 as ***
    • ◇温馨提示◇本页的引用地址为： http://www.citeulike.org/tag/linear

    Result page: 1 2 3 4 5 Next RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.