Search results for "types"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Xin Qi 0012, Andrew C. Myers	Masked types for sound object initialization.	POPL	2009	DBLP DOI BibTeX RDF	conditional masks, cyclic data structures, null pointer exceptions, invariants, data abstraction
17	Hongwei Xi	A Simple and General Theoretical Account for Abstract Types.	SBMF	2009	DBLP DOI BibTeX RDF
17	Geng Zhao 0004, Kefeng Xuan, David Taniar, Maytham Safar, Marina L. Gavrilova, Bala Srinivasan 0002	Multiple Object Types KNN Search Using Network Voronoi Diagram.	ICCSA (2)	2009	DBLP DOI BibTeX RDF
17	Daisuke Kimura, Makoto Tatsuta	Dual Calculus with Inductive and Coinductive Types.	RTA	2009	DBLP DOI BibTeX RDF
17	Kazuyuki Asada	Extensional Universal Types for Call-by-Value.	APLAS	2008	DBLP DOI BibTeX RDF
17	Ana Bove, Peter Dybjer	Dependent Types at Work.	LerNet ALFA Summer School	2008	DBLP DOI BibTeX RDF
17	Frank Pfenning	Subtyping and intersection types revisited.	ICFP	2007	DBLP DOI BibTeX RDF
17	Richard Dapoigny, Patrick Barlatier	Goal Reasoning with Context Record Types.	CONTEXT	2007	DBLP DOI BibTeX RDF
17	Sally Rice, John F. Roddick, Denise de Vries	Defining and implementing domains with multiple types using mesodata modelling techniques.	APCCM	2006	DBLP BibTeX RDF	coarse granularity, hierarchical domains, intelligent domains, mesodata, multiply-typed domains, data integration, incomplete information, relational model, intervals, vagueness
17	Jacques Garrigue	Private Row Types: Abstracting the Unnamed.	APLAS	2006	DBLP DOI BibTeX RDF
17	Mariangiola Dezani-Ciancaglini, Elena Giachino, Sophia Drossopoulou, Nobuko Yoshida	Bounded Session Types for Object Oriented Languages.	FMCO	2006	DBLP DOI BibTeX RDF
17	Gopalan Nadathur, Xiaochu Qi	Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages.	LPAR	2005	DBLP DOI BibTeX RDF
17	Sam Lindley, Ian Stark	Reducibility and TT-Lifting for Computation Types.	TLCA	2005	DBLP DOI BibTeX RDF
17	Alejandro Pauly, Markus Schneider 0001	Vague Spatial Data Types, Set Operations, and Predicates.	ADBIS	2004	DBLP DOI BibTeX RDF
17	Bratin Saha, Valery Trifonov, Zhong Shao	Intensional analysis of quantified types.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	intensional type analysis, runtime type dispatch, typed intermediate languages, Certified code
17	Felice Cardone, Mario Coppo	Decidability Properties of Recursive Types.	ICTCS	2003	DBLP DOI BibTeX RDF
17	Ralf Hartmut Güting, Michael H. Böhlen, Martin Erwig, Christian S. Jensen, Nikos A. Lorentzos, Enrico Nardelli, Markus Schneider 0001, José Ramon Rios Viqueira	Spatio-temporal Models and Languages: An Approach Based on Data Types.	Spatio-Temporal Databases: The CHOROCHRONOS Approach	2003	DBLP DOI BibTeX RDF
17	C. Barry Jay	Distinguishing Data Structures and Functions: The Constructor Calculus and Functorial Types.	TLCA	2001	DBLP DOI BibTeX RDF
17	Nobuko Yoshida, Matthew Hennessy	Assigning Types to Processes.	LICS	2000	DBLP DOI BibTeX RDF	higher-order pi-calculus, distributed systems, concurrency, type system, subtyping
17	Ian Toyn, Samuel H. Valentine, David A. Duffy	On Mutually Recursive Free Types in Z.	ZB	2000	DBLP DOI BibTeX RDF
17	Peter Buneman, Benjamin C. Pierce	Union Types for Semistructured Data.	DBPL	1999	DBLP DOI BibTeX RDF
17	Martin Büchi, Wolfgang Weck	Compound Types for Java.	OOPSLA	1998	DBLP DOI BibTeX RDF	Java
17	Andrew M. Pitts	Existential Types: Logical Relations and Operational Equivalence.	ICALP	1998	DBLP DOI BibTeX RDF
17	Ralph Matthes	Monotone Fixed-Point Types and Strong Normalization.	CSL	1998	DBLP DOI BibTeX RDF
17	James Leslie Keedy, Mark Evered, Axel Schmolitzky, Gisela Menger	Attribute Types and Bracket Implementations.	TOOLS (25)	1997	DBLP DOI BibTeX RDF
17	Claus Sengler	Termination of Algorithms over Non-freely Generated Data Types.	CADE	1996	DBLP DOI BibTeX RDF
17	Gilles Barthe, Herman Geuvers	Congruence Types.	CSL	1995	DBLP DOI BibTeX RDF
17	Robert R. Leeper	A Study of the Personality Types of Successful Computer Science Majors (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
17	Manfred Broy	Partial Interpretations of Higher Order Algebraic Types (Extended Abstract).	MFCS	1986	DBLP DOI BibTeX RDF
17	James H. Morris Jr.	Types are Not Sets.	POPL	1973	DBLP DOI BibTeX RDF
17	Karl Mazurak, Jianzhou Zhao, Steve Zdancewic	Lightweight linear types in system fdegree.	TLDI	2010	DBLP DOI BibTeX RDF	type systems, polymorphism, linear logic
17	Nick Benton, Nicolas Tabareau	Compiling functional types to relational specifications for low level imperative code.	TLDI	2009	DBLP DOI BibTeX RDF	separation logic, proof assistants, compiler verification, relational parametricity, type soundness
17	Marc Bergman, Pierre Deransart	Abstract Data Types and Rewriting Systems: Application to the Programming of Algebraic Abstract Data Types in Prolog.	CAAP	1981	DBLP DOI BibTeX RDF	proof of equational properties, Knuth-Bendix algorithm, PROLOG, operational semantics, Abstract Data Type, rewriting systems
16	Evaggelos Spyrou, Giorgos Tolias, Phivos Mylonas, Yannis Avrithis	Concept detection and keyframe extraction using a visual thesaurus.	Multim. Tools Appl.	2009	DBLP DOI BibTeX RDF	Visual thesaurus, Region types, Concept detection, Keyframe extraction
16	Fabiano Cutigi Ferrari, José Carlos Maldonado, Awais Rashid	Mutation Testing for Aspect-Oriented Programs.	ICST	2008	DBLP DOI BibTeX RDF	Aspect-Oriented testing, AO fault types, Mutation testing, mutation operators
16	Tanja Lang, Geoff Fellows, John Louis	The Impact of Packet Type on Signal Strength in WLANs.	AINA	2008	DBLP DOI BibTeX RDF	packet types, wireless LANs, location determination
16	Jeff Z. Pan	A Flexible Ontology Reasoning Architecture for the Semantic Web.	IEEE Trans. Knowl. Data Eng.	2007	DBLP DOI BibTeX RDF	user-defined data types and data type predicates, reasoning architecture, ontology, Knowledge representation
16	Edwin C. Brady, Kevin Hammond	A verified staged interpreter is a verified compiler.	GPCE	2006	DBLP DOI BibTeX RDF	domain specific language implementation, resource aware programming, functional programming, partial evaluation, dependent types, multi-stage programming
16	Wangxin Xiao, Xinping Yan, Xue Zhang	Pavement Distress Image Automatic Classification Based on DENSITY-Based Neural Network.	RSKT	2006	DBLP DOI BibTeX RDF	Pavement management system, digital pavement images, crack types, neural network, pattern classification
16	Stephanie Weirich	RepLib: a library for derivable type classes.	Haskell	2006	DBLP DOI BibTeX RDF	representation types, type-indexed programming, GADT, datatype-generic programming
16	Swapna S. Gokhale, Robert E. Mullen	Dynamic Code Coverage Metrics: A Lognormal Perspective.	IEEE METRICS	2005	DBLP DOI BibTeX RDF	Coverage types, Lognormal, Software Test, Code Coverage, Software Reliability Growth
16	Iavor S. Diatchki, Mark P. Jones, Rebekah Leslie	High-level views on low-level representations.	ICFP	2005	DBLP DOI BibTeX RDF	bitdata, bitfields, pattern matching, polymorphism, views, data representation, qualified types, bit manipulation
16	Tim Sheard	Languages of the future.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	equality constrained types, formal reasoning systems, staged languages, static constraint management, formal methods
16	Kohei Honda 0001, Nobuko Yoshida	A compositional logic for polymorphic higher-order functions.	PPDP	2004	DBLP DOI BibTeX RDF	compositional logics, polymorphim, types, higher-order functions
16	Jens Lufter	Kollektionsunterstützung für SQL: 1999.	Inform. Forsch. Entwickl.	2003	DBLP DOI BibTeX RDF	SQL, Data types, Object-relational database systems
16	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
16	Mario Coppo	Type Inference with Recursive Type Equations.	FoSSaCS	2001	DBLP DOI BibTeX RDF	type assignment, Recursive types
16	Oya Kalipsiz	Multimedia Databases.	IV	2000	DBLP DOI BibTeX RDF	Multimedia Tools and Techniques, Multimedia Data Types, Multimedia Database Management Systems, Database Management Systems
16	Roop K. Goyal, Max J. Egenhofer	Consistent Queries over Cardinal Directions across Different Levels of Detail.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	cardinal directions, geometric data types, deep direction-relation matrix, spatial query languages, geographic information systems, geographic information system, spatial database, polygons, query formulation
16	Leslie Lamport, Lawrence C. Paulson	Should your specification language be typed.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	specification, types, set theory
16	Pradip K. Jha, Steven Barnfield, John B. Weaver, Rudra Mukherjee, Reinaldo A. Bergamaschi	Synthesis of Arrays and Records.	ICCD	1999	DBLP DOI BibTeX RDF	Aggregate data types, Synthesis, Array, Record
16	Anna Formica, Hans Dietmar Gröger, Michele Missikoff	An Efficient Method for Checking Object-Oriented Database Schema Correctness.	ACM Trans. Database Syst.	1998	DBLP DOI BibTeX RDF	inheritance conflicts, inheritance process, object-oriented database schemas, databases, graph theory, recursive types
16	Richard Eric Mortimer, Keith H. Bennett	Maintenance and abstraction of program data using formal transformations.	ICSM	1996	DBLP DOI BibTeX RDF	program data abstraction, program data maintenance, formal transformations, DREAM method, Data Reverse Engineering and Abstraction Mechanism method, program data restructuring, data changes, code manipulation, discrete types, software maintenance, program transformations, generic method
16	Max Mühlhäuser	Modeling and design of complex cooperative software.	ICECCS	1995	DBLP DOI BibTeX RDF	complex cooperative software modelling, complex cooperative software design, workflow computing, workgroup computing, graphical view types, middle-out design methodology, scenario-based view type, work scenario, multi-view editor, work scenario views, software engineering, mobile computing, groupware, graphical user interfaces, distributed processing, multimedia computing, multimedia computing, application software
16	David Lubinsky	Classification trees with bivariate splits.	Appl. Intell.	1994	DBLP DOI BibTeX RDF	bivariate split types, Gini, Recursive partitioning, divide-and-conquer algorithms
16	Boumediene Belkhouche, Joseph E. Urban, Gregory A. Riccardi	Synthesizing abstract data type specifications.	ACM Southeast Regional Conference	1982	DBLP DOI BibTeX RDF	specifications, synthesis, abstract data types
15	Edoardo M. Airoldi, Kathleen M. Carley	Sampling algorithms for pure network topologies: a study on the stability and the separability of metric embeddings.	SIGKDD Explor.	2005	DBLP DOI BibTeX RDF
15	Maurice Bruynooghe, John P. Gallagher, Wouter Van Humbeeck	Inference of Well-Typings for Logic Programs with Application to Termination Analysis.	SAS	2005	DBLP DOI BibTeX RDF
15	Dominic Duggan	Finite Subtype Inference with Explicit Polymorphism.	SAS	1998	DBLP DOI BibTeX RDF
15	Daniel Leivant	Polymorphic Type Inference.	POPL	1983	DBLP DOI BibTeX RDF
15	William Lovas, Frank Pfenning	Refinement Types as Proof Irrelevance.	TLCA	2009	DBLP DOI BibTeX RDF
15	Dallas K. Cecil	Personality types of IT professors.	SIGITE Conference	2009	DBLP DOI BibTeX RDF	professors, education, information technology, computer science, universities, myers briggs type indicator, colleges
15	Hiroshi Unno 0001, Naoki Kobayashi 0001	On-Demand Refinement of Dependent Types.	FLOPS	2008	DBLP DOI BibTeX RDF
15	Xiaodan Zhang, Xiaohua Hu 0001, Xiaohua Zhou	A comparative evaluation of different link types on enhancing document clustering.	SIGIR	2008	DBLP DOI BibTeX RDF	link-based clustering, markov random field, relaxation labeling
15	Thomas Arts, Laura M. Castro, John Hughes 0001	Testing Erlang data types with quviq quickcheck.	Erlang Workshop	2008	DBLP DOI BibTeX RDF	quickcheck, erlang, datatypes
15	Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta	On Isomorphisms of Intersection Types.	CSL	2008	DBLP DOI BibTeX RDF
15	Andreas Abel 0001	Strong Normalization and Equi-(Co)Inductive Types.	TLCA	2007	DBLP DOI BibTeX RDF
15	Kenneth L. Knowles, Cormac Flanagan	Type Reconstruction for General Refinement Types.	ESOP	2007	DBLP DOI BibTeX RDF
15	Xiaofang Zhao, Hui Fan, Xiaohua Liu	Data Types of DFL Programming Language.	FSKD (1)	2007	DBLP DOI BibTeX RDF
15	Sarah De Bruyne, Wesley De Neve, Davy De Schrijver, Peter Lambert, Piet Verhoeve, Rik Van de Walle	Shot Boundary Detection for H.264/AVC Bitstreams with Frames Containing Multiple Types of Slices.	PCM	2007	DBLP DOI BibTeX RDF
15	Qingxiang Wu, T. Martin McGinnity, David A. Bell, Girijesh Prasad	A Self-Organizing Computing Network for Decision-Making in Data Sets with a Diversity of Data Types.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	machine learning, fuzzy sets, decision support, Information technology and systems
15	D'Arcy Walsh, Francis Bordeleau, Bran Selic	Change Types of Dynamic System Reconfiguration.	ECBS	2006	DBLP DOI BibTeX RDF
15	Jerome Vouillon	Polymorphic regular tree types and patterns.	POPL	2006	DBLP DOI BibTeX RDF	polymorphism, subtyping, tree automata
15	Beat Fluri, Harald C. Gall	Classifying Change Types for Qualifying Change Couplings.	ICPC	2006	DBLP DOI BibTeX RDF
15	Nina Bohr, Lars Birkedal	Relational Reasoning for Recursive Types and References.	APLAS	2006	DBLP DOI BibTeX RDF
15	Chris Andreae, Yvonne Coady, Celina Gibbs, James Noble 0001, Jan Vitek, Tian Zhao	Scoped Types and Aspects for Real-Time Java.	ECOOP	2006	DBLP DOI BibTeX RDF
15	Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou	Session Types for Object-Oriented Languages.	ECOOP	2006	DBLP DOI BibTeX RDF
15	Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey	A Framework for Extended Algebraic Data Types.	FLOPS	2006	DBLP DOI BibTeX RDF
15	David M. Reif, Alison A. Motsinger, Brett A. McKinney, James E. Crowe Jr., Jason H. Moore	Feature Selection using a Random Forests Classifier for the Integrated Analysis of Multiple Data Types.	CIBCB	2006	DBLP DOI BibTeX RDF
15	Minh-Hoang Le, Tu Bao Ho, Yoshiteru Nakamori	Detecting Citation Types Using Finite-State Machines.	PAKDD	2006	DBLP DOI BibTeX RDF
15	Perukrishnen Vytelingum, Dave Cliff, Nicholas R. Jennings	Evolutionary Stability of Behavioural Types in the Continuous Double Auction.	TADA/AMEC	2006	DBLP DOI BibTeX RDF
15	Eran Fishler, H. Vincent Poor	On the tradeoff between two types of processing gains.	IEEE Trans. Commun.	2005	DBLP DOI BibTeX RDF
15	Paul-André Melliès, Jerome Vouillon	Recursive Polymorphic Types and Parametricity in an Operational Framework.	LICS	2005	DBLP DOI BibTeX RDF
15	Federico De Marchi	On the Semantics of Coinductive Types in Martin-Löf Type Theory.	CALCO	2005	DBLP DOI BibTeX RDF
15	Wlodzimierz Drabent	Towards Types for Web Rule Languages.	Reasoning Web	2005	DBLP DOI BibTeX RDF
15	Matthias Neubauer, Peter Thiemann 0001	An Implementation of Session Types.	PADL	2004	DBLP DOI BibTeX RDF
15	Ana Sokolova, Erik P. de Vink	Probabilistic Automata: System Types, Parallel Composition and Comparison.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF	probabilistic automata (transition systems), probabilistic bisimulation, preservation and reflection of bisimulation, non-determinism, parallel composition
15	Michel Chein, Marie-Laure Mugnier	Concept Types and Coreference in Simple Conceptual Graphs.	ICCS	2004	DBLP DOI BibTeX RDF
15	Jae-Hong Eom, Seong-Bae Park, Byoung-Tak Zhang	Genetic Mining of DNA Sequence Structures for Effective Classification of the Risk Types of Human Papillomavirus (HPV).	ICONIP	2004	DBLP DOI BibTeX RDF
15	Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger	A Nominal Theory of Objects with Dependent Types.	ECOOP	2003	DBLP DOI BibTeX RDF
15	Aleksey Nogin	Quotient Types: A Modular Approach.	TPHOLs	2002	DBLP DOI BibTeX RDF
15	Dan Grossman	Existential Types for Imperative Languages.	ESOP	2002	DBLP DOI BibTeX RDF
15	Thierry Joly	The Finitely Generated Types of the lambda-Calculus.	TLCA	2001	DBLP DOI BibTeX RDF
15	Gabriel M. Kuper, Jérôme Siméon	Subsumption for XML types.	ICDT	2001	DBLP DOI BibTeX RDF
15	Ramaswamy Chandramouli	A Framework for Multiple Authorization Types in a Healthcare Application System.	ACSAC	2001	DBLP DOI BibTeX RDF
15	Wai-Kau Lo, Vassos Hadzilacos	On the power of shared object types to implement one-resilient Consensus.	Distributed Comput.	2000	DBLP DOI BibTeX RDF	Fault-tolerance, Distributed algorithms, Consensus, Shared objects
15	Torben Amtoft, Franklyn A. Turbak	Faithful Translations between Polyvariant Flows and Polymorphic Types.	ESOP	2000	DBLP DOI BibTeX RDF
15	Manuel M. T. Chakravarty, Gabriele Keller	More types for nested data parallel programming.	ICFP	2000	DBLP DOI BibTeX RDF
15	Antonio Bucciarelli, Silvia De Lorenzis, Adolfo Piperno, Ivano Salvo	Some Computational Properties of Intersection Types.	LICS	1999	DBLP DOI BibTeX RDF
15	Heikki Mannila, Pirjo Moen	Similarity between Event Types in Sequences.	DaWaK	1999	DBLP DOI BibTeX RDF