Search results for "data values"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Divesh Srivastava, Yannis Velegrakis	MMS: Using Queries As Data Values for Metadata Management.	ICDE	2007	DBLP DOI BibTeX RDF
2	Liqiang He, Zhiyong Liu	Improving Accuracy of Perceptron Predictor Through Correlating Data Values in SMT Processors.	ISNN	2005	DBLP DOI BibTeX RDF
2	Jesse D. Bingham, Anne Condon, Alan J. Hu, Shaz Qadeer, Zhichuan Zhang	Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values.	CAV	2004	DBLP DOI BibTeX RDF
2	Ren Lu, Mong-Li Lee, Wynne Hsu	Using Interval Association Rules to Identify Dubious Data Values.	WAIM	2004	DBLP DOI BibTeX RDF
2	Jaewoo Kang, Jeffrey F. Naughton	On Schema Matching with Opaque Column Names and Data Values.	SIGMOD Conference	2003	DBLP DOI BibTeX RDF
2	Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu	XML with Data Values: Typechecking Revisited. (PDF / PS)	PODS	2001	DBLP DOI BibTeX RDF
2	Timothy H. Heil, Zak Smith, James E. Smith	Improving Branch Predictors by Correlating on Data Values. (PDF / PS)	MICRO	1999	DBLP DOI BibTeX RDF
2	Yiannakis Sazeides, James E. Smith	The Predictability of Data Values.	MICRO	1997	DBLP BibTeX RDF	Context Based Prediction, Stride Prediction, Last Value Prediction, Prediction, Value Prediction
2	Tichomir Tenev, Ramana Rao	Managing multiple focal levels in Table Lens.	INFOVIS	1997	DBLP DOI BibTeX RDF	multiple focal level management, Table Lens, focus visualization, context visualization, large data tables, single pixel row, design enhancements, user interface, data visualisation, spreadsheet, exploratory data analysis, graphical representations, screen space, data values
2	Teruo Higashino, Gregor von Bochmann	Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	test case derivation, LOTOS expressions, data parameters, automatic analysis method, P-LOTOS expressions, Boolean types, integer linear programming problems, deadlock detection problem, nonexecutable branch detection, nondeterministic behavior detection, simplified Session protocol, formal specification, linear programming, concurrency control, integer programming, specification languages, specification language, comparison, decision procedure, data types, addition, test selection, Presburger arithmetic, subtraction, integer, data values
2	Bipin C. Desai	Performance of a Composite Attribute and Join Index.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	attribute index, composite index, B/sub c/-tree, B/sup +/-tree, common data values, structural integrity constraints, database, data structures, relational databases, tuples, join index
1	Anuj R. Jaiswal, David J. Miller, Prasenjit Mitra	Uninterpreted Schema Matching with Embedded Value Mapping under Opaque Column Names and Data Values.	IEEE Trans. Knowl. Data Eng.	2010	DBLP DOI BibTeX RDF	opaque conditions, embedded schema matching with value mapping, Schema matching
1	Ahmet Kara, Thomas Schwentick, Thomas Zeume	Temporal Logics on Words with Multiple Data Values	CoRR	2010	DBLP BibTeX RDF
1	Ahmet Kara, Tony Tan	Extending Büchi Automata with Constraints on Data Values	CoRR	2010	DBLP BibTeX RDF
1	Ahmet Kara, Thomas Schwentick, Thomas Zeume	Temporal Logics on Words with Multiple Data Values.	FSTTCS	2010	DBLP DOI BibTeX RDF
1	Yunlian Jiang, Eddy Z. Zhang, Kai Tian, Feng Mao, Malcom Gethers, Xipeng Shen, Yaoqing Gao	Exploiting statistical correlations for proactive prediction of program behaviors.	CGO	2010	DBLP DOI BibTeX RDF	correlation, program behavior
1	Serge Abiteboul, T.-H. Hubert Chan, Evgeny Kharlamov, Werner Nutt, Pierre Senellart	Aggregate queries for discrete and continuous probabilistic XML.	ICDT	2010	DBLP DOI BibTeX RDF	XML, algorithms, complexity, aggregation, probabilistic databases
1	Diego Figueira	Forward-XPath and extended register automata on data-trees.	ICDT	2010	DBLP DOI BibTeX RDF	alternating tree register automata, data-tree, forward XPath, infinite alphabet, unranked ordered tree, XML
1	Guoqing (Harry) Xu, Nick Mitchell, Matthew Arnold, Atanas Rountev, Edith Schonberg, Gary Sevitsky	Finding low-utility data structures.	PLDI	2010	DBLP DOI BibTeX RDF	abstract dynamic thin slicing, memory bloat, cost benefit analysis
1	Marguerite Doman, Jamie Payton, Teresa Dahlberg	Leveraging fuzzy query processing to support applications in wireless sensor networks.	SAC	2010	DBLP DOI BibTeX RDF	fuzzy query processing, wireless sensor networks, data management
1	Eli Cortez, Altigran Soares da Silva, Marcos André Gonçalves, Edleno Silva de Moura	ONDUX: on-demand unsupervised learning for information extraction.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	information extraction, data management, text segmentation
1	Ekaterini Ioannou, Claudia Niederée, Yannis Velegrakis	Enabling entity-based aggregators for web 2.0 data.	WWW	2010	DBLP DOI BibTeX RDF	semantic web, linked data, entity matching
1	Michael W. Bigrigg, H. Scott Matthews, James H. Garrett Jr.	Imputation of missing sensor data values using in-exact replicas.	IJISTA	2009	DBLP DOI BibTeX RDF
1	Diego Figueira	Satisfiability of downward XPath with data equality tests.	PODS	2009	DBLP DOI BibTeX RDF	bip automaton, data-tree, infinite alphabet, unranked unordered tree, xpath, xml, data values
1	Hee Rin Lee, Carl F. DiSalvo	Connected space.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	ambient data visualization, remote connections, sensor data pedagogy, telecommunication art, participatory design, social interaction
1	Sven Hartmann, Sebastian Link	Expressive, yet tractable XML keys.	EDBT	2009	DBLP DOI BibTeX RDF
1	Neha Rungta, Eric G. Mercer	Guided model checking for programs with polymorphism.	PEPM	2009	DBLP DOI BibTeX RDF	error discovery, heuristics, software model checking, guided search
1	Shun'ichi Amano, Leonid Libkin, Filip Murlak	XML schema mappings.	PODS	2009	DBLP DOI BibTeX RDF	complexity, composition, mappings, consistency, xml, schemas
1	Christian Wimmer, Marcelo Silva Cintra, Michael Bebenita, Mason Chang, Andreas Gal, Michael Franz	Phase detection using trace compilation.	PPPJ	2009	DBLP DOI BibTeX RDF	trace compilation, Java, optimization, data flow, just-in-time compilation, phase detection
1	Aravind Yalamanchi, Dieter Gawlick	Compensation-aware data types in RDBMS.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	and constraints, concurrency control, compensation, business transactions
1	Guilherme A. Toda, Eli Cortez, Filipe de Sá Mesquita, Altigran Soares da Silva, Edleno Silva de Moura, Marden S. Neubert	Automatically filling form-based web interfaces with free text inputs.	WWW	2009	DBLP DOI BibTeX RDF	form filling, web applications, data extraction
1	Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin	Two-variable logic on data trees and XML reasoning.	J. ACM	2009	DBLP DOI BibTeX RDF	XML, consistency, Integrity constraints, DTDs, implications
1	Dinesh C. Suresh, Banit Agrawal, Jun Yang 0002, Walid A. Najjar	Energy-efficient encoding techniques for off-chip data buses.	ACM Trans. Embedded Comput. Syst.	2009	DBLP DOI BibTeX RDF	Low-power data buses, bus switching, internal capacitances, encoding
1	Weifeng Su, Jiying Wang, Frederick H. Lochovsky	ODE: Ontology-assisted data extraction.	ACM Trans. Database Syst.	2009	DBLP DOI BibTeX RDF	data value alignment, label assignment, Domain ontology
1	Chin Soon Lee	Ranking functions for size-change termination.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	?-Automaton, multiple recursion, size-change termination, determinization, ranking function, termination analysis
1	Sara Cohen, Maayan Shiloach	Flexible XML Querying Using Skyline Semantics.	ICDE	2009	DBLP DOI BibTeX RDF
1	Mao Lin Huang, Tze-Haw Huang, Jiawan Zhang	TreemapBar: Visualizing Additional Dimensions of Data in Bar Chart.	IV	2009	DBLP DOI BibTeX RDF
1	Julian Heinrich, Daniel Weiskopf	Continuous Parallel Coordinates.	IEEE Trans. Vis. Comput. Graph.	2009	DBLP DOI BibTeX RDF
1	Bo Hyoung Kim, Bongshin Lee, Susan Knoblach, Eric P. Hoffman, Jinwook Seo	GeneShelf: A Web-based Visual Interface for Large Gene Expression Time-Series Data Repositories.	IEEE Trans. Vis. Comput. Graph.	2009	DBLP DOI BibTeX RDF
1	Ross Maciejewski, Insoo Woo, Wei Chen 0001, David S. Ebert	Structuring Feature Space: A Non-Parametric Method for Volumetric Transfer Function Generation.	IEEE Trans. Vis. Comput. Graph.	2009	DBLP DOI BibTeX RDF
1	Martin Rauberger, Heinrich M. Overhoff	Interactive Boundary Detection for Automatic Definition of 2D Opacity Transfer Function.	Bildverarbeitung für die Medizin	2009	DBLP DOI BibTeX RDF
1	Ramez Alkhatib, Marc H. Scholl	Compacting XML Structures Using a Dynamic Labeling Scheme.	BNCOD	2009	DBLP DOI BibTeX RDF
1	Wenfei Fan, Floris Geerts, Xibei Jia	Conditional Dependencies: A Principled Approach to Improving Data Quality.	BNCOD	2009	DBLP DOI BibTeX RDF
1	Grigorios Loukides, Achilles Tziatzios, Jianhua Shao	Towards Preference-Constrained k-Anonymisation.	DASFAA Workshops	2009	DBLP DOI BibTeX RDF
1	Wenguang Chen, Wenfei Fan, Shuai Ma	Analyses and Validation of Conditional Dependencies with Built-in Predicates.	DEXA	2009	DBLP DOI BibTeX RDF
1	Morten Middelfart, Torben Bach Pedersen	Discovering Sentinel Rules for Business Intelligence.	DEXA	2009	DBLP DOI BibTeX RDF
1	Suriya Subramanian, Kathryn S. McKinley	HeDGE: Hybrid Dataflow Graph Execution in the Issue Logic.	HiPEAC	2009	DBLP DOI BibTeX RDF
1	Mónica Denham, Ana Cortés, Tomàs Margalef	Computational Steering Strategy to Calibrate Input Variables in a Dynamic Data Driven Genetic Algorithm for Forest Fire Spread Prediction.	ICCS	2009	DBLP DOI BibTeX RDF
1	Lukasz Ciszak	A Method for Automatic Discovery of Reference Data.	IEA/AIE	2009	DBLP DOI BibTeX RDF
1	Paul Sablonnière	Gradient Approximation on Uniform Meshes by Finite Differences and Cubic Spline Interpolation.	IMA Conference on the Mathematics of Surfaces	2009	DBLP DOI BibTeX RDF	gradient approximation, cubic splines
1	Diego Figueira, Luc Segoufin	Future-Looking Logics on Data Words and Trees.	MFCS	2009	DBLP DOI BibTeX RDF
1	Tony Tan	On Pebble Automata for Data Languages with Decidable Emptiness Problem.	MFCS	2009	DBLP DOI BibTeX RDF
1	Matthias Großmann, Nicola Hönle, Carlos Lübbe, Harald Weinschrott	An Abstract Processing Model for the Quality of Context Data.	QuaCon	2009	DBLP DOI BibTeX RDF
1	Amaldev Manuel, Ramaswamy Ramanujam	Counting Multiplicity over Infinite Alphabets.	RP	2009	DBLP DOI BibTeX RDF
1	Marcelo R. N. Mendes, Pedro Bizarro, Paulo Marques	A Performance Study of Event Processing Systems.	TPCTC	2009	DBLP DOI BibTeX RDF	Benchmarking, Complex Event Processing, Micro-benchmarks
1	Michael Greenacre, Paul Lewi	Distributional Equivalence and Subcompositional Coherence in the Analysis of Compositional Data, Contingency Tables and Ratio-Scale Measurements.	J. Classification	2009	DBLP DOI BibTeX RDF	Association models, Biplot, Log-ratio analysis, Spectral mapping, Singular value decomposition, Correspondence analysis
1	Dimitris Sacharidis, Antonios Deligiannakis, Timos K. Sellis	Hierarchically compressed wavelet synopses.	VLDB J.	2009	DBLP DOI BibTeX RDF	Wavelet synopsis, Data streams, Compression
1	Paul J. Blayney	An Investigation of the Incidence and Effect of Spreadsheet Errors Caused by the Hard Coding of Input Data Values into Formulas	CoRR	2008	DBLP BibTeX RDF
1	Cagatay Goncu, Kim Marriott	Tactile chart generation tool.	ASSETS	2008	DBLP DOI BibTeX RDF	tactile diagram, accessibility
1	Peng Zhou, Soner Önder	Improving single-thread performance with fine-grain state maintenance.	Conf. Computing Frontiers	2008	DBLP DOI BibTeX RDF	processor state, runahead, simultaneous multi-threading, checkpoint, recovery
1	Neil Mitchell, Colin Runciman	Not all patterns, but enough: an automatic verifier for partial but sufficient pattern matching.	Haskell	2008	DBLP DOI BibTeX RDF	pattern-match errors, functional programming, haskell, preconditions, automatic verification
1	Davide Lorenzoli, Leonardo Mariani, Mauro Pezzè	Automatic generation of software behavioral models.	ICSE	2008	DBLP DOI BibTeX RDF	gk-tail, dynamic analysis, model synthesis
1	Ming Hua, Jian Pei	DiMaC: a disguised missing data cleaning tool.	KDD	2008	DBLP DOI BibTeX RDF	disguised missing data, data quality, data cleaning
1	Isabella Mastroeni, Damiano Zanardini	Data dependencies and program slicing: from syntax to abstract semantics.	PEPM	2008	DBLP DOI BibTeX RDF	abstract non-interference, abstract interpretation, program slicing, dependency analysis
1	Ming Hua, Jian Pei	DiMaC: a system for cleaning disguised missing data.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	disguised missing data, data quality, data cleaning
1	Jens Bleiholder, Felix Naumann	Data fusion.	ACM Comput. Surv.	2008	DBLP DOI BibTeX RDF	data conflicts, data consolidation, data integration, data quality, Data cleansing, data merging
1	Michael Benedikt, Wenfei Fan, Floris Geerts	XPath satisfiability in the presence of DTDs.	J. ACM	2008	DBLP DOI BibTeX RDF	XML, Satisfiability, XPath, Containment, DTDs
1	Ronald Van den Berg, Frans W. Cornelissen, Jos B. T. M. Roerdink	Perceptual dependencies in information visualization assessed by complex visual search.	TAP	2008	DBLP DOI BibTeX RDF	feature hierarchy, perceptual dependencies, information visualization, Color, orientation, visual search, psychophysics, feature interaction, human vision, visual features, node-link diagrams
1	Yongsoo Joo, Youngjin Cho, Donghwa Shin, Jaehyun Park, Naehyuck Chang	An energy characterization platform for memory devices and energy-aware data compression for multilevel-cell flash memory.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	MLC, compression, flash memory
1	Amir M. Ben-Amram	Size-change termination with difference constraints.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	size-change graph, size-change termination, Abstraction, program analysis, termination analysis
1	Zijing Tan, Wei Wang 0009, Baile Shi	Reasoning and Merging in XML Data Integration.	AINA	2008	DBLP DOI BibTeX RDF	reasoning, xml, merging
1	Huajie Xu, Guohui Li	Density-Based Probabilistic Clustering of Uncertain Data.	CSSE	2008	DBLP DOI BibTeX RDF
1	Konrad J. Kulikowski, Vyas Venkataraman, Zhen Wang, Alexander Taubin	Power Balanced Gates Insensitive to Routing Capacitance Mismatch.	DATE	2008	DBLP DOI BibTeX RDF
1	Maarten Wiggers, Marco Bekooij, Gerard J. M. Smit	Computation of Buffer Capacities for Throughput Constrained and Data Dependent Inter-Task Communication.	DATE	2008	DBLP DOI BibTeX RDF
1	Anh Nguyen-Tuong, David Evans, John C. Knight, Benjamin Cox, Jack W. Davidson	Security through redundant data diversity.	DSN	2008	DBLP DOI BibTeX RDF
1	Fan Bai, Abbas Jamalipour	3D-DCT Data Aggregation Technique for Regularly Deployed Wireless Sensor Networks.	ICC	2008	DBLP DOI BibTeX RDF
1	Ejaz Ahmed, Nik Bessis, Yong Yue, Muhammad Sarfraz	Matching multiple elements in grid databases: A practical approach.	ICDIM	2008	DBLP DOI BibTeX RDF
1	Xiaoying Bai, Shufang Lee, Wei-Tek Tsai, Yinong Chen	Ontology-Based Test Modeling and Partition Testing of Web Services.	ICWS	2008	DBLP DOI BibTeX RDF
1	Christian Tominski, Georg Fuchs, Heidrun Schumann	Task-Driven Color Coding.	IV	2008	DBLP DOI BibTeX RDF
1	Z. M. Ma, Li Yan	Querying Imprecise Data in Sensor Databases.	MDM	2008	DBLP DOI BibTeX RDF	Sensors, Query, Sensor Databases, Imprecise Data
1	Chen Tian, Min Feng, Vijay Nagarajan, Rajiv Gupta	Copy or Discard execution model for speculative parallelization on multicores.	MICRO	2008	DBLP DOI BibTeX RDF
1	Elias Frentzos, Nikos Pelekis, Yannis Theodoridis	Cost Models and Efficient Algorithms on Existentially Uncertain Spatial Data.	Panhellenic Conference on Informatics	2008	DBLP DOI BibTeX RDF
1	Sven Bachthaler, Daniel Weiskopf	Continuous Scatterplots.	IEEE Trans. Vis. Comput. Graph.	2008	DBLP DOI BibTeX RDF
1	Stephen Lynn, David W. Embley	Semantically Conceptualizing and Annotating Tables.	ASWC	2008	DBLP DOI BibTeX RDF
1	Adel Bouhoula, Florent Jacquemard	Automated Induction with Constrained Tree Automata.	IJCAR	2008	DBLP DOI BibTeX RDF
1	Hyun-Jeong Seok, Gang Qian, Qiang Zhu, Alexander R. Oswald, Sakti Pramanik	Bulk-Loading the ND-Tree in Non-ordered Discrete Data Spaces.	DASFAA	2008	DBLP DOI BibTeX RDF	non-ordered discrete data space, algorithm, similarity search, Multidimensional indexing, bulk-loading
1	Yunpeng Li, Daniel P. Huttenlocher	Learning for Optical Flow Using Stochastic Optimization.	ECCV	2008	DBLP DOI BibTeX RDF
1	Tabinda Waheed, Muhammad Zohaib Z. Iqbal, Zafar I. Malik	Data Flow Analysis of UML Action Semantics for Executable Models.	ECMDA-FA	2008	DBLP DOI BibTeX RDF	Data Flow Analysis, Executable modeling, Executable UML, Action Semantics
1	Johann Eder, Karl Wiggisser	Modeling Transformations between Versions of a Temporal Data Warehouse.	ER Workshops	2008	DBLP DOI BibTeX RDF	Data Warehouse Maintenance, Temporal Data Warehouses, Data Transformation
1	Lei Jiang, Alexander Borgida, John Mylopoulos	Towards a Compositional Semantic Account of Data Quality Attributes.	ER	2008	DBLP DOI BibTeX RDF
1	Peter McBrien	Temporal Constraints in Non-temporal Data Modelling Languages.	ER	2008	DBLP DOI BibTeX RDF	conceptual modelling, Data modelling, temporal constraints, dynamic behaviour
1	Radu Mateescu, Damien Thivolle	A Model Checking Language for Concurrent Value-Passing Systems.	FM	2008	DBLP DOI BibTeX RDF
1	Marcin Blachnik, Jorma Laaksonen	Image Classification by Histogram Features Created with Learning Vector Quantization.	ICANN	2008	DBLP DOI BibTeX RDF
1	Lawrence Buckingham, James M. Hogan, Paul Roe, Jiro Sumitomo, Michael W. Towsey	Comparative Studies Simplified in GPFlow.	ICCS	2008	DBLP DOI BibTeX RDF	Collection Processing, Comparative Studies, eScience
1	Mónica Denham, Ana Cortés, Tomàs Margalef, Emilio Luque	Applying a Dynamic Data Driven Genetic Algorithm to Improve Forest Fire Spread Prediction.	ICCS	2008	DBLP DOI BibTeX RDF
1	Partha Mukherjee, Sandip Sen	Using Learned Data Patterns to Detect Malicious Nodes in Sensor Networks.	ICDCN	2008	DBLP DOI BibTeX RDF
1	M. K. Sabu, G. Raju	Rough Set Approaches for Mining Incomplete Information Systems.	ICIC	2008	DBLP DOI BibTeX RDF	missing attribute values, modified similarity relation, rough sets, similarity relation, characteristic set, indiscernibility relation
1	Mohammad Ali Kadampur, Durvasula V. L. N. Somayajulu	A Data Perturbation Method by Field Rotation and Binning by Averages Strategy for Privacy Preservation.	IDEAL	2008	DBLP DOI BibTeX RDF
1	Henrik Björklund, Wim Martens, Thomas Schwentick	Optimizing Conjunctive Queries over Trees Using Schema Information.	MFCS	2008	DBLP DOI BibTeX RDF
1	Nan-Chen Hsieh	Rule Extraction with Rough-Fuzzy Hybridization Method.	PAKDD	2008	DBLP DOI BibTeX RDF	rough sets, fuzzy sets, soft computing, Knowledge discovery in databases, fuzzy if-then rules