Search results for "data type"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	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
3	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
2	Philippe Suter, Mirco Dotta, Viktor Kuncak	Decision procedures for algebraic data types with abstractions.	POPL	2010	DBLP DOI BibTeX RDF	data structure, decision procedure, algebraic data type, catamorphism
2	Nuno M. Preguiça, Joan Manuel Marquès, Marc Shapiro, Mihai Letia	A Commutative Replicated Data Type for Cooperative Editing.	ICDCS	2009	DBLP DOI BibTeX RDF
2	Hailong Wang, Z. M. Ma, Junfu Yin	FRESG: A Kind of Fuzzy Description Logic Reasoner.	DEXA	2009	DBLP DOI BibTeX RDF	Fuzzy description logic, F-ALC(G), customized data type, reasoner
2	Paul Tarau	A Groupoid of Isomorphic Data Transformations.	Calculemus/MKM	2009	DBLP DOI BibTeX RDF	computational mathematics in Haskell, data type transformations, ranking/unranking, Gödel numberings, higher order combinators, hylomorphisms
2	Tobe Toben	Non-interference Properties for Data-Type Reduction of Communicating Systems.	IFM	2007	DBLP DOI BibTeX RDF
2	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
2	Kwangmin Choi, Amit Saple, Sun Kim	Genome Data Type: a Vehicle to Deliver a Genome Comparison System on the Web.	ICDM Workshops	2006	DBLP DOI BibTeX RDF
2	Tom Schrijvers, Maurice Bruynooghe	Polymorphic algebraic data type reconstruction.	PPDP	2006	DBLP DOI BibTeX RDF	polymorphic recursion, type definition, type reconstruction, parametric polymorphism, algebraic data type
2	Alexandros Bartzas, Stylianos Mamagkakis, Georgios Pouiklis, David Atienza, Francky Catthoor, Dimitrios Soudris, Antonios Thanailakis	Dynamic data type refinement methodology for systematic performance-energy design exploration of network applications.	DATE	2006	DBLP DOI BibTeX RDF
2	Yuichi Tsujita	Effective Seamless Remote MPI-I/O Operations with Derived Data Types Using PVFS2.	PVM/MPI	2006	DBLP DOI BibTeX RDF	Stampi, MPI-I/O process, derived data type, PVFS2, MPI-I/O
2	Markus Schneider, Thomas Behr	Topological Relationships Between Complex Lines and Complex Regions.	ER	2005	DBLP DOI BibTeX RDF	topological constraint rule, proof-by-constraint-and-drawing, complex spatial data type, 9-intersection model, Topological predicate
2	Stylianos Mamagkakis, Alexandros Mpartzas, Georgios Pouiklis, David Atienza, Francky Catthoor, Dimitrios Soudris, Jose Manuel Mendias, Antonios Thanailakis	Design of Energy Efficient Wireless Networks Using Dynamic Data Type Refinement Methodology.	WWIC	2004	DBLP DOI BibTeX RDF
2	Marc Leeman, Chantal Ykman-Couvreur, David Atienza, Vincenzo De Florio, Geert Deconinck	Automated Dynamic Memory Data Type Implementation Exploration and Optimization.	ISVLSI	2003	DBLP DOI BibTeX RDF
2	Thomas Behr, Markus Schneider	Topological Relationships of Complex Points and Complex Regions.	ER	2001	DBLP DOI BibTeX RDF	spatial data type, 9-intersection model, Topological predicate
2	Bhaskaran Raman, Randy H. Katz, Anthony D. Joseph	Universal Inbox: providing extensible personal mobility and service mobility in an integrated communication network.	WMCSA	2000	DBLP DOI BibTeX RDF	Universal Inbox, extensible personal mobility, extensible service mobility, integrated communication network, end-devices, integrated service architecture, heterogeneous end-points, generic data type transformation, customizable communication redirection, user preference profiles, device name mapping, device name translation, reusable infrastructure components, GSM cellular phones, instant messaging service, performance analyses, user base, mobile computing, scalability, mobile communication, personal computing, electronic mail, voice-over-IP, telecommunication networks, Internet services, access networks, test-bed, telecommunication services, personal communication networks, voice-mail
2	Michael T. Goodrich, John G. Kloss II	Tiered Vectors: Efficient Dynamic Arrays for Rank-Based Sequences.	WADS	1999	DBLP DOI BibTeX RDF	dynamic array, JDSL, Java, vector, abstract data type
2	Qian Wu, A. J. Field, Paul H. J. Kelly	M-Tree: A Parallel Abstract Data Type for Block-Irregular Adaptive Applictions.	Euro-Par	1997	DBLP DOI BibTeX RDF
2	Pietro Di Gianantonio	An Abstract Data Type for Real Numbers.	ICALP	1997	DBLP DOI BibTeX RDF	real number computability, denotational and operational semantics, abstract data types, domain theory
2	Jean-Francois Girard, Rainer Koschke, Georg Schied	Comparison of Abstract Data Type and Abstract State Encapsulation Detection Techniques for Architectural Understanding. (PDF / PS)	WCRE	1997	DBLP DOI BibTeX RDF
2	R. Baker Kearfott	Algorithm 763; INTERVAL_ARITHMETIC: A Fortran 90 Module for an Interval Data Type.	ACM Trans. Math. Softw.	1996	DBLP DOI BibTeX RDF	operator overloading, portability, interval arithmetic, Fortran 90
2	Agnès Arnould, Pascale Le Gall, Bruno Marre	Dynamic Testing from Bounded Data Type Specifications.	EDCC	1996	DBLP DOI BibTeX RDF	bounded data types, test data set selection, formal specifications, software verification, functional testing
2	Ying Lu, Ee-Peng Lim	On Integrating Existing Bibliographic Databases and Structured Databases. (PDF / PS)	COMPSAC	1996	DBLP DOI BibTeX RDF	bibliographic systems, structured databases, bibliographic/structured database integration, digital library applications, bibliographic data, SQL model, bibliographic related attributes, bibliographic related queries, specialized predicates, SQL extensions, query language layer, digital library application development, information retrieval, network, query processing, SQL, query languages, libraries, multimedia computing, query formulation, query formulation, data type, information retrieval systems, structured data, multimedia data, specialized functions, database servers, bibliographic databases, text data, library automation
2	Pierre Lescanne	The Lambda Calculus as an Abstract Data Type.	COMPASS/ADT	1995	DBLP DOI BibTeX RDF
2	Zhixue Wu, Ken Moody, Jean Bacon, Robert J. Stroud	Data consistency in a distributed persistent object system.	HICSS	1995	DBLP DOI BibTeX RDF	distributed persistent object system, atomic data type, PC++, conflict relationship, object operations, recovery code, object-oriented programming, data integrity, distributed databases, concurrency control, object-oriented databases, synchronisation, synchronisation, abstract data types, data consistency, persistent system
2	J. William Atwood, Y. Zhang	A definition of the XTP service and its formal specification. (PDF / PS)	LCN	1995	DBLP DOI BibTeX RDF	XTP service, Xpress Transfer Protocol, transport-level protocol, network-level protocol, unicast environment, multicast environment, specification architecture, data type definitions, process structures, distributed systems, real-time systems, real-time systems, formal specification, formal specification, local area networks, transport protocols, multimedia systems, multimedia systems, open systems, LOTOS
2	Lawrence D. Bergman, Bernice E. Rogowitz, Lloyd Treinish	A Rule-Based Tool for Assisting Colormap Selection.	IEEE Visualization	1995	DBLP DOI BibTeX RDF	colour graphics, rule-based tool, colormap selection, PRAVDAColor, IBM Visualization Data Explorer, human perceptual system, expert systems, data analysis, data visualisation, data type, spatial frequency
2	Martin Gogolla, Maura Cerioli	What is an Abstract Data Type, after all?	COMPASS/ADT	1994	DBLP DOI BibTeX RDF
2	Rong N. Chang, Chinya V. Ravishankar	A Service Acquisition Mechanism for Server-Based Heterogeneous Distributed Systems.	IEEE Trans. Parallel Distrib. Syst.	1994	DBLP DOI BibTeX RDF	serviceacquisition mechanism, server-based heterogeneous distributed systems, remote networkservers, server interface binding protocols, interface operation invocation protocols, Clibrary interface, protocols, distributed processing, abstract data types, abstract data type, network servers
2	Norman Adams, Pavel Curtis, Mike Spreitzer	First-Class Data-Type Representations in SchemeXerox.	PLDI	1993	DBLP DOI BibTeX RDF
2	Seung-Min Yang, K. H. Kim	Implementation of the Conversation Scheme in Message-Based Distributed Computer Systems.	IEEE Trans. Parallel Distrib. Syst.	1992	DBLP DOI BibTeX RDF	message-based distributed computer systems, exit control strategies, conversationacceptance test, recovery information, recovery cache, conversation structures, name-linked recovery block, abstract data type conversations, unmanned vehicle system, distributed processing, message passing, abstract data types, run-time management
2	Douglas R. Smith	KIDS: A Semiautomatic Program Development System.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	KIDS, semiautomatic program development system, Kestrel Interactive Development System, deductive inference, finite differencing optimizations, data type refinement, k-queens problem, SUN-4/110, software engineering, formal specifications, compilation, optimisation, partial evaluation, inference mechanisms, algorithm design, program simplification
2	Martin Große-Rhode, Hartmut Ehrig	Transformation of Combined Data Type and Process Specifications Using Projection Algebras.	REX Workshop	1989	DBLP DOI BibTeX RDF	Projection Specification, Projection Algebra (Continuous Algebra), Parameterized Projection Specification, Horizontal and Vertical Operations, R-Implementation, Refinement
2	Joseph E. Lang, Robert K. Maruyama	Teaching the abstract data type in CS2.	SIGCSE	1989	DBLP DOI BibTeX RDF
2	Patrick M. Lenders	Distributed Computing with Single Read-Single Write Variables.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	single read-single write variables, free, wait state, SRSW variables, regular sequential language, SRSW data type, parallel programs, distributed computing, distributed processing, message passing, operational semantics, asynchronous communication, syntax, busy, synchronous communication
2	Christoph Beierle, Angi Voß	Theory and Practice of Canonical Term Functors in Abstract Data Type Specifications.	TAPSOFT, Vol.2	1987	DBLP DOI BibTeX RDF
2	Christoph Beierle, Angi Voß	On Implementations of Loose Abstract Data Type Specifications and Their Vertical Composition.	STACS	1987	DBLP DOI BibTeX RDF
2	Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin Große-Rhode	Algebraic Data Type and Process Specifications based on Projection Spaces.	ADT	1987	DBLP DOI BibTeX RDF
2	Thomas R. Leap	Modula-2 input/output procedure using polymorphic and open-ended data type extensions (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF	Modula-2
2	Ivan B. Liss, Thomas C. McMillan	Trees - a CS2 programming project which introduces a data type using procedural and data abstraction.	SIGCSE	1987	DBLP DOI BibTeX RDF
2	Peter Padawitz	Parameter Preserving Data Type Specifications.	TAPSOFT, Vol.1	1985	DBLP DOI BibTeX RDF
2	Michael Stonebraker, Erika Anderson, Eric N. Hanson, W. Bradley Rubenstein	Quel as a Data Type.	SIGMOD Conference	1984	DBLP DOI BibTeX RDF
2	Klaus-Peter Hasler, Jan de Meer	OSI Transport Service Considered as an Abstract Data Type.	ADT	1984	DBLP BibTeX RDF
2	Richard B. Kieburtz	Precise Typing of Abstract Data Type Specifications.	POPL	1983	DBLP DOI BibTeX RDF
2	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
2	Günter Hornung, Peter Raulefs	Initial and Terminal Algebra Semantics of Parameterized Abstract Data Type Specifications With Inequalities.	CAAP	1981	DBLP DOI BibTeX RDF
2	Samuel N. Kamin	Final Data Tye Specifications: A New Data Type Specification Method.	POPL	1980	DBLP DOI BibTeX RDF
2	Marie-Claude Gaudel	Specification of compilers as abstract data type representations.	Semantics-Directed Compiler Generation	1980	DBLP DOI BibTeX RDF
2	James B. Morris	Data abstraction: A static implementation strategy.	SIGPLAN Symposium on Compiler Construction	1979	DBLP DOI BibTeX RDF	Generic procedure, Inline procedure, Open procedure, Programming languages, Abstract data type, Data type
2	Mark B. Wells	Implementation and application of a function data type.	AFIPS National Computer Conference	1977	DBLP DOI BibTeX RDF
2	John Miles Smith, Diane C. P. Smith	Database Abstractions: Aggregation and Generalization.	ACM Trans. Database Syst.	1977	DBLP DOI BibTeX RDF	knowledge representation, relational database, generalization, aggregation, data model, database design, integrity constraints, data type, data abstraction
1	Lazaros Papadopoulos, Alexandros Bartzas, Dimitrios Soudris	Run-Time Dynamic Data Type Transformations.	ARCS Workshops	2012	DBLP BibTeX RDF
1	Frank Drewes, Johanna Högberg, Andreas Maletti	MAT learners for tree series: an abstract data type and two realizations.	Acta Inf.	2011	DBLP DOI BibTeX RDF
1	D. Sokolovski, E. Akhmatskaya, S. K. Sen	Extracting S-matrix poles for resonances from numerical scattering data: Type-II Padé reconstruction.	Computer Physics Communications	2011	DBLP DOI BibTeX RDF
1	Agus Pratondo	Representation for alphanumeric data type based on space and speed case study: Student ID of X university	CoRR	2011	DBLP BibTeX RDF
1	Max-Emanuel Maurer, Alexander De Luca, Heinrich Hussmann	Data type based security alert dialogs.	CHI Extended Abstracts	2011	DBLP DOI BibTeX RDF
1	E. N. Troshina, A. V. Chernov	Using information obtained in the course of program execution for improving the quality of data type reconstruction in decompilation.	Programming and Computer Software	2010	DBLP DOI BibTeX RDF
1	Benjamin Carrión Schäfer, Yusuke Iguchi, Wataru Takahashi, Shingo Nagatani, Kazutoshi Wakabayashi	Fixed Point Data Type Modeling for High Level Synthesis.	IEICE Transactions	2010	DBLP BibTeX RDF
1	Ben Perry, D. Martin Swany	Improving MPI communication via data type fission.	HPDC	2010	DBLP DOI BibTeX RDF
1	Leonardo Filipe Batista Silva de Carvalho, Helio Cavalcante Silva Neto, Fábio Paraguaçu, Roberta Vilhena Vieira Lopes	Application of a Genetic Algorithm Based on Abstract Data Type in Electronic Games' Scenarios Adaptive Evolution.	MICAI (Special Sessions)	2010	DBLP DOI BibTeX RDF
1	Jingwei Cheng, Z. M. Ma, Yu Wang	Query Answering in Fuzzy Description Logics with Data Type Support.	Web Intelligence	2010	DBLP DOI BibTeX RDF
1	Vladik Kreinovich, Jaime Nava, Rodrigo Romero, Julio Olaya, Aaron Velasco, Kate C. Miller	Spatial Resolution for Processing Seismic Data: Type-2 Methods for Finding the Relevant Granular Structure.	GrC	2010	DBLP DOI BibTeX RDF
1	Thomas Hornung, Wolfgang May, Daniel Schubert	A Configurable Graph Data Type for Online Exploration of Web Data.	ADBIS (Local Proceedings)	2010	DBLP BibTeX RDF
1	Sharad C. Seth, Ramana Chakradhar Jandhyala, Mukkai S. Krishnamoorthy, George Nagy	Analysis and taxonomy of column header categories for web tables.	Document Analysis Systems	2010	DBLP DOI BibTeX RDF	Wang notation, column-header grammar, table ontology, conversion, parsing, web tables
1	Hui Song, Gang Huang 0001, Franck Chauvel, Yanchun Sun, Hong Mei	SM@RT: representing run-time system data as MOF-compliant models.	ICSE	2010	DBLP DOI BibTeX RDF	code generation, MOF, runtime model
1	Umut A. Acar, Guy E. Blelloch, Ruy Ley-Wild, Kanat Tangwongsan, Duru Türkoglu	Traceable data types for self-adjusting computation.	PLDI	2010	DBLP DOI BibTeX RDF	traceable data types, self-adjusting computation
1	Eric Koskinen, Matthew J. Parkinson, Maurice Herlihy	Coarse-grained transactions.	POPL	2010	DBLP DOI BibTeX RDF	coarse-grained transactions, movers, transactional boosting, transactional memory, abstract data-types, commutativity
1	Farid Bourennani, Ken Q. Pu, Ying Zhu	Visual Integration Tool for Heterogeneous Data Type by Unified Vectorization.	IRI	2009	DBLP DOI BibTeX RDF
1	Alexandros Bartzas, Christos Baloukas, Dimitrios Soudris, Konstantinos Potamianos, Fragkiskos Ieromnimon, Nikolaos S. Voros	Dynamic Data Type Optimization and Memory Assignment Methodologies.	PATMOS	2009	DBLP DOI BibTeX RDF
1	Lauri Tuovinen, Perttu Laurinen, Juha Röning	Data Type Management in a Data Mining Application Framework.	ICAART	2009	DBLP BibTeX RDF
1	Peter Z. Revesz	A comparison of abstract data type and constraint database approaches to GIS query languages.	GIS	2009	DBLP DOI BibTeX RDF	query language, abstract data types, constraint databases
1	Ali Frihida, Donia Zheni, Henda Hajjami Ben Ghézala, Christophe Claramunt	Modeling Trajectories: A Spatio-Temporal Data Type Approach.	DEXA Workshops	2009	DBLP DOI BibTeX RDF
1	Motoki Miura, Taro Sugihara, Susumu Kunifuji	Anchor garden: an interactive workbenchfor basic data concept learningin object oriented programming languages.	ITiCSE	2009	DBLP DOI BibTeX RDF	object-orientation, CS1, data type, reference
1	William R. Cook	On understanding data abstraction, revisited.	OOPSLA	2009	DBLP DOI BibTeX RDF	ADT, object, abstract data type, class
1	Matthias Heinrich, Antje Boehm-Peters, Martin Knechtel	A platform to automatically generate and incorporate documents into an ontology-based content repository.	ACM Symposium on Document Engineering	2009	DBLP DOI BibTeX RDF	ontology completion, semantic annotation, software documentation, text generation
1	Nikitas N. Karanikolas	Conceptual universal database language: literature review and the future of database design.	EATIS	2009	DBLP DOI BibTeX RDF	conceptual database design, entity relationship diagrams
1	Babak Ahmadi, Marios Hadjieleftheriou, Thomas Seidl, Divesh Srivastava, Suresh Venkatasubramanian	Type-based categorization of relational attributes.	EDBT	2009	DBLP DOI BibTeX RDF
1	Alejandro A. Vaisman, Esteban Zimányi	A multidimensional model representing continuous fields in spatial data warehouses.	GIS	2009	DBLP DOI BibTeX RDF	GIS, query languages, OLAP
1	Neil C. C. Brown, Adam T. Sampson	Alloy: fast generic transformations for Haskell.	Haskell	2009	DBLP DOI BibTeX RDF	haskell, generic programming, alloy
1	Marcos Viera, S. Doaitse Swierstra, Wouter Swierstra	Attribute grammars fly first-class: how to do aspect oriented programming in Haskell.	ICFP	2009	DBLP DOI BibTeX RDF	HList, class system, type-level programming, Haskell, attribute grammars, lazy evaluation
1	Jinsun Suk, Jaechun No	Hybrid file system.	ICHIT	2009	DBLP DOI BibTeX RDF
1	Christopher A. Lee, Richard Marciano, Chien-Yi Hou, Chirag Shah	From harvesting to cultivating: transformation of a web collecting system into a robust curation environment.	JCDL	2009	DBLP DOI BibTeX RDF	interoperable repositories
1	Amal Ahmed, Derek Dreyer, Andreas Rossberg	State-dependent representation independence.	POPL	2009	DBLP DOI BibTeX RDF	local state, representation independence, abstract data types, existential types, step-indexed logical relations
1	Paul Tarau	An embedded declarative data transformation language.	PPDP	2009	DBLP DOI BibTeX RDF	computational mathematics, dag and hypergraph encodings, functions and permutations, goedel numberings, hereditarily finite sets, pairing functions, prolog data representations, ranking/unranking bijections, digraph
1	Duane Buck, David J. Stucki	The hidden injuries of overloading 'ADT'.	SIGCSE	2009	DBLP DOI BibTeX RDF	value semantics, modeling, interfaces, abstract data types, containers, data representation
1	Antonia Bertolino, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli	Automatic synthesis of behavior protocols for composable web-services.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	web-services, testing, automatic synthesis, behavior protocols
1	Gary H. Sockut, Balakrishna R. Iyer	Online reorganization of databases.	ACM Comput. Surv.	2009	DBLP DOI BibTeX RDF	concurrent reorganization, online reorganization, redefinition, Clustering, indexes, maintenance, schema evolution, restructuring, very large databases, reorganization, log-structured file systems
1	Qingfeng Guan	pRPL: an open-source general-purpose parallel raster processing programming library.	SIGSPATIAL Special	2009	DBLP DOI BibTeX RDF	programming library, parallel, raster
1	Kristjan Jonasson	Algorithm 892: DISPMODULE, a Fortran 95 module for pretty-printing matrices.	ACM Trans. Math. Softw.	2009	DBLP DOI BibTeX RDF	Fortran 95, array programming language, matrix pretty-printing, matrix printing, output utilities
1	Ning Li, Jinqiang Hu	Scientific Workflow Model for Provenance Analysis Based on Many-sorted High-Level Nets.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
1	Richard Millham, Hongji Yang	Industrial Report: Data Reengineering of COBOL Sequential Legacy Systems.	COMPSAC	2009	DBLP DOI BibTeX RDF
1	Weiguang Kong, Yong Zhu, Yuan Wang	Implementation of Unlimited Integer.	CSE	2009	DBLP DOI BibTeX RDF
1	John W. O'Leary, Murali Talupur, Mark R. Tuttle	Protocol verification using flows: An industrial experience.	FMCAD	2009	DBLP DOI BibTeX RDF
1	Raymond W. Smith	Hybrid Page Layout Analysis via Tab-Stop Detection.	ICDAR	2009	DBLP DOI BibTeX RDF
1	Mehmet Serkan Apaydin, Bülent Çatay, Nicholas Patrick, Bruce Randall Donald	NVR-BIP: Nuclear vector replacement using binary integer programming for NMR structure-based assignments.	ISCIS	2009	DBLP DOI BibTeX RDF
1	Thorsten Altenkirch, Peter Morris	Indexed Containers.	LICS	2009	DBLP DOI BibTeX RDF
1	M. L. Aldridge, M. W. Berry	Performance of a Finite-State Machine Implementation of Iterative Cluster Labeling on Desktop and Mobile Computing Platforms.	IEEE Trans. Knowl. Data Eng.	2009	DBLP DOI BibTeX RDF
1	Wenjing Zhou, Xiangwei Xie, Hui Li, Xiao Zhang, Shan Wang	A Database Approach for Accelerate Video Data Access.	APWeb/WAIM Workshops	2009	DBLP DOI BibTeX RDF	Video Data Storage, Video Data Access, Binary Large Object
1	Tobias Heindel, Pawel Sobocinski	Van Kampen Colimits as Bicolimits in Span.	CALCO	2009	DBLP DOI BibTeX RDF