Search results for "type"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Haoyang Wu, Yuyuan Wu, Jinping Luo	An Interval Type-2 Fuzzy Rough Set Model for Attribute Reduction.	IEEE Trans. Fuzzy Syst.	2009	DBLP DOI BibTeX RDF
19	Peter LeFanu Lumsdaine	Weak omega-Categories from Intensional Type Theory.	TLCA	2009	DBLP DOI BibTeX RDF
19	Daisuke Kikuchi, Naoki Kobayashi 0001	Type-Based Automated Verification of Authenticity in Cryptographic Protocols.	ESOP	2009	DBLP DOI BibTeX RDF
19	Yen-Jen Chang, Yuan-Hong Liao	Hybrid-Type CAM Design for Both Power and Performance Efficiency.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
19	Hirosato Seki, Hiroaki Ishii, Masaharu Mizumoto	On the Generalization of Single Input Rule Modules Connected Type Fuzzy Reasoning Method.	IEEE Trans. Fuzzy Syst.	2008	DBLP DOI BibTeX RDF
19	Han Gao 0002, Chiara Bodei, Pierpaolo Degano	A Formal Analysis of Complex Type Flaw Attacks on Security Protocols.	AMAST	2008	DBLP DOI BibTeX RDF
19	Syrine Tlili, Mourad Debbabi	A novel flow-sensitive type and effect analysis for securing C code.	AICCSA	2008	DBLP DOI BibTeX RDF
19	George Kuan, David MacQueen, Robert Bruce Findler	A Rewriting Semantics for Type Inference.	ESOP	2007	DBLP DOI BibTeX RDF
19	Ching-Hung Lee, Yu-Ching Lin	Type-2 Fuzzy Neuro System Via Input-to-State-Stability Approach.	ISNN (2)	2007	DBLP DOI BibTeX RDF
19	Jun Xu 0001, Yunbo Cao, Hang Li 0001, Nick Craswell, Yalou Huang	Searching Documents Based on Relevance and Type.	ECIR	2007	DBLP DOI BibTeX RDF
19	Yalin Zheng, Xiaoping Zou, Ning Wang, Jing Zheng, Ji Ouyang	Knowledge Mass and Multiple Approximate Reasoning in Type I Topological Logic C1 T.	FSKD (1)	2007	DBLP DOI BibTeX RDF
19	Chung-Chih Li	Speed-Up Theorems in Type-2 Computation.	CiE	2007	DBLP DOI BibTeX RDF
19	Florian Haftmann, Makarius Wenzel	Constructive Type Classes in Isabelle.	TYPES	2006	DBLP DOI BibTeX RDF
19	Naoki Kobayashi 0001	Type-based information flow analysis for the pi-calculus.	Acta Informatica	2005	DBLP DOI BibTeX RDF
19	Henning Makholm, J. B. Wells	Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close.	ESOP	2005	DBLP DOI BibTeX RDF
19	Yalin Zheng, Changshui Zhang, Yinglong Xia	Type II Topological Logic C1T and Approximate Reasoning.	FSKD (1)	2005	DBLP DOI BibTeX RDF
19	Zhengyou Xia, Y. A. Hu, Jian Wang, Y. C. Jiang, X. L. Qin	Analyze and Guess Type of Piece in the Computer Game Intelligent System.	FSKD (2)	2005	DBLP DOI BibTeX RDF
19	Yanbin Luo, Chunjie Yang, Yongming Li 0001, Daoying Pi	Decomposition and Resolution of Fuzzy Relation Equations (II) Based on Boolean-Type Implications.	Australian Conference on Artificial Intelligence	2005	DBLP DOI BibTeX RDF
19	Wensi Xi, Benyu Zhang, Zheng Chen 0001, Yizhou Lu, Shuicheng Yan, Wei-Ying Ma, Edward A. Fox	Link fusion: a unified link analysis framework for multi-type interrelated data objects.	WWW	2004	DBLP DOI BibTeX RDF	link analysis algorithms, link fusion, information retrieval, data fusion
19	Andrea Bobbio, András Horváth, Miklós Telek	The Scale Factor: A New Degree of Freedom in Phase Type Approximation.	DSN	2002	DBLP DOI BibTeX RDF
19	Jens Palsberg	Type-based analysis and applications.	PASTE	2001	DBLP DOI BibTeX RDF
19	Ana Bove, Venanzio Capretta	Nested General Recursion and Partiality in Type Theory.	TPHOLs	2001	DBLP DOI BibTeX RDF
19	Mark Shields, Erik Meijer 0001	Type-indexed rows.	POPL	2001	DBLP DOI BibTeX RDF	XML, SGML
19	Atsushi Igarashi, Naoki Kobayashi 0001	A generic type system for the Pi-calculus.	POPL	2001	DBLP DOI BibTeX RDF
19	Daniel C. Wang, Andrew W. Appel	Type-preserving garbage collectors.	POPL	2001	DBLP DOI BibTeX RDF
19	Todd B. Knoblock, Jakob Rehof	Type Elaboration and Subtype Completion for Java Bytecode.	POPL	2000	DBLP DOI BibTeX RDF
19	Sophia Drossopoulou, Susan Eisenbach	Describing the Semantics of Java and Proving Type Soundness.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
19	Bratin Saha, Zhong Shao	Optimal Type Lifting.	Types in Compilation	1998	DBLP DOI BibTeX RDF
19	Vassily Litvinov	Contraint-Based Polymorphism in Cecil: Towards a Practical and Static Type System.	OOPSLA	1998	DBLP DOI BibTeX RDF
19	Douglas J. Howe	A Type Annotation Scheme for Nuprl.	TPHOLs	1998	DBLP DOI BibTeX RDF
19	Andrew K. Wright, Robert Cartwright	A Practical Soft Type System for Scheme.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	soft typing, SCHEME, run-time checks
19	Kim B. Bruce	Safe Type Checking in a Statically-Typed Object-Oriented Programming Language.	POPL	1993	DBLP DOI BibTeX RDF
19	Benjamin Goldberg, Michael Gloger	Polymorphic Type Reconstruction for Garbage Collection Without Tags.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF	ML
19	Ryan Stansifer	Type Inference with Subtypes.	POPL	1988	DBLP DOI BibTeX RDF
19	Peter Steenkiste, John L. Hennessy	Tags and Type Checking in Lisp: Hardware and Software Approaches.	ASPLOS	1987	DBLP DOI BibTeX RDF	LISP, RISC
19	Gregory F. Johnson, Janet A. Walz	A Maximum-Flow Approach to Anomaly Isolation in Unification-Based Incremental Type Inference.	POPL	1986	DBLP DOI BibTeX RDF
19	Alan Borning, Daniel H. H. Ingalls	A Type Declaration and Inference System for Smalltalk.	POPL	1982	DBLP DOI BibTeX RDF
19	Alan J. Demers, James E. Donahue	"Type-Completeness" as a Language Design Principle.	POPL	1980	DBLP DOI BibTeX RDF
19	Alan J. Demers, James E. Donahue	Data Types, Parameters, and Type Checking.	POPL	1980	DBLP DOI BibTeX RDF
18	Xiaohui Lu, Markus Schaal, Sibel Adali, Anand Kishore Raju	Detecting user types in object ranking decisions.	MEDES	2009	DBLP DOI BibTeX RDF	collaborative quality assessment, user type detection, user type model
18	Jung-Hoon Lee	Next High Performance and Low Power Flash Memory Package Structure.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	NAND-type, NOR-type, memory localities, buffer or cache memory, flash memory
18	Alcino Cunha, Joost Visser 0001	Transformation of structure-shy programs: applied to XPath queries and strategic functions.	PEPM	2007	DBLP DOI BibTeX RDF	XML query languages, algebraic program transformation, point-free program calculation, strategic functional programming, type generalization, type specialization
18	Ciprian Borcea, Xavier Goaoc, Sylvain Petitjean	Line transversals to disjoint balls.	SCG	2007	DBLP DOI BibTeX RDF	Hadwiger-type theorem, Helly-type theorem, disjoint balls, geometric transversal theory, convexity, lines, Hessian
18	Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren	A crash course on database queries.	PODS	2007	DBLP DOI BibTeX RDF	nested relational calculus, runtime error, typability, well-definedness, reflection, type system, type inference, XQuery, relational algebra
18	Ji-An Zhao, Bo Li 0001, Xi-Ren Cao, Ishfaq Ahmad	A matrix-analytic solution for the DBMAP/PH/1 priority queue.	Queueing Syst. Theory Appl.	2006	DBLP DOI BibTeX RDF	M/G/1-type Markov chain, Markovian arrival process, Matrix-analytic methods, Phase-type distribution
18	Marie Madeleine Derriennic	Shape preserving polynomial curves.	Adv. Comput. Math.	2004	DBLP DOI BibTeX RDF	preserving shape, blending system, totally positive system, Bézier-type curve, Bernstein-type polynomials, de la Vallée Poussin
18	Morten Rhiger	A foundation for embedded languages.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	phantom types, Haskell, completeness, Standard ML, type safety, higher-order abstract syntax, Embedded languages, type soundness
18	Viviana Bono, Michele Bugliesi, Silvia Crafa	Typed interpretations of extensible objects.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	Object calculus, computational adequacy, extensible object, typed encoding, type system, subtyping, type specialization
18	Alain Gibaud, Philippe Thomin	Communications Directed by Bound Types in Linda: Presentation and Formal Model.	IEEE Trans. Parallel Distributed Syst.	2002	DBLP DOI BibTeX RDF	Asynchronous parallelism, Linda model, directed communication, false matching, type scope, distributed application, distributed shared memory, type
18	Stefan Dieker, Ralf Hartmut Güting	Plug and Play with Query Algebras: SECONDO-A Generic DBMS Development Environment.	IDEAS	2000	DBLP DOI BibTeX RDF	plug-and-play, SECONDO, generic DBMS development environment, database systems implementation, second-order signature, query language definitions, algebra modules, type constructors, system frame, type registration, user commands, extensible system architecture, extensible query processing, database management systems, query languages, data models, extensibility, operators, query algebras, support functions, data definitions, system functionality
18	Fulu Li, Nabil Seddigh, Biswajit Nandy, Diego Matute	An Empirical Study of Today's Internet Traffic for Differentiated Services IP QoS.	ISCC	2000	DBLP DOI BibTeX RDF	Type of Service, Type of Application, Quality of Service, Differentiated Services, Internet Traffic
18	Dario Colazzo, Giorgio Ghelli	Subtyping Recursive Types in Kernel Fun.	LICS	1999	DBLP DOI BibTeX RDF	type theory and type systems, kernel Fun, subtyping, recursive types
18	Ivo G. Rosenberg	An Algebraic Approach to Hyperalgebras.	ISMVL	1996	DBLP DOI BibTeX RDF	hyperalgebras, hypergroups theory, universal-algebra type theory, nonvoid subsets, hyperclones, inclusion-isotone clones, subuniverses, algebra, type theory, Boolean algebra, Boolean algebra, congruences, algebraic approach
18	Theo J. Powell	Consistently dominant fault model for tristate buffer nets.	VTS	1996	DBLP DOI BibTeX RDF	buffer circuits, consistently dominant fault model, tristate buffer nets, floating type faults, contention type faults, MISR signature loss, test pattern compression, VLSI, fault diagnosis, logic testing, integrated circuit testing, fault detection, fault location, integrated logic circuits, multivalued logic circuits, ternary logic, stuck faults
18	Peter C. Lockemann, Heinrich C. Mayr, Wolfgang H. Weil, Wolfgang H. Wohlleber	Data Abstractions for Database Systems.	ACM Trans. Database Syst.	1979	DBLP DOI BibTeX RDF	data structure, specification, data model, abstract data type, database design, integrity constraints, data type, data abstraction, data manipulation language, database schema, database consistency, data definition language
18	Simon Coupland, Robert I. John	Geometric Type-1 and Type-2 Fuzzy Logic Systems.	IEEE Trans. Fuzzy Syst.	2007	DBLP DOI BibTeX RDF
18	Roberto Di Cosmo	Type Isomorphisms in a Type-Assignment Framework.	POPL	1992	DBLP DOI BibTeX RDF	ML
18	Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer	Implementing software product lines using traits.	SAC	2010	DBLP DOI BibTeX RDF	type system, software product line, feature model, trait, featherweight java
18	Jamaliah Taslim, Wan Adilah Wan Adnan, Noor Azyanti Abu Bakar	Investigating Children Preferences of a User Interface Design.	HCI (1)	2009	DBLP DOI BibTeX RDF	Interface type, Children, User interface design, Color, Preference
18	Aaron Stump, Morgan Deters, Adam Petcher, Todd Schiller, Timothy W. Simpson	Verified programming in Guru.	PLPV	2009	DBLP DOI BibTeX RDF	dependently typed programming, language-based verification, operational type theory
18	Malgorzata Biernacka, Dariusz Biernacki	Context-based proofs of termination for typed delimited-control operators.	PPDP	2009	DBLP DOI BibTeX RDF	reducibility predicates, type system, continuation-passing style, delimited continuations, reduction semantics
18	Yu Qiu, Hong Yang, Yan-Qing Zhang 0001, Yichuan Zhao	Polynomial regression interval-valued fuzzy systems.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Interval-valued fuzzy logic, Statistical interval-valued fuzzy reasoning, Fuzzy control, Type-2 fuzzy logic
18	Gilles Barthe, Salvador Cavadini, Tamara Rezk	Tractable Enforcement of Declassification Policies.	CSF	2008	DBLP DOI BibTeX RDF	type systems, declassification, information flow security
18	Arthur Charguéraud, François Pottier	Functional translation of a calculus of capabilities.	ICFP	2008	DBLP DOI BibTeX RDF	type systems, effects, monads, aliasing, linearity, capabilities, regions, ownership
18	Dong-Xi Liu	CSchema: A Downgrading Policy Language for XML Access Control.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	XML, access control, programming language, type system, security policy
18	Kenichi Asai, Yukiyoshi Kameyama	Polymorphic Delimited Continuations.	APLAS	2007	DBLP DOI BibTeX RDF	Predicative/Impredicative Polymorphism, Type System, Delimited Continuation, CPS Translation, Control Operator
18	Tetsuo Kamina, Tetsuo Tamai	Lightweight scalable components.	GPCE	2007	DBLP DOI BibTeX RDF	FGJ, pamily polymorphism, scalable java, type parameter members, parametric polymorphism
18	Dan Grossman	Quantified types in an imperative language.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	type variables, polymorphism, existential types, Cyclone
18	James Sasitorn, Robert Cartwright	Efficient first-class generics on stock Java virtual machines.	SAC	2006	DBLP DOI BibTeX RDF	Java implementation, custom class loader, first-class generics, type erasure, parametric polymorphism
18	Ranjit Jhala, Rupak Majumdar	Bit level types for high level reasoning.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	model checking, type inference, bit vectors
18	Alexandra Silva 0001, Joost Visser 0001	Strong types for relational databases.	Haskell	2006	DBLP DOI BibTeX RDF	functional dependency theory, type-level programming, relational databases, SQL, Haskell
18	Joseph Gil, Yoav Zibin	Efficient subtyping tests with PQ-encoding.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	PQ, PQE, type inclusion, encoding, hierarchy, inheritance, subtyping, partially ordered sets, Casting
18	Ralf Lämmel, Simon L. Peyton Jones	Scrap your boilerplate with class: extensible generic functions.	ICFP	2005	DBLP DOI BibTeX RDF	recursive dictionaries, typecase, extensibility, generic programming, type classes
18	Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis	Acute: high-level programming language design for distributed computation.	ICFP	2005	DBLP DOI BibTeX RDF	rebinding, programming languages, ML, distributed programming, modules, version control, type theory, abstract types, serialisation, marshalling
18	Peter Thiemann 0001	Grammar-based analysis of string expressions.	TLDI	2005	DBLP DOI BibTeX RDF	string expression analysis, constraints, type inference
18	Jana Dunfield, Frank Pfenning	Tridirectional typechecking.	POPL	2004	DBLP DOI BibTeX RDF	type refinements, dependent types, intersection types, union types
18	Vincent Simonet	An extension of HM(X) with bounded existential and universal data-types.	ICFP	2003	DBLP DOI BibTeX RDF	existential and universal data-types, structural subtyping, constraint-based type inference
18	Gang Chen	Full integration of subtyping and if-expression.	PPDP	2002	DBLP DOI BibTeX RDF	if-expression, Java, subtyping, type checking
18	Herman Geuvers, Gueorgui I. Jojgov	Open Proofs and Open Terms: A Basis for Interactive Logic.	CSL	2002	DBLP DOI BibTeX RDF	open terms, meta-variables, formulas-as-types, type theory, interactive theorem proving
18	David G. Clarke, James Noble 0001, John Potter	Simple Ownership Types for Object Containment.	ECOOP	2001	DBLP DOI BibTeX RDF	OO type systems, object containment, flexible alias protection, ownership types
18	Lennart Augustsson	Cayenne - a Language with Dependent Types.	ICFP	1998	DBLP DOI BibTeX RDF	type systems, language design, dependent types, module systems
18	Karl-Filip Faxén	Polyvariance, Polymorphism and Flow Analysis.	LOMAPS	1996	DBLP DOI BibTeX RDF	polyvariance, constraints, type systems, polymorphism, functional languages, Flow analysis, inference algorithms
18	Minnie Yi-Miin Yen, Richard W. Scamell	A Human Factors Experimental Comparison of SQL and QBE.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	human factors experimental comparison, query language type, counterbalanced design, SQL, human factors, query languages, online testing, query complexity, user performance, operating environment, QBE, factorial design
17	Mostafa Esmaeili, Mehdi Gholami	Geometrically-structured maximum-girth LDPC block and convolutional codes.	IEEE J. Sel. Areas Commun.	2009	DBLP DOI BibTeX RDF
17	Ekwa Duala-Ekoko, Martin P. Robillard	A detailed examination of the correlation between imports and failure-proneness of software components.	ESEM	2009	DBLP DOI BibTeX RDF
17	Claudia Ermel, Michael Weber 0003	Implementation of Parameterized Net Classes with the Petri Net Kernel of the »Petri Net Baukasten«.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
17	Xavier Leroy	Introduction.	Types in Compilation	1998	DBLP DOI BibTeX RDF
17	Stefan Kaes	Parametric Overloading in Polymorphic Programming Languages.	ESOP	1988	DBLP DOI BibTeX RDF
17	Irfan Ahmed 0001, Kyung-suk Lhee, Hyunjung Shin, Manpyo Hong	Fast file-type identification.	SAC	2010	DBLP DOI BibTeX RDF	byte frequency distribution, file type identification
17	Myongkeun Oh, Victor Matveev	Loss of phase-locking in non-weakly coupled inhibitory networks of type-I model neurons.	J. Comput. Neurosci.	2009	DBLP DOI BibTeX RDF	Non-weak coupling, Non-synchronous dynamics, Inhibitory network, Type-I excitability, Synaptic inhibition, Leader switching, Spike-time response, Phase resetting, Synchronization
17	Shashi Kant Mishra, J. S. Rautela	On nonlinear multiple objective fractional programming involving semilocally type-I univex functions.	Optim. Lett.	2009	DBLP DOI BibTeX RDF	Sufficient optimality, Type-I univexity, Duality, Convexity, Fractional programming
17	Denisse Hidalgo, Patricia Melin, Guillermo Licea, Oscar Castillo 0001	Optimization of Type-2 Fuzzy Integration in Modular Neural Networks Using an Evolutionary Method with Applications in Multimodal Biometry.	MICAI	2009	DBLP DOI BibTeX RDF	Genetic Algorithms, Modular Neural Network, Type-2 Fuzzy Logic
17	Jerome R. Busemeyer, Ariane Lambert-Mogiliansky	An Exploration of Type Indeterminacy in Strategic Decision-Making.	QI	2009	DBLP DOI BibTeX RDF	quantum indeterminacy, game, type, strategic decision-making
17	Aleksandar Nanevski, Paul Govereau, Greg Morrisett	Towards type-theoretic semantics for transactional concurrency.	TLDI	2009	DBLP DOI BibTeX RDF	type theory, monads, hoare logic, separation logic
17	Jiannan Wang 0001, Guoliang Li 0001, Jianhua Feng	Automatic URL completion and prediction using fuzzy type-ahead search.	SIGIR	2009	DBLP DOI BibTeX RDF	URL completion, type-ahead search, fuzzy search
17	Tamás Éltetö, Péter Vaderna	Finding upper-triangular representations for phase-type distributions with 3 distinct real poles.	Ann. Oper. Res.	2008	DBLP DOI BibTeX RDF	Triangular order, Phase-type distribution, Minimal representation
17	Shuchi Chawla 0001, Anupam Gupta 0001, Harald Räcke	Embeddings of negative-type metrics and an improved approximation to generalized sparsest cut.	ACM Trans. Algorithms	2008	DBLP DOI BibTeX RDF	negative-type metric, Approximation algorithm, metrics, embedding, sparsest cut
17	U. Rajendra Acharya, Peck Ha Tan, Tavintharan Subramaniam, Toshiyo Tamura, Kuang Chua Chua, Seach Chyr Ernest Goh, Lim Choo Min, Shu Yi Diana Goh, Kang Rui Conrad Chung, Chelsea Law	Automated Identification of Diabetic Type 2 Subjects with and without Neuropathy Using Wavelet Transform on Pedobarograph.	J. Medical Syst.	2008	DBLP DOI BibTeX RDF	Plantar pressure, Diabetes Type 2, Neuropathy, Artificial neural network, Gaussian mixture model
17	Soham Sundar Chakraborty, Rajeev Kumar	Precise static type analysis in component based programming environment.	ISEC	2008	DBLP DOI BibTeX RDF	code component, static type analysis, dynamic dispatch
17	David Beymer, Daniel M. Russell, Peter Z. Orton	An eye tracking study of how font size and type influence online reading.	BCS HCI (2)	2008	DBLP DOI BibTeX RDF	font size, font type, eye tracking, reading, typography