Search results for "type"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Ben Bellamy, Pavel Avgustinov, Oege de Moor, Damien Sereni	Efficient local type inference.	OOPSLA	2008	DBLP DOI BibTeX RDF	program analysis, type inference
17	Brigitte Pientka	A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions.	POPL	2008	DBLP DOI BibTeX RDF	type system, logical frameworks
17	Lucia Acciai, Michele Boreale	A Type System for Client Progress in a Service-Oriented Calculus.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF	type systems, service-oriented computing, pi-calculus, process calculi
17	Moha'med O. Al-Jaafreh, Adel Ali Al-Jumaily	Type-2 Fuzzy System Based Blood Pressure Parameters Estimation.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF	Type-2 Fuzzy System, photo-plethysmography, Heart rate, Blood Pressure
17	Per Andersson, Robert Granat, Isak Jonsson, Bo Kågström	Parallel Algorithms for Triangular Periodic Sylvester-Type Matrix Equations.	Euro-Par	2008	DBLP DOI BibTeX RDF	Periodic Sylvester-type matrix equations, Bartels-Stewart’s method, explicit blocking, RECSY, SCASY, level-3 BLAS, ScaLAPACK, condition estimation
17	Adele H. Marshall, Barry Shaw	Modeling the Survival of Hip Fracture Patients Using a Conditional Phase-Type Distribution.	CBMS	2008	DBLP DOI BibTeX RDF	Length of stay, Survival Distributions, Conditional phase-type distributions, Bayesian networks
17	Ryo Oguchi, Yasuaki Kakehi, Keita Takahashi 0001, Takeshi Naemura	Photonastic surface: pin matrix type display controlled with light.	Advances in Computer Entertainment Technology	2008	DBLP DOI BibTeX RDF	PVLC projector, pin matrix type 3D form display
17	Antonio Toledo-Lopez, Francisco J. Gallegos Funes, Volodymyr I. Ponomaryov	Vector Median M-Type L Filter to Process Multichannel Images.	CIARP	2008	DBLP DOI BibTeX RDF	Median M-Type L algorithm, Multichannel image processing, Impulsive noise suppression
17	Manuel Montenegro, Ricardo Pena, Clara Segura	A type system for safe memory management and its proof of correctness.	PPDP	2008	DBLP DOI BibTeX RDF	safe memory deallocation, type systems
17	Cédric Fournet, Andrew D. Gordon 0001, Sergio Maffeis	A type discipline for authorization policies.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Authorization, type systems, process calculus, spi calculus
17	Kohei Honda 0001, Nobuko Yoshida	A uniform type structure for secure information flow.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	The ?-calculus, type-based program analysis, typing system, secure information flow
17	John M. Prager, Sarah Luger, Jennifer Chu-Carroll	Type nanotheories: a framework for term comparison.	CIKM	2007	DBLP DOI BibTeX RDF	term comparison, type systems, question answering
17	Haijian Zhou, Ping Luo, Daoshun Wang, Yiqi Dai	Cryptanalysis of General Lu-Lee Type Systems.	Inscrypt	2007	DBLP DOI BibTeX RDF	Lu-Lee type systems, cryptanalysis, lattice reduction
17	Georg Jung, John Hatcliff	A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures.	GPCE	2007	DBLP DOI BibTeX RDF	CADENA, component oriented development, type system, CALM
17	Saurabh Srivastava 0001, Michael Hicks 0001, Jeffrey S. Foster	Modular information hiding and type-safe linking for C.	TLDI	2007	DBLP DOI BibTeX RDF	C, information hiding, type-safety, module systems
17	José A. Moreno-Escobar, Francisco J. Gallegos Funes, Volodymyr I. Ponomaryov	Median M-Type Radial Basis Function Neural Network.	CIARP	2007	DBLP DOI BibTeX RDF	Rank M-type estimators, Neural Networks, Radial Basis Functions
17	Maria Emilia Maietti	Quotients over Minimal Type Theory.	CiE	2007	DBLP DOI BibTeX RDF	Dependent type theory, quotient completion, intuitionistic logic
17	Weidong Zhao, Weihui Dai, Chunbin Tang	K-Centers Algorithm for Clustering Mixed Type Data.	PAKDD	2007	DBLP DOI BibTeX RDF	K-centers algorithm, mixed type data, Cluster analysis, centroid
17	Xiao-Qin Cao, Jia Zeng, Hong Yan 0001	Modeling Uncertain Speech Sequences Using Type-2 Fuzzy Hidden Markov Models.	PCM	2007	DBLP DOI BibTeX RDF	Uncertain speech sequences, babble noise, hidden Markov models, type-2 fuzzy sets
17	Norihiro Ogata	Formal Ontology of 'Cultures' and 'Ethnic Groups' Based on Type Theory and Functional Programming.	IWIC	2007	DBLP DOI BibTeX RDF	Formal Cultural Ontology, qualia, ethnic group, Functional Programming, culture, Type Theory
17	Chris Barker, Chung-chieh Shan	Types as Graphs: Continuations in Type Logical Grammar.	J. Log. Lang. Inf.	2006	DBLP DOI BibTeX RDF	type-logical grammar, resource sensitivity, polarity licensing, superiority, evaluation order, continuations, binding, quantification, staging, delimited continuations
17	Robert Granat, Isak Jonsson, Bo Kågström	Recursive Blocked Algorithms for Solving Periodic Triangular Sylvester-Type Matrix Equations.	PARA	2006	DBLP DOI BibTeX RDF	Sylvester-type matrix equations, periodic matrix equations, recursion, blocking, superscalar, level 3 BLAS
17	Robin Adams 0001, Zhaohui Luo	Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory.	TYPES	2006	DBLP DOI BibTeX RDF	logic-enriched type theory, predicativism, formalisation
17	Olli Vertanen	Java Type Confusion and Fault Attacks.	FDTC	2006	DBLP DOI BibTeX RDF	type confusion, Java, embedded systems, fault attacks, Java Card
17	Gregorio de Miguel Casado, Juan Manuel García Chamizo	The Role of Algebraic Models and Type-2 Theory of Effectivity in Special Purpose Processor Design.	CiE	2006	DBLP DOI BibTeX RDF	Theoretical VLSI design, Type-2 Theory of Effectivity, Integral transforms, Algebraic specification, Convolution, Online-arithmetic
17	Cormac Flanagan, Stephen N. Freund, Marina Lifshin	Type inference for atomicity.	TLDI	2005	DBLP DOI BibTeX RDF	concurrency, reduction, type inference, atomicity
17	Andreas Abel 0001, Marcin Benke, Ana Bove, John Hughes 0001, Ulf Norell	Verifying haskell programs using constructive type theory.	Haskell	2005	DBLP DOI BibTeX RDF	GHC core, monadic translation, verification, haskell, type theory, partiality
17	Masakiyo Miyazawa	A Markov Renewal Approach to M/G/1 Type Queues with Countably Many Background States.	Queueing Syst. Theory Appl.	2004	DBLP DOI BibTeX RDF	M/G/1 type queue, ladder height, Markov renewal theorem, hitting probability, decay rate, duality, stationary distribution, Markov additive process
17	Karel Píska	Creating Type 1 Fonts from METAFONT Sources.	TEX, XML, and Digital Typography	2004	DBLP DOI BibTeX RDF	font conversion, bitmap fonts, outline fonts, Type 1 fonts, Bézier curves, approximation, PostScript
17	Ion Constantinescu, Boi Faltings, Walter Binder	Type based service composition.	WWW (Alternate Track Papers & Posters)	2004	DBLP DOI BibTeX RDF	large scale discovery, runtime non-determinism, type based composition, web services, partial matches
17	Jonathan Edwards, Daniel Jackson 0001, Emina Torlak	A type system for object models.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	ZOCL, relational logic, vacuity detection, type systems, specification languages, object models, alloy
17	YongSup Shin, Jongsung Kim, Guil Kim, Seokhie Hong, Sangjin Lee 0002	Differential-Linear Type Attacks on Reduced Rounds of SHACAL-2.	ACISP	2004	DBLP DOI BibTeX RDF	Differential-Linear Type Attacks, SHACAL-2, Block Cipher
17	Stanislava S. Stoilova	Applications of Price Functions and Haar Type Functions to the Numerical Integration.	NAA	2004	DBLP DOI BibTeX RDF	Good lattice points, Price functions, Haar type functions, Estimation of the error, Numerical integration
17	Markku Siermala, Martti Juhola, Mauno Vihinen	On Postprocessing of Neural Network Prediction of Polyproline Type II Secondary Structures: Network Spectrum, Response Analysis, and Scattering.	Neural Comput. Appl.	2003	DBLP DOI BibTeX RDF	Analysis of prediction results, Polyproline type II, Postprocessing of neural network results, Neural networks, Protein secondary structures
17	Ederlina G. Nocon	On the Construction of Some Type II Codes over Z4×Z4.	Des. Codes Cryptogr.	2003	DBLP DOI BibTeX RDF	Type II codes, squareness property, flattened and deflattened form of codes, duality, self-dual codes
17	Yong-Jin Liu, Matthew Ming-Fai Yuen, Kai Tang 0001	Manifold-guaranteed out-of-core simplification of large meshes with controlled topological type.	Vis. Comput.	2003	DBLP DOI BibTeX RDF	Out-of-core mesh simplification, Two-manifold meshes, Controlled topological type, Large data
17	Seokjin Lee, Hua Xiang 0001, D. F. Wong 0001, Richard Y. Sun	Wire type assignment for FPGA routing.	FPGA	2003	DBLP DOI BibTeX RDF	min-cost flow algorithm, wire type assignment, FPGA routing
17	Leaf Petersen, Robert Harper 0001, Karl Crary, Frank Pfenning	A type theory for memory allocation and data layout.	POPL	2003	DBLP DOI BibTeX RDF	ordered logic, memory management, type theory, data representation
17	Derek Dreyer, Karl Crary, Robert Harper 0001	A type system for higher-order modules.	POPL	2003	DBLP DOI BibTeX RDF	modularity, generativity, abstract data types, type theory, computational effects, singleton types, functors
17	Isak Jonsson, Bo Kågström	RECSY - A High Performance Library for Sylvester-Type Matrix Equations.	Euro-Par	2003	DBLP DOI BibTeX RDF	Sylvester-type matrix equations, RECSY, recursion, superscalar, LAPACK, level 3 BLAS, GEMM-based, SLICOT, automatic blocking
17	Jidong Wang, Hua-Jun Zeng, Zheng Chen 0001, Hongjun Lu, Li Tao, Wei-Ying Ma	ReCoM: reinforcement clustering of multi-type interrelated data objects.	SIGIR	2003	DBLP DOI BibTeX RDF	interrelated, multi-type, clustering, reinforcement
17	Futoshi Iwama, Naoki Kobayashi 0001	A new type system for JVM lock primitives.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	bytecode verifier, Java, type system, lock
17	Jean-Paul Bodeveix, Mamoun Filali	Type Synthesis in B and the Translation of B to PVS.	ZB	2002	DBLP DOI BibTeX RDF	semantics, type theory, PVS, logical frameworks, B
17	Won Jay Song, Byung-Ha Ahn	Secure Transmission of the Prescription Order Communication System Based on the Internet and the Public-Key Infrastructure Using Master Smart Cards in the 2-Way Type Terminal.	HICSS	2002	DBLP DOI BibTeX RDF	2-Way Type Terminal, Internet, Digital Signature, Smart Card, Public-Key Infrastructure, Healthcare Information System
17	Francisco Gutiérrez, Blas C. Ruiz	A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene.	LOPSTR	2002	DBLP DOI BibTeX RDF	lambda calculus with types, pure type systems, cut elimination, sequent calculi
17	B. B. Chaudhuri 0001, Utpal Garain	Extraction of type style-based meta-information from imaged documents.	Int. J. Document Anal. Recognit.	2001	DBLP DOI BibTeX RDF	Meta-information, Type style, Font size, Information retrieval, OCR
17	Tom Chiu, DongPing Fang 0001, John Chen, Yao Wang, Christopher Jeris	A robust and scalable clustering algorithm for mixed type attributes in large database environment.	KDD	2001	DBLP DOI BibTeX RDF	Mixed type of attributes, log-likelihood, clustering, noisy data, number of clusters
17	Dan Grossman, J. Gregory Morrisett, Steve Zdancewic	Syntactic type abstraction.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	proof techniques, syntactic proofs, type abstraction, operational semantics, parametricity
17	Siu-Long Lei, Xiao-Qing Jin	Strang-Type Preconditioners for Differential-Algebraic Equations.	NAA	2000	DBLP DOI BibTeX RDF	GMRES method, Strang-type block-circulant preconditioner, clustered spectrum, BVMs AMS(MOS) Subject Classifications: 65F10, 65N22, convergence rate, ODEs, 65F15, 65L05, 15A18, DAEs
17	Lutz Prechelt, Walter F. Tichy	A Controlled Experiment to Assess the Benefits of Procedure Argument Type Checking.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	quality, productivity, controlled experiment, defects, Type checking
17	W. Homer Carlisle	Type Checking Concurrent I/O.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	process communication, parallel programming, concurrency, traces, type checking, event recognition
17	François Baccelli, Serguei Foss	Ergodicity of Jackson-type queueing networks.	Queueing Syst. Theory Appl.	1994	DBLP DOI BibTeX RDF	Ordered directed graph, Euler graphs, Euler ordered directed graph, switching sequence, open Jackson-type queueing network, Euler network, conservation rule, departure and throughput processes, first and second-order ergodic properties, subadditive ergodic theorem, solidarity property, stochastic recursive sequences, stationary solution, coupling-convergence, uniqueness of the stationary regime, composition, decomposition, point processes
17	Steven Awodey, Florian Rabe 0001	Kripke Semantics for Martin-Löf's Extensional Type Theory.	TLCA	2009	DBLP DOI BibTeX RDF
17	Nathalie Aubrun, Marie-Pierre Béal	Decidability of Conjugacy of Tree-Shifts of Finite Type.	ICALP (1)	2009	DBLP DOI BibTeX RDF
17	Babak Ahmadi, Marios Hadjieleftheriou, Thomas Seidl 0001, Divesh Srivastava, Suresh Venkatasubramanian	Type-based categorization of relational attributes.	EDBT	2009	DBLP DOI BibTeX RDF
17	Hak-Keung Lam, Lakmal D. Seneviratne	Stability Analysis of Interval Type-2 Fuzzy-Model-Based Control Systems.	IEEE Trans. Syst. Man Cybern. Part B	2008	DBLP DOI BibTeX RDF
17	Simon Coupland, Robert I. John	A Fast Geometric Method for Defuzzification of Type-2 Fuzzy Sets.	IEEE Trans. Fuzzy Syst.	2008	DBLP DOI BibTeX RDF
17	Simon Coupland, Robert I. John	Type-2 Fuzzy Logic and the Modelling of Uncertainty.	Fuzzy Sets and Their Extensions: Representation, Aggregation and Models	2008	DBLP DOI BibTeX RDF
17	Naoki Kobayashi 0001, Davide Sangiorgi	A Hybrid Type System for Lock-Freedom of Mobile Processes.	CAV	2008	DBLP DOI BibTeX RDF
17	Ana Bove, Venanzio Capretta	A Type of Partial Recursive Functions.	TPHOLs	2008	DBLP DOI BibTeX RDF
17	Tobias Gedell, Daniel Hedin	Abstract Interpretation Plugins for Type Systems.	AMAST	2008	DBLP DOI BibTeX RDF
17	Mehdi Chehel Amirani, Mohsen Toorani, Ali Asghar Beheshti Shirazi	A new approach to content-based file type detection.	ISCC	2008	DBLP DOI BibTeX RDF
17	Naoki Kobayashi 0001	Substructural Type Systems for Program Analysis.	FLOPS	2008	DBLP DOI BibTeX RDF
17	Oscar Castillo 0001, Patricia Melin	Computational intelligence software: Type-2 Fuzzy Logic and Modular Neural Networks.	IJCNN	2008	DBLP DOI BibTeX RDF
17	Denisse Hidalgo, Oscar Castillo 0001, Patricia Melin	Optimization with genetic algorithms of modular neural networks using interval type-2 fuzzy logic for response integration: The case of multimodal biometry.	IJCNN	2008	DBLP DOI BibTeX RDF
17	Hani Hagras, Faiyaz Doctor, Victor Callaghan, Antonio Lopez	An Incremental Adaptive Life Long Learning Approach for Type-2 Fuzzy Embedded Agents in Ambient Intelligent Environments.	IEEE Trans. Fuzzy Syst.	2007	DBLP DOI BibTeX RDF
17	Juan R. Castro 0001, Oscar Castillo 0001, Patricia Melin	An Interval Type-2 Fuzzy Logic Toolbox for Control Applications.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
17	Daisuke Kikuchi, Naoki Kobayashi 0001	Type-Based Verification of Correspondence Assertions for Communication Protocols.	APLAS	2007	DBLP DOI BibTeX RDF
17	Jia Zeng, Zhi-Qiang Liu	Type-2 Fuzzy Sets for Pattern Classification: A Review.	FOCI	2007	DBLP DOI BibTeX RDF
17	Sebastian Maneth, Thomas Perst, Helmut Seidl	Exact XML Type Checking in Polynomial Time.	ICDT	2007	DBLP DOI BibTeX RDF
17	Shan Shan Huang, David Zook, Yannis Smaragdakis	cJ: enhancing java with safe type conditions.	AOSD	2007	DBLP DOI BibTeX RDF	aspect-oriented programming, meta-programming, language extensions
17	Oscar Castillo 0001, Patricia Melin, Janusz Kacprzyk, Witold Pedrycz	Type-2 Fuzzy Logic: Theory and Applications.	GrC	2007	DBLP DOI BibTeX RDF
17	H. B. Mitchell	Ranking Type-2 Fuzzy Numbers.	IEEE Trans. Fuzzy Syst.	2006	DBLP DOI BibTeX RDF
17	Övünç Öztürk, Tugba Özacar, Murat Osman Ünalir	Reducing the Inferred Type Statements with Individual Grouping Constructs.	ISWC	2006	DBLP DOI BibTeX RDF
17	Haibin Shen, Jimin Wang, Lingdi Ping, Kang Sun	Securing C Programs by Dynamic Type Checking.	ISPEC	2006	DBLP DOI BibTeX RDF
17	George C. Necula, Jeremy Condit, Matthew Harren, Scott McPeak, Westley Weimer	CCured: type-safe retrofitting of legacy software.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	pointer qualifier, libraries, subtyping, Memory safety
17	Mayur Naik, Jens Palsberg	A Type System Equivalent to a Model Checker.	ESOP	2005	DBLP DOI BibTeX RDF
17	Mitsuyo Hashida, Kenzi Noike, Noriko Nagata, Haruhiro Katayose	On Cognition of Musical Grouping: Relationship Between the Listeners' Schema Type and Their Musical Preference.	ICEC	2005	DBLP DOI BibTeX RDF
17	Chi-Hsu Wang, Chun-Sheng Cheng, Tsu-Tian Lee	Dynamical optimal training for interval type-2 fuzzy neural network (T2FNN).	IEEE Trans. Syst. Man Cybern. Part B	2004	DBLP DOI BibTeX RDF
17	Kwanghoon Choi 0001, Atsushi Ohori	A Type Theory for Krivine-Style Evaluation and Compilation.	APLAS	2004	DBLP DOI BibTeX RDF
17	Jia Zeng, Zhi-Qiang Liu	Type-2 Fuzzy Hidden Markov Models to Phoneme Recognition.	ICPR (1)	2004	DBLP DOI BibTeX RDF
17	Fuhua Jiang, Zhiyi Li, Yan-Qing Zhang 0001	Hybrid Type-1-2 Fuzzy Systems for Surface Roughness Control.	WSC	2004	DBLP DOI BibTeX RDF
17	Cormac Flanagan, Stephen N. Freund	Type Inference Against Races.	SAS	2004	DBLP DOI BibTeX RDF
17	Yasunori Ishihara, Yumi Shimakawa, Toru Fujiwara	Type Inferability and Decidability of the Security Problem Against Inference Attacks on Object-Oriented Databases.	ICICS	2004	DBLP DOI BibTeX RDF
17	Peter Buneman, Wenfei Fan, Scott Weinstein	Interaction between path and type constraints.	ACM Trans. Comput. Log.	2003	DBLP DOI BibTeX RDF	types, integrity constraints, semistructured data, implication
17	Jorge Coelho 0001, Mário Florido	Type-Based XML Processing in Logic Programming.	PADL	2003	DBLP DOI BibTeX RDF
17	Hongwei Xi	Applied Type System: Extended Abstract.	TYPES	2003	DBLP DOI BibTeX RDF
17	Patrick Lam 0001, Martin C. Rinard	A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information.	ECOOP	2003	DBLP DOI BibTeX RDF
17	Cormac Flanagan, Shaz Qadeer	A type and effect system for atomicity.	PLDI	2003	DBLP DOI BibTeX RDF	multithreading, atomicity, race conditions, static checking
17	Jean-Claude Royer	An Operational Approach to the Semantics of Classes: Application to Type Checking.	Program. Comput. Softw.	2002	DBLP DOI BibTeX RDF
17	Vincent Balat, Olivier Danvy	Memoization in Type-Directed Partial Evaluation.	GPCE	2002	DBLP DOI BibTeX RDF
17	Karl Crary, Joseph Vanderwaart	An expressive, scalable type theory for certified code.	ICFP	2002	DBLP DOI BibTeX RDF
17	Wook-Shin Han, Yang-Sae Moon, Kyu-Young Whang, Il-Yeol Song	Prefetching Based on Type-Level Access Pattern in Object-Relational DBMSs.	ICDE	2001	DBLP DOI BibTeX RDF
17	Olivier Raynaud, Eric Thierry	A Quasi Optimal Bit-Vector Encoding of Tree Hierarchies. Application to Efficient Type Inclusion Tests.	ECOOP	2001	DBLP DOI BibTeX RDF
17	Pramod G. Joisha, Prithviraj Banerjee	Correctly detecting intrinsic type errors in typeless languages such as MATLAB.	APL	2001	DBLP DOI BibTeX RDF	APL, MATLAB
17	James Heather, Gavin Lowe, Steve A. Schneider	How to Prevent Type Flaw Attacks on Security Protocols.	CSFW	2000	DBLP DOI BibTeX RDF
17	John Hughes 0001	The Correctness of Type Specialisation.	ESOP	2000	DBLP DOI BibTeX RDF
17	Norbert Völker	Disjoint Sums over Type Classes in HOL.	TPHOLs	1999	DBLP DOI BibTeX RDF
17	Markus Kradolfer, Andreas Geppert	Dynamic Workflow Schema Evolution Based on Workflow Type Versioning and Workflow Migration.	CoopIS	1999	DBLP DOI BibTeX RDF	workflow evolution, workflow migration, workflow management
17	Barbara König 0001	Generating Type Systems for Process Graphs.	CONCUR	1999	DBLP DOI BibTeX RDF