Search results for "type"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Mauricio A. Sanchez, Oscar Castillo 0001, Juan R. Castro 0001	Generalized Type-2 Fuzzy Systems for controlling a mobile robot and a performance comparison with Interval Type-2 and Type-1 Fuzzy Systems.	Expert Syst. Appl.	2015	DBLP DOI BibTeX RDF
15	Ahmet Sakalli, Tufan Kumbasar, Engin Yesil, Hani Hagras	Analysis of the performances of type-1, self-tuning type-1 and interval type-2 fuzzy PID controllers on the Magnetic Levitation system.	FUZZ-IEEE	2014	DBLP DOI BibTeX RDF
15	Samuel Spiza, Stefan Hanenberg	Type names without static type checking already improve the usability of APIs (as long as the type names are correct): an empirical study.	MODULARITY	2014	DBLP DOI BibTeX RDF
15	Francisco Chiclana, Shang-Ming Zhou	Type-Reduction of General Type-2 Fuzzy Sets: The Type-1 OWA Approach.	Int. J. Intell. Syst.	2013	DBLP DOI BibTeX RDF
15	Xianbin Wu, Weiguo Rui, Xiaochun Hong	Exact Traveling Wave Solutions of Explicit Type, Implicit Type, and Parametric Type for K(m, n) Equation.	J. Appl. Math.	2012	DBLP DOI BibTeX RDF
15	Sarah Greenfield, Francisco Chiclana	Type-reduction of the discretised interval type-2 fuzzy set: What happens as discretisation becomes finer?	T2FUZZ	2011	DBLP DOI BibTeX RDF
15	Mojtaba Ahmadieh Khanesar, Erdal Kayacan, Mohammad Teshnehlab, Okyay Kaynak	Levenberg marquardt algorithm for the training of type-2 fuzzy neuro systems with a novel type-2 fuzzy membership function.	T2FUZZ	2011	DBLP DOI BibTeX RDF
15	Ana Belén Cara, Ignacio Rojas, Héctor Pomares, Christian Wagner 0002, Hani Hagras	On comparing non-singleton type-1 and singleton type-2 fuzzy controllers for a nonlinear servo system.	T2FUZZ	2011	DBLP DOI BibTeX RDF
15	Carmel Gafa, Simon Coupland	A new recursive type-reduction procedure for general type-2 fuzzy sets.	T2FUZZ	2011	DBLP DOI BibTeX RDF
15	Nazanin Sahab, Hani Hagras	A type-2 nonsingleton type-2 fuzzy logic system to handle linguistic and numerical uncertainties in real world environments.	T2FUZZ	2011	DBLP DOI BibTeX RDF
15	Stevo Stevic, Sei-Ichiro Ueki	On an integral-type operator between weighted-type spaces and Bloch-type spaces on the unit ball.	Appl. Math. Comput.	2010	DBLP DOI BibTeX RDF
15	Gerardo M. Mendez, María de los Angeles Hernandez M.	Interval type-1 non-singleton type-2 fuzzy logic systems are type-2 adaptive neuro-fuzzy inference systems.	Int. J. Reason. based Intell. Syst.	2010	DBLP DOI BibTeX RDF
15	Gerardo M. Mendez, María de los Angeles Hernandez M., Alberto Cavazos, Marco-Tulio Mata-Jiménez	Type-1 Non-singleton Type-2 Takagi-Sugeno-Kang Fuzzy Logic Systems Using the Hybrid Mechanism Composed by a Kalman Type Filter and Back Propagation Methods.	HAIS (1)	2010	DBLP DOI BibTeX RDF
15	Songxiao Li, Stevo Stevic	Integral-type operators from Bloch-type spaces to Zygmund-type spaces.	Appl. Math. Comput.	2009	DBLP DOI BibTeX RDF
15	Gerardo M. Mendez, María de los Angeles Hernandez Medina	Hybrid Interval Type-1 Non-singleton Type-2 Fuzzy Logic Systems Are Type-2 Adaptive Neuro-fuzzy Inference Systems.	Evolutionary Design of Intelligent Systems in Modeling, Simulation and Control	2009	DBLP DOI BibTeX RDF
15	Adriaan Moors	Type Constructor Polymorphism for Scala: Theory and Practice (Type constructor polymorfisme voor Scala: theorie en praktijk) ; Type Constructor Polymorphism for Scala: Theory and Practice.		2009	RDF
15	Andreas Abel 0001, Thorsten Altenkirch	A Partial Type Checking Algorithm for Type: Type.	MSFP@ICALP	2008	DBLP DOI BibTeX RDF
15	Yutaka Kondoh, Shinichi Yokota	Movable electrode-type ER actuators (proposal of linear-type and rotary-type METERA).	IROS	1999	DBLP DOI BibTeX RDF
15	Erik Palmgren	A Construction of Type: Type in Martin-Löf's Partial Type Theory with One Universe.	J. Symb. Log.	1991	DBLP DOI BibTeX RDF
15	Anne-Marie Laurian	Machine Translation : What Type Of Post-Editing On What Type Of Documents For What Type Of Users.	COLING	1984	DBLP BibTeX RDF
15	Jean Yang 0001, Chris Hawblitzel	Safe to the last instruction: automated verification of a type-safe operating system.	PLDI	2010	DBLP DOI BibTeX RDF	verification, operating system, type safety, run-time system
15	Naofumi Katada, Haruhiko Nishimura	Stochastic Resonance in Recurrent Neural Network with Hopfield-Type Memory.	Neural Process. Lett.	2009	DBLP DOI BibTeX RDF	Hopfield-type memory, Neural network, Noise, Stochastic
15	Md. Faisal Mahbub Chowdhury, Matteo Negri	Expected Answer Type Identification from Unprocessed Noisy Questions.	FQAS	2009	DBLP DOI BibTeX RDF	answer type, EAT identification, unprocessed question, noisy question, supervised approach, speech transcript
15	Nabil El Boustani, Jurriaan Hage	Improving type error messages for generic java.	PEPM	2009	DBLP DOI BibTeX RDF	compilers, type checking, java generics, error reporting
15	Margarita E. Gómez-Mayorga, Francisco J. Gallegos Funes, José Manuel de la Rosa-Vázquez, Rene Cruz-Santiago, Volodymyr I. Ponomaryov	Diagnosis of Cervical Cancer Using the Median M-Type Radial Basis Function (MMRBF) Neural Network.	MICAI	2009	DBLP DOI BibTeX RDF	Median M-type Radial Basis Function neural network, Cervical cancer cell, Pap smear
15	Guoliang Li 0001, Shengyue Ji, Chen Li 0001, Jianhua Feng	Efficient type-ahead search on relational data: a TASTIER approach.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	query prediction, type-ahead search, keyword search
15	Jianqin Wang, Qiankun Song	Passivity Analysis of Neural Networks with Time-Varying Delays of Neutral Type.	ISNN (1)	2009	DBLP DOI BibTeX RDF	Neutral type, Neural networks, Passivity, Time-varying delays
15	Jianfeng Wang, Jigui Jian, Peng Yan	Finite-Time Boundedness Analysis of a Class of Neutral Type Neural Networks with Time Delays.	ISNN (1)	2009	DBLP DOI BibTeX RDF	Finite time boundness, Neutral type, Neural network, Linear matrix inequality, Time-delay
15	Rui Qin, Yankui Liu, Zhi-Qiang Liu, Guoli Wang	Modeling Fuzzy DEA with Type-2 Fuzzy Variable Coefficients.	ISNN (2)	2009	DBLP DOI BibTeX RDF	Relative efficiency, Decision-making units, Type-2 fuzzy variable, Data envelopment analysis, Reduction method
15	Bryan Chadwick, Karl J. Lieberherr	A type system for functional traversal-based aspects.	FOAL	2009	DBLP DOI BibTeX RDF	adaptive programming, functional aspects, traversals, type soundness
15	Hsein-Ping Kew, Do-Un Jeong	Wearable patch-type ECG using ubiquitous wireless sensor network for healthcare monitoring application.	ICIS	2009	DBLP DOI BibTeX RDF	Zigbee-compatible wireless sensor node, r-peak detection, wearable patch-type ECG, ubiquitous
15	Hong-qin Zhang, Song-lin Yang, Yong-cheng An, Jun-jie Zhao, Wu-xing He	Information processing of the hull structure oriented to ship structure knowledge-type military specification.	ICIS	2009	DBLP DOI BibTeX RDF	TRIBON, hull structure, knowledge-type military specification, XML
15	Jacqueline B. Magness, Elizabeth A. Roslewicz	An innovative myers-briggs type indicator educational experience used in an information technology capstone course.	SIGITE Conference	2009	DBLP DOI BibTeX RDF	it capstone, myers-briggs type indicator
15	Tugrul Dayar, Akin Meriç	Kronecker representation and decompositional analysis of closed queueing networks with phase-type service distributions and arbitrary buffer sizes.	Ann. Oper. Res.	2008	DBLP DOI BibTeX RDF	Phase-type service distribution, Kronecker representation, Multilevel method, Closed queueing network, Network decomposition, Fixed-point iteration
15	Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani	A type system for data-flow integrity on Windows Vista.	ACM SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	data-flow integrity, hybrid type system, explicit substitution, dynamic access control
15	Young A. Park, Ulrike Gretzel	Investigating the Effects of Product Type on Online Decision-Making Styles.	ENTER	2008	DBLP DOI BibTeX RDF	decision-making styles, product type, online shopping, accommodations
15	Zsolt Saffer, Miklós Telek	Analysis of BMAP/G/1 Vacation Model of Non-M/G/1-Type.	EPEW	2008	DBLP DOI BibTeX RDF	BMAP, M/G/1-type process, queueing theory, vacation model
15	Philipp Reinecke, Katinka Wolter	Phase-Type Approximations for Message Transmission Times in Web Services Reliable Messaging.	SIPEW	2008	DBLP DOI BibTeX RDF	WSRM, Modelling, Queueing Model, Phase-Type Distributions, Response Time Analysis, Distribution Fitting
15	Dag Hovland	A Type System for Usage of Software Components.	TYPES	2008	DBLP DOI BibTeX RDF	Component Usage, Process Model, Type System, Parallel Execution, Component Software
15	Kazem Taghva, Jason Vergara	Feature Selection for Document Type Classification.	ITNG	2008	DBLP DOI BibTeX RDF	document type, OCR, text categorization, document classification
15	Tao Li 0021, Sarabjot S. Anand	Labeling Nodes of Automatically Generated Taxonomy for Multi-type Relational Datasets.	DaWaK	2008	DBLP DOI BibTeX RDF	Multi-type, Taxonomy, Hierarchical Clustering, Relational
15	Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp, Andreas P. Priesnitz	A comparison of c++ concepts and haskell type classes.	ICFP-WGP	2008	DBLP DOI BibTeX RDF	specification-driven development, c++, haskell, generic programming, concepts, type classes
15	Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani	A type system for data-flow integrity on windows vista.	PLAS	2008	DBLP DOI BibTeX RDF	data-flow integrity, hybrid type system, explicit substitution, dynamic access control
15	Wei Zhong, Rick Chow, Richard Stolz, Jieyue He, Marsha Dowell	Hierarchical Clustering Support Vector Machines for Classifying Type-2 Diabetes Patients.	ISBRA	2008	DBLP DOI BibTeX RDF	Type-2 Diabetes, Classification, Support Vector Machines, Hierarchical Clustering, Clustering Algorithm
15	Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cédric Miachon	Pattern by example: type-driven visual programming of XML queries.	PPDP	2008	DBLP DOI BibTeX RDF	functional programming, type systems, visual programming, database programming languages
15	Kaoru Inoue, Kazuyoshi Wada, Yuko Ito	Effective Application of Paro: Seal Type Robots for Disabled People in According to Ideas of Occupational Therapists.	ICCHP	2008	DBLP DOI BibTeX RDF	Mental Commit Robot, Robot Therapy, Seal type Robot, Human-Robot Interaction, disabled people, Occupational Therapy
15	Zhibin Xue, Jian Chao Zeng	A Novel Exponential Type Swarming of Foraging and Obstacle-Avoidance Behaviour Modelling and Simulating Research on Collective Motion in Multi-obstacle Environment.	ISICA	2008	DBLP DOI BibTeX RDF	exponential type swarm model, collective motion, numerical imitation, collision-eluding obstacles, aggregating behavior, stability
15	Kiyoshi Oka, Akihiro Naganawa, Hiromasa Yamashita, Tetsuya Nakamura, Toshio Chiba	Composite-Type Optical Fiberscope for Laser Surgery for Twin-to-Twin Transfusion Syndrome.	MIAR	2008	DBLP DOI BibTeX RDF	Fetoscopic surgery, Yb fiber laser ablation, Composite-type optical fiberscope
15	Alberto Ciaffaglione, Luigi Liquori, Marino Miculan	Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	Functional and imperative object-calculi, Logical foundations of programming, Coinductive type theories, Logical frameworks, Interactive theorem proving
15	Joseph Gil, Yoav Zibin	Efficient dynamic dispatching with type slicing.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	CT (compact dispatch tables), type slicing, hierarchy, subtyping, message, incremental, dispatch, dynamic-typing
15	Stephen Tse, Steve Zdancewic	Run-time principals in information-flow type systems.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Decentralized label model, dynamic principals, run-time principals, security-typed language, type systems, information-flow, soundness, noninterference
15	Sunghoi Huh, Seung-Eun Yang, Kwang-Hyun Park, Jun-Hyeong Do, Hyoyoung Jang, Z. Zenn Bien	Adaptive Type-2 Fuzzy Logic for Intelligent Home Environment.	Analysis and Design of Intelligent Systems using Soft Computing Techniques	2007	DBLP DOI BibTeX RDF	Adaptive type-2 fuzzy logic, human friendly robot, gesture recognition system, intelligent system
15	Tao Li 0021, Sarabjot S. Anand	Diva: a variance-based clustering approach for multi-type relational data.	CIKM	2007	DBLP DOI BibTeX RDF	multi-type, clustering, relational
15	Fiona Fui-Hoon Nah, Weiyin Hong, Liqiang Chen, Hong-Hee Lee	An Examination of Online Product Comparison Service: Fit Between Product Type and Disposition Style.	HCI (4)	2007	DBLP DOI BibTeX RDF	Cognitive fit, product comparison service, product type, presentation format, e-commerce websites
15	Kwang-Hyung Lee, Tae-Jeong Jang	A Study on a Stereoscopic Display System Using a Rotary Disk Type Beam Shutter.	HCI (8)	2007	DBLP DOI BibTeX RDF	beam projectors, rotary disk type beam shutter, shutter glasses, stereo vision, stereoscopic display
15	Gábor Horváth 0002, Miklós Telek	A Canonical Representation of Order 3 Phase Type Distributions.	EPEW	2007	DBLP DOI BibTeX RDF	Moment Bounds, Phase Type Distribution, Canonical Form
15	Derek Dreyer	A type system for recursive modules.	ICFP	2007	DBLP DOI BibTeX RDF	type systems, recursion, abstract data types, modules
15	Keke Cai, Chun Chen 0001, Jiajun Bu, Guang Qiu	Type-Based Query Expansion for Sentence Retrieval.	International Conference on Computational Science (1)	2007	DBLP DOI BibTeX RDF	query type identification, query expansion, Sentence retrieval
15	Prabhanjan Kambadur, Douglas P. Gregor, Andrew Lumsdaine	Parallelization of Generic Libraries Based on Type Properties.	International Conference on Computational Science (1)	2007	DBLP DOI BibTeX RDF	Type Properties, Parallel Algorithms, Specialization
15	Nick Benton, Uri Zarfaty	Formalizing and verifying semantic type soundness of a simple compiler.	PPDP	2007	DBLP DOI BibTeX RDF	relational para-metricity, separation logic, proof assistants, compiler verification, type soundness
15	Oyun-Erdene Namsrai, Keun Ho Ryu	Characterizing Pseudobase and Predicting RNA Secondary Structure with Simple H-Type Pseudoknots Based on Dynamic Programming.	ADMA	2007	DBLP DOI BibTeX RDF	Pseudobase, H-type pseudo-knots, dynamic programming, RNA secondary structure prediction
15	Simon Oblak, Igor Skrjanc	A Comparison of Fuzzy and CPWL Approximations in the Continuous-time Nonlinear Model-predictive Control of Time-delayed Wiener-type Systems.	J. Intell. Robotic Syst.	2006	DBLP DOI BibTeX RDF	continuous systems, nonlinear predictive control, piece-wise linear functions, Wiener-type model, fuzzy systems, time-delayed systems
15	Zongben Xu, Jianjun Wang 0003	The essential order of approximation for nearly exponential type neural networks.	Sci. China Ser. F Inf. Sci.	2006	DBLP DOI BibTeX RDF	nearly exponential type neural networks, the essential order of approximation, the modulus of smoothness of a multivariate function
15	Robert Granat, Bo Kågström	Parallel Algorithms and Condition Estimators for Standard and Generalized Triangular Sylvester-Type Matrix Equations.	PARA	2006	DBLP DOI BibTeX RDF	Sylvester-type matrix equations, triangular matrix equations, Bartels-Stewart’s method, explicit blocking, 2D block-cyclic data distribution, level 3 BLAS, ScaLAPACK, condition estimation
15	Aleksandar Nanevski, Greg Morrisett, Lars Birkedal	Polymorphism and separation in hoare type theory.	ICFP	2006	DBLP DOI BibTeX RDF	type theory, hoare logic, separation logic
15	Katia Hristova, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller	Efficient type inference for secure information flow.	PLAS	2006	DBLP DOI BibTeX RDF	security, algorithm, information flow, time complexity, type inference
15	Hiroaki Yano, Keita Komine, Hiroo Iwata	Development of a High-resolution Surface Type Haptic interface for Rigidity Distribution Rendering.	HAPTICS	2006	DBLP DOI BibTeX RDF	rigidity distribution, surface type haptic interface, palpation, haptics
15	Alina Andreica	Implementing Parameterized Type Algorithm Definitions in Mathematica.	SYNASC	2006	DBLP DOI BibTeX RDF	parameterized type definitions, generic algorithms in symbolic computation, category theory
15	Shitong Wang 0001, Fu-Lai Chung, Y. Y. Li, Dewen Hu, Xisheng Wu	A new gaussian noise filter based on interval type-2 fuzzy logic systems.	Soft Comput.	2005	DBLP DOI BibTeX RDF	Neural networks, Image-processing, Filter, Gaussian noise, Type-2 fuzzy sets, Fuzzy logic systems
15	Zhenming Chen, Vikas Singh, Jinhui Xu 0001	Efficient Job Scheduling Algorithms with Multi-Type Contentions.	J. Comb. Optim.	2005	DBLP DOI BibTeX RDF	multi-type contentions, approximation algorithm, job scheduling, OBS networks
15	Oswin Aichholzer, Hannes Krasser	Abstract order type extension and new results on the rectilinear crossing number.	SCG	2005	DBLP DOI BibTeX RDF	pseudoline arrangement, rectilinear crossing number, complete graph, order type
15	Jean-Louis Colaço, Marc Pouzet	Type-based initialization analysis of a synchronous dataflow language.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Synchronous dataflow languages, Type systems with subtyping, Program analysis, Lustre
15	Vitaly Surazhsky, Joseph Gil	Type-safe covariance in C++.	SAC	2004	DBLP DOI BibTeX RDF	C++, templates, type safety, covariance
15	Vincent Balat, Roberto Di Cosmo, Marcelo P. Fiore	Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums.	POPL	2004	DBLP DOI BibTeX RDF	Grothendieck logical relations, strong sums, type-directed partial evaluation, typed lambda calculus, normalisation
15	Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu	Extending sized type with collection analysis.	PEPM	2003	DBLP DOI BibTeX RDF	collection analysis, mixed constraints, sized type, polymorphism, fix-point
15	Frank Tip, Adam Kiezun, Dirk Bäumer	Refactoring for generalization using type constraints.	OOPSLA	2003	DBLP DOI BibTeX RDF	program analysis, refactoring, subtyping, class hierarchy, type constraints
15	Shih-Jie Chang, Tzuu-Hseng S. Li	Design and Implementation of Fuzzy Parallel-Parking Control for a Car-Type Mobile Robot.	J. Intell. Robotic Syst.	2002	DBLP DOI BibTeX RDF	parallel parking, car-type mobile robot, fuzzy logic control, real-time implementation
15	Claes Eskilsson, Spencer J. Sherwin	A Discontinuous Spectral Element Model for Boussinesq-Type Equations.	J. Sci. Comput.	2002	DBLP DOI BibTeX RDF	discontinuous spectral element method, Boussinesq-type equations
15	Tim Sheard, Nathan Linger	Search-based binding time analysis using type-directed pruning.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	type-directed search, staging, binding time analysis
15	David G. Clarke, Sophia Drossopoulou	Ownership, encapsulation and the disjointness of type and effect.	OOPSLA	2002	DBLP DOI BibTeX RDF	aliasing, encapsulation, ownership types, type-and-effects systems
15	Alma Riska, Evgenia Smirni	Exact aggregate solutions for M/G/1-type Markov processes.	SIGMETRICS	2002	DBLP DOI BibTeX RDF	M/G/1-type processes, Markov chains, aggregation, matrix analytic method
15	Yuval Kochman, Ram Zamir	Adaptive Parametric Vector Quantization by Natural Type Selection.	DCC	2002	DBLP DOI BibTeX RDF	universal/adaptive compression, Blahut-Arimoto algorithm, Lempel-Ziv coding, Natural Type Selection, backward adaptation, types, vector quantization, rate-distortion, alternating optimization
15	Sarunas Raudys, Ausra Saudargiene	First-Order Tree-Type Dependence between Variables and Classification Performance.	IEEE Trans. Pattern Anal. Mach. Intell.	2001	DBLP DOI BibTeX RDF	First-order tree-type dependence, classification, generalization, dimensionality, sample size, a priori information
15	Katsushi Matsuda, Toshikazu Fukushima	Task-Oriented World Wide Web Retrieval by Document Type Classification.	CIKM	1999	DBLP DOI BibTeX RDF	document type, information retrieval, classification, WWW
15	Lih-Chang Lin, Tzong-En Lee	Integrated PID-type Learning and Fuzzy Control for Flexible-joint Manipulators.	J. Intell. Robotic Syst.	1997	DBLP DOI BibTeX RDF	flexible-joint robot, model-free control, PID-type learning, fuzzy control
15	Murali Sitaraman, Bruce W. Weide, William F. Ogden	On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	abstraction function, abstraction mapping, abstraction relation, formal specification, program verification, greedy algorithm, Abstract data type, relation, nondeterminism, optimization problem, data abstraction
15	Wei Zhang, Fredrik Bergholm	Multi-Scale Blur Estimation and Edge Type Classification for Scene Analysis.	Int. J. Comput. Vis.	1997	DBLP DOI BibTeX RDF	edge classification, blur estimation, edge attribute estimation, edge type, signatures, scale space, junctions, depth-from-focus
15	Dirk Dussart, John Hughes, Peter Thiemann 0001	Type Specialization for Imperative Languages.	ICFP	1997	DBLP DOI BibTeX RDF	program transformation, type systems, monads, specialisation
15	Andrzej Stajniak, Jaroslaw Szostakowski	Neural implementation of ARMA type filters for image restoration.	ICIP	1995	DBLP DOI BibTeX RDF	autoregressive moving average processes, ARMA type filters, neural implementation, autoregressive moving average, blur system, nonlinear characteristics, learning patterns, neural networks, parallel processing, parallel processing, noise, noise, image restoration, image restoration, neural net, multilayer perceptrons, multilayer perceptron, backpropagation, backpropagation, filtering theory, roundoff errors, roundoff errors, IIR filters, IIR filter, image deblurring
15	Walter Gautschi	Algorithm 726; ORTHPOL - a package of routines for generating orthogonal polynomials and Gauss-type quadrature rules.	ACM Trans. Math. Softw.	1994	DBLP DOI BibTeX RDF	Gauss-type quadratic rules, orthogonal polynomials
15	Mou-Yen Chen, Amlan Kundu 0001, Jian Zhou	Off-Line Handwritten Word Recognition Using a Hidden Markov Model Type Stochastic Network.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	off-line handwritten word recognition, hidden Markov model type stochastic network, totally unconstrained handwritten word recognition, heuristics based segmentation algorithm, image segmentation, hidden Markov models, character recognition, mathematical morphology, morphology, heuristic programming, Viterbi algorithm, training algorithm, signal detection
15	Edward P. C. Kao	Using state reduction for computing steady state vectors in Markov chains ofM/G/1 type.	Queueing Syst. Theory Appl.	1992	DBLP DOI BibTeX RDF	Markov chains ofM/G/1 type, numerical solutions, state reduction
15	Leen Helmink	Resolution and Type Theory.	ESOP	1990	DBLP DOI BibTeX RDF	Calculus of Constructions, Type Theory, Natural Deduction, Typed Lambda Calculus
15	F. Keith Hanna, Neil Daeche, Mark Longley	Veritas+: A Specification Language Based on Type Theory.	Hardware Specification, Verification and Synthesis	1989	DBLP DOI BibTeX RDF	Formal verification, Specification languages, Type theory
15	Hwee Keong Lam, Zujun Hou, Wei-Yun Yau, Tai Pang Chen, Jun Li 0005, K. Y. Sim	Reference Point Detection for Arch Type Fingerprints.	ICB	2009	DBLP DOI BibTeX RDF
15	Robert L. Bocchino Jr., Vikram S. Adve, Danny Dig, Sarita V. Adve, Stephen Heumann, Rakesh Komuravelli, Jeffrey Overbey, Patrick Simmons, Hyojin Sung, Mohsen Vakilian	A type and effect system for deterministic parallel Java.	OOPSLA	2009	DBLP DOI BibTeX RDF	deterministic parallelism, determinism, effects, commutativity, effect systems
15	Ken-etsu Fujita, Aleksy Schubert	Existential Type Systems with No Types in Terms.	TLCA	2009	DBLP DOI BibTeX RDF
15	Daan Leijen	Flexible types: robust type inference for first-class polymorphism.	POPL	2009	DBLP DOI BibTeX RDF	first-class polymorphism, system f, mlf
15	Rachid Guerraoui, Petr Kouznetsov	Failure detectors as type boosters.	Distributed Comput.	2008	DBLP DOI BibTeX RDF
15	Tobias Siebert, Christian Rode, Walter Herzog, Olaf Till, Reinhard Blickhan	Nonlinearities make a difference: comparison of two common Hill-type models with real muscle.	Biol. Cybern.	2008	DBLP DOI BibTeX RDF