Search results for "Mappings"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Neil J. Robinson	Incremental Derivation of Abstraction Relations for Data Refinement.	ICFEM	2003	DBLP DOI BibTeX RDF
12	Alon Y. Halevy, Zachary G. Ives, Dan Suciu, Igor Tatarinov	Schema Mediation in Peer Data Management Systems.	ICDE	2003	DBLP DOI BibTeX RDF
12	Alon Y. Halevy, Zachary G. Ives, Peter Mork, Igor Tatarinov	Piazza: data management infrastructure for semantic web applications.	WWW	2003	DBLP DOI BibTeX RDF	XML, semantic web, peer data management systems
12	Petr Jancar	Strong Bisimilarity on Basic Parallel Processes is PSPACE-complete.	LICS	2003	DBLP DOI BibTeX RDF
12	Andrian Marcus, Louis Feng, Jonathan I. Maletic	Comprehension of Software Analysis Data Using 3D Visualization.	IWPC	2003	DBLP DOI BibTeX RDF
12	Tor M. Aamodt, Pedro Marcuello, Paul Chow, Antonio González 0001, Per Hammarlund, Hong Wang 0003, John Paul Shen	A framework for modeling and optimization of prescient instruction prefetch.	SIGMETRICS	2003	DBLP DOI BibTeX RDF	optimization, multithreading, analytical modeling, path expressions, helper threads, instruction prefetch
12	Xiaofeng Meng 0001, Haiyan Wang, Dongdong Hu, Chen Li 0001	A Supervised Visual Wrapper Generator for Web-Data Extraction.	COMPSAC	2003	DBLP DOI BibTeX RDF
12	Manfred Hauswirth, Anwitaman Datta, Karl Aberer	Handling Identity in Peer-to-Peer Systems.	DEXA Workshops	2003	DBLP DOI BibTeX RDF
12	Young-Kwang Nam, Joseph A. Goguen, Guilian Wang	A Metadata Tool for Retrieval from Heterogeneous Distributed XML Documents.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
12	Yannis Tzitzikas, Carlo Meghini	Ostensive Automatic Schema Mapping for Taxonomy-Based Peer-to-Peer Systems.	CIA	2003	DBLP DOI BibTeX RDF
12	Bernd Rieger, Lucas J. van Vliet	Representing Orientation in n-Dimensional Spaces.	CAIP	2003	DBLP DOI BibTeX RDF
12	Philip Bohannon, Juliana Freire, Prasan Roy, Jérôme Siméon	From XML Schema to Relations: A Cost-Based Approach to XML Storage.	ICDE	2002	DBLP DOI BibTeX RDF
12	Danny De Schreye, Alexander Serebrenik	Acceptability with General Orderings.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF	orderings, acceptability, termination analysis
12	Li Chen 0016, Elke A. Rundensteiner, Song Wang 0001	XCache: a semantic caching system for XML queries.	SIGMOD Conference	2002	DBLP DOI BibTeX RDF	XML
12	Olivier Gerbé, Guy W. Mineau	The CG Formalism as an Ontolingua for Web-Oriented Representation Languages.	ICCS	2002	DBLP DOI BibTeX RDF
12	Peng Wu 0001, Paul Feautrier, David A. Padua, Zehra Sura	Instance-wise points-to analysis for loop-based dependence testing.	ICS	2002	DBLP DOI BibTeX RDF	pointer arrays, Java, dependence analysis, pointer analysis, heap analysis
12	Seiji Yamada, Tomohiro Yamaguchi 0002	Mutual Learning of Mind Reading between a Human and a Life-Like Agent.	PRIMA	2002	DBLP DOI BibTeX RDF
12	Alexander Borgida, Luciano Serafini	Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources.	OTM	2002	DBLP DOI BibTeX RDF
12	Lu Xiao 0003, Howard M. Heys	Hardware Design and Analysisof Block Cipher Components.	ICISC	2002	DBLP DOI BibTeX RDF
12	Christoph Koch 0001	Query Rewriting with Symmetric Constraints.	FoIKS	2002	DBLP DOI BibTeX RDF
12	Chih-Fang Wang, Sartaj Sahni	Matrix Multiplication on the OTIS-Mesh Optoelectronic Computer.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	optoelectronic computer, Matrix multiplication, optimal algorithm, optical interconnect, OTIS-Mesh
12	Dieter Fensel, Ying Ding 0001, Borys Omelayenko, Ellen Schulten, Guy Botquin, Mike Brown, Alan Flett	Product Data Integration in B2B E-Commerce.	IEEE Intell. Syst.	2001	DBLP DOI BibTeX RDF
12	John Karro, James P. Cohoon	Gambit: A Tool for the Simultaneous Placement and Detailed Routing of Gate-Arrays.	FPL	2001	DBLP DOI BibTeX RDF
12	William Thies, Frédéric Vivien, Jeffrey Sheldon, Saman P. Amarasinghe	A Unified Framework for Schedule and Storage Optimization.	PLDI	2001	DBLP DOI BibTeX RDF
12	Alex Biryukov, Adi Shamir	Structural Cryptanalysis of SASAS.	EUROCRYPT	2001	DBLP DOI BibTeX RDF	Structural cryptanalysis, substitution permutation networks, substitution affine networks, Cryptanalysis, block ciphers, Rijndael
12	Yvon Jégou	Coupling DSM-Based Parallel Applications.	CCGRID	2001	DBLP DOI BibTeX RDF	DSM, memory mapping, code coupling, parallel communication
12	Willi Geiselmann, Rainer Steinwandt, Thomas Beth	Attacking the Affine Parts of SFLASH.	IMACC	2001	DBLP DOI BibTeX RDF
12	Yannis Velegrakis, Vassilis Christophides, Panos Constantopoulos	On Z39.50 wrapping and description logics.	Int. J. Digit. Libr.	2000	DBLP DOI BibTeX RDF	Z39.50 wrapping, Information retrieval, Description logics, Query rewriting
12	Anna Pogosyants, Roberto Segala, Nancy A. Lynch	Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study.	Distributed Comput.	2000	DBLP DOI BibTeX RDF	Randomized consensus, Verification, Performance analysis, Probabilistic automata
12	Philip A. Bernstein, Alon Y. Halevy, Rachel Pottinger	A Vision of Management of Complex Models.	SIGMOD Rec.	2000	DBLP DOI BibTeX RDF
12	Graham D. Finlayson, Steven D. Hordley	Improving gamut mapping color constancy.	IEEE Trans. Image Process.	2000	DBLP DOI BibTeX RDF
12	Konstantinos Daniilidis, Christopher Geyer	Omnidirectional Vision: Theory and Algorithms.	ICPR	2000	DBLP DOI BibTeX RDF
12	Cheol Ho Park, JaeWoong Chung, Byeong Hag Seong, Yangwoo Roh, Daeyeon Park	Boosting superpage utilization with the shadow memory and the partial-subblock TLB.	ICS	2000	DBLP DOI BibTeX RDF
12	Pavel Pták, Walter G. Kropatsch	Nearness in Digital Images and Proximity Spaces.	DGCI	2000	DBLP DOI BibTeX RDF
12	Kazunori Okada, Shigeru Akamatsu, Christoph von der Malsburg	Analysis and Synthesis of Pose Variations of Human Faces by a Linear PCMAP Model and its Application for Pose-Invariant Face Recognition System.	FG	2000	DBLP DOI BibTeX RDF
12	Toby Walsh	SAT v CSP.	CP	2000	DBLP DOI BibTeX RDF
12	Christopher Geyer, Konstantinos Daniilidis	A Unifying Theory for Central Panoramic Systems and Practical Applications.	ECCV (2)	2000	DBLP DOI BibTeX RDF
12	Alexander Serebrenik, Danny De Schreye	Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings.	LOPSTR (LNCS 2042: Selected Papers)	2000	DBLP DOI BibTeX RDF	acceptability, termination analysis, term-orderings
12	Volker Elling, Karsten Schwan	Min-Cut Methods for Mapping Dataflow Graphs.	Euro-Par	1999	DBLP DOI BibTeX RDF
12	Hao Pan 0002, Zhi-Pei Liang, Thomas S. Huang	Exploiting the Dependencies in Information Fusion.	CVPR	1999	DBLP DOI BibTeX RDF	maximium entropy, multisensory signals, video/audio, information fusion, Bayesian
12	György Elekes	On Linear Combinatorics II. Structure Theorems via Additive Number Theory.	Comb.	1998	DBLP DOI BibTeX RDF	AMS Subject Classification (1991) Classes: 20F12, 51A25, 52C10
12	Srinivas Raghothama, Vadim Shapiro	Boundary Representation Deformation in Parametric Solid Modeling.	ACM Trans. Graph.	1998	DBLP DOI BibTeX RDF	boundary deformation, parametric editing, soild modeling, boundary representation, cell complex, persistent naming, algebraic topology
12	Ralf Garionis	Quantifying Neighborhood Preservation: Joint Properties of Evolutionary and Unsupervised Neural Learning.	SEAL	1998	DBLP DOI BibTeX RDF
12	Anne R. Kenney, Louis H. Sharpe II, Barbara Berger	Illustrated Bood Study: Digital Conversion Requirements of Printed Illustrations.	ECDL	1998	DBLP DOI BibTeX RDF
12	Michelle Bacigalupi	The craft of movement in interaction design.	AVI	1998	DBLP DOI BibTeX RDF
12	Jan J. Koenderink, Andrea J. van Doorn	Shape from Chebyshev Nets.	ECCV (2)	1998	DBLP DOI BibTeX RDF
12	Philippe Massonet, Axel van Lamsweerde	Analogical Reuse of Requirements Frameworks.	RE	1997	DBLP DOI BibTeX RDF
12	Alongkrit Chutinan, Bruce H. Krogh	Computing Approximating Automata for a Class of Linear Hybrid Systems.	Hybrid Systems	1997	DBLP DOI BibTeX RDF
12	David C. Luckham, James Vera	An Event-Based Architecture Definition Language.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	partially ordered event sets, formal constraints, event patterns, simulation, architecture, concurrency, prototyping, causality, Rapide, architecture definition languages
12	John C. Grundy, John R. Venable	Providing Integrated Support for Multiple Development Notations	CAiSE	1995	DBLP DOI BibTeX RDF
12	Martine D. F. Schlag, Jackson Kong, Pak K. Chan	Routability-driven technology mapping for lookup table-based FPGA's.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1994	DBLP DOI BibTeX RDF
12	Madhusudhan Talluri, Mark D. Hill	Surpassing the TLB Performance of Superpages with Less Operating System Support.	ASPLOS	1994	DBLP DOI BibTeX RDF
12	Marianne E. Louie, Milos D. Ercegovac	On digit-recurrence division implementations for field programmable gate arrays.	IEEE Symposium on Computer Arithmetic	1993	DBLP DOI BibTeX RDF
12	Sami S. Bizzan, Graham A. Jullien, Neil M. Wigley, William C. Miller	Integer mapping architectures for the polynomial ring engine.	IEEE Symposium on Computer Arithmetic	1993	DBLP DOI BibTeX RDF
12	Luke O'Connor	On the Distribution of Characteristics in Composite Permutations.	CRYPTO	1993	DBLP DOI BibTeX RDF	iterated mapping, product cipher, Differential cryptanalysis
12	Carl-Fredrik Westin, Hans Knutsson	The Möbius Strip Parameterization for Line Extraction.	ECCV	1992	DBLP DOI BibTeX RDF
12	James B. Armstrong, Mark A. Nichols, Howard Jay Siegel, Leah H. Jamieson	Examining the effects of CU/PE overlap and synchronization overhead when using the complete sums approach to image correlation.	SPDP	1991	DBLP DOI BibTeX RDF
12	H. V. Jagadish	Linear Clustering of Objects with Multiple Atributes.	SIGMOD Conference	1990	DBLP DOI BibTeX RDF
12	Joydeep Ghosh, Richard L. Holmberg	Multisensor fusion using neural networks.	SPDP	1990	DBLP DOI BibTeX RDF
12	Leonid A. Kalinichenko	Methods and Tools for Equivalent Data Model Mapping Construction.	EDBT	1990	DBLP DOI BibTeX RDF
12	Victor M. Markowitz, Arie Shoshani	On the Correctness of Representing Extended Entity-Relationship Structures in the Relational Model.	SIGMOD Conference	1989	DBLP DOI BibTeX RDF
12	Christos Faloutsos, Shari Roseman	Fractals for Secondary Key Retrieval.	PODS	1989	DBLP DOI BibTeX RDF
12	Philippe Flajolet, Andrew M. Odlyzko	Random Mapping Statistics.	EUROCRYPT	1989	DBLP DOI BibTeX RDF
12	Paavo Turakainen	The Equivalence of DGSM Replications on Q-Rational Languages is Decidable.	ICALP	1988	DBLP DOI BibTeX RDF
12	Alain Fournier, Eugene Fiume	Constant-time filtering with space-variant kernels.	SIGGRAPH	1988	DBLP DOI BibTeX RDF
12	Erik Sandewall	Unified Dialogue Management in the Carousel System.	POPL	1982	DBLP DOI BibTeX RDF
12	Juris Hartmanis, Theodore P. Baker	On Simple Goedel Numberings and Translations.	ICALP	1974	DBLP DOI BibTeX RDF	Goedel numberings, complexity of translations, optimal Goedel numberings, translations
12	A. E. Roberts	A general formalation of storage allocation.	Commun. ACM	1961	DBLP DOI BibTeX RDF
11	Honglin Luo, Xianfu Wang, Xinmin Yang	Various Notions of Nonexpansiveness Coincide for Proximal Mappings of Functions.	SIAM J. Optim.	2024	DBLP DOI BibTeX RDF
11	Cong-Shan Wang, Lu-Chuan Ceng, Bing Li, Sheng-Long Cao, Hui-Ying Hu, Yun-Shui Liang	Modified Inertial-Type Subgradient Extragradient Methods for Variational Inequalities and Fixed Points of Finite Bregman Relatively Nonexpansive and Demicontractive Mappings.	Axioms	2024	DBLP DOI BibTeX RDF
11	Maryam Iqbal, Amjad Ali, Hamed H. Al-Sulami, Aftab Hussain 0004	Iterative Stability Analysis for Generalized α-Nonexpensive Mappings with Fixed Points.	Axioms	2024	DBLP DOI BibTeX RDF
11	Satish Shukla, Nikita Dubey, Rahul Shukla, Ivan Mezník	Coincidence Point of Edelstein Type Mappings in Fuzzy Metric Spaces and Application to the Stability of Dynamic Markets.	Axioms	2024	DBLP DOI BibTeX RDF
11	Alexander J. Zaslavski	Convergence Results for Contractive Type Set-Valued Mappings.	Axioms	2024	DBLP DOI BibTeX RDF
11	Mohammad Farid, Saud Fahad Aldosary	An Iterative Approach with the Inertial Method for Solving Variational-like Inequality Problems with Multivalued Mappings in a Banach Space.	Symmetry	2024	DBLP DOI BibTeX RDF
11	Alexander J. Zaslavski	Fixed Point and Convergence Results for Contractive-Type Self-Mappings of Metric Spaces with Graphs.	Symmetry	2024	DBLP DOI BibTeX RDF
11	Ferhat Karaman, Jill Lany, Jessica F. Hay	Can Infants Retain Statistically Segmented Words and Mappings Across a Delay?	Cogn. Sci.	2024	DBLP DOI BibTeX RDF
11	Tengyu Hou, Ye Ding, Xiangyang Zhu	A Geometric Framework for Stiffness Mappings of Compliant Robotic Systems on the Special Euclidean Group.	IEEE Trans. Robotics	2024	DBLP DOI BibTeX RDF
11	Pål Anders Floor, Tor A. Ramstad	Shannon-Kotel'nikov Mappings for Analog Point-to-Point Communications.	IEEE Trans. Inf. Theory	2024	DBLP DOI BibTeX RDF
11	Florian Wetzels, Mathieu Pont, Julien Tierny, Christoph Garth	Merge Tree Geodesics and Barycenters with Path Mappings.	IEEE Trans. Vis. Comput. Graph.	2024	DBLP DOI BibTeX RDF
11	Óscar Fresnedo, Pedro Suárez-Casal, Luis Castedo	Transmission of Spatio-Temporal Correlated Sources Over Fading Multiple Access Channels With DQLC Mappings.	CoRR	2024	DBLP DOI BibTeX RDF
11	Yuki Akiyama, Minh Vu, Konstantinos Slavakis	Nonparametric Bellman Mappings for Reinforcement Learning: Application to Robust Adaptive Filtering.	CoRR	2024	DBLP DOI BibTeX RDF
11	Marco Sutti, Mei-Heng Yueh	Riemannian gradient descent for spherical area-preserving mappings.	CoRR	2024	DBLP DOI BibTeX RDF
11	Henrik Häggström, Pedro L. C. Rodrigues, Geoffroy Oudoumanessah, Florence Forbes, Umberto Picchini	Fast, accurate and lightweight sequential simulation-based inference using Gaussian locally linear mappings.	CoRR	2024	DBLP DOI BibTeX RDF
11	Zijian Liang, Kai Niu 0001, Jin Xu, Ping Zhang 0003	Semantic Arithmetic Coding using Synonymous Mappings.	CoRR	2024	DBLP DOI BibTeX RDF
11	Pedro Suárez-Casal, Óscar Fresnedo, Darian Pérez-Adán, Luis Castedo	Lattice-Based Analog Mappings for Low-Latency Wireless Sensor Networks.	CoRR	2024	DBLP DOI BibTeX RDF
11	Carlos A. Velazquez-Vargas, Isaac Ray Christian, Jordan A. Taylor, Sreejan Kumar	Learning to Abstract Visuomotor Mappings using Meta-Reinforcement Learning.	CoRR	2024	DBLP DOI BibTeX RDF
11	Han Zhang, Daoping Zhang, Lok Ming Lui	QIS : Interactive Segmentation via Quasi-Conformal Mappings.	CoRR	2024	DBLP DOI BibTeX RDF
11	Hazilah Mad Kaidi, Norulhusna Binti Ahmad, Mohd Azri Mohd Izhar, Ngu War Hlaing, Kamilia Kamardin, Shamsul Sarip, Rudzidatul Akmam Dziyauddin, Norliza Mohamed	Extended modulation mappings for hybrid ARQ in wireless communication systems.	Soft Comput.	2024	DBLP DOI BibTeX RDF
11	Xinyuan Zhang, Yixue Feng, Fang Li, Jin Ding, Danyal Tahseen, Ezekiel Hinojosa, Yong Chen, Cui Tao	Evaluating MedDRA-to-ICD terminology mappings.	BMC Medical Informatics Decis. Mak.	2024	DBLP DOI BibTeX RDF
11	Prashanta Majee, Sonu Bai, Sahadeo Padhye	On some fast iterative methods for split variational inclusion problem and fixed point problem of demicontractive mappings.	Comput. Appl. Math.	2024	DBLP DOI BibTeX RDF
11	Youming Ge, Cong Huang, Yubao Liu, Sen Zhang, Weiyang Kong	Unsupervised social network embedding via adaptive specific mappings.	Frontiers Comput. Sci.	2024	DBLP DOI BibTeX RDF
11	Changzhong Wang, Yan Wang, Tingquan Deng, Weiping Ding 0001	Missing multi-label learning based on the fusion of two-level nonlinear mappings.	Inf. Fusion	2024	DBLP DOI BibTeX RDF
11	Nicholas Gardella, Sara Lu Riggs	Establishing Natural Tactile Mappings: Mapping Tactile Parameters to Continuous Data Concepts.	IEEE Trans. Haptics	2024	DBLP DOI BibTeX RDF
11	Vladimir A. Garanzha, Igor E. Kaporin, Liudmila N. Kudryavtseva, François Protais, Dmitry Sokolov 0002	In the Quest for Scale-optimal Mappings.	ACM Trans. Graph.	2024	DBLP DOI BibTeX RDF
11	Arif Usta, Akifhan Karakayali, Özgür Ulusoy	xDBTagger: explainable natural language interface to databases using keyword mappings and schema graph.	VLDB J.	2024	DBLP DOI BibTeX RDF
11	Michael Winter 0002, Heiko Neumann, Rüdiger Pryss, Thomas Probst, Manfred Reichert	Defining gaze patterns for process model literacy - Exploring visual routines in process models with diverse mappings.	Expert Syst. Appl.	2023	DBLP DOI BibTeX RDF
11	Michael Winter 0002, Heiko Neumann, Rüdiger Pryss, Thomas Probst, Manfred Reichert	Corrigendum to "Defining gaze patterns for process model literacy - Exploring visual routines in process models with diverse mappings" [Expert Syst. Appl. 213 (2023) 119217].	Expert Syst. Appl.	2023	DBLP DOI BibTeX RDF
11	Yeow Meng Chee, Tuvi Etzion, Han Mao Kiah, Alexander Vardy	Domination mappings into the hamming ball: Existence, constructions, and algorithms.	Adv. Math. Commun.	2023	DBLP DOI BibTeX RDF
11	Victor Eiti Yamamoto, Juliana Medeiros Destro, Júlio Cesar dos Reis	Context-based refinement of mappings in evolving life science ontologies.	J. Biomed. Semant.	2023	DBLP DOI BibTeX RDF
11	Leon Liu, Walaa M. Moursi, Jon Vanderwerff	Strongly Nonexpansive Mappings Revisited: Uniform Monotonicity and Operator Splitting.	SIAM J. Optim.	2023	DBLP DOI BibTeX RDF