|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2715 occurrences of 1652 keywords
|
|
|
Results
Found 5269 publication records. Showing 5269 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Yuan An, Thodoros Topaloglou |
Maintaining Semantic Mappings between Database Schemas and Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWDB-ODBIS ![In: Semantic Web, Ontologies and Databases, VLDB Workshop, SWDB-ODBIS 2007, Vienna, Austria, September 24, 2007, Revised Selected Papers, pp. 138-152, 2007, Springer, 978-3-540-70959-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Luigi Iannone, Olivier Bonaventure |
On the cost of caching locator/ID mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoNEXT ![In: Proceedings of the 2007 ACM Conference on Emerging Network Experiment and Technology, CoNEXT 2007, New York, NY, USA, December 10-13, 2007, pp. 7, 2007, ACM, 978-1-59593-770-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
locator/ID separation, routing, LISP, addressing, internet architecture |
17 | Julio J. Valdés, Robert Orchard, Alan J. Barton |
Exploring medical data using visual spaces with genetic programming and implicit functional mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (Companion) ![In: Genetic and Evolutionary Computation Conference, GECCO 2007, Proceedings, London, England, UK, July 7-11, 2007, Companion Material, pp. 2953-2960, 2007, ACM, 978-1-59593-698-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
colon cancer, vector functions, virtual reality, genetic programming, breast cancer |
17 | Simone G. O. Fiori |
Neural Learning Algorithms Based on Mappings: The Case of the Unitary Group of Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN (1) ![In: Artificial Neural Networks - ICANN 2007, 17th International Conference, Porto, Portugal, September 9-13, 2007, Proceedings, Part I, pp. 858-863, 2007, Springer, 978-3-540-74689-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Mahmut T. Kandemir, Ozcan Ozturk 0001, Vijay Degalahal |
Enhancing Locality in Two-Dimensional Space through Integrated Computation and Data Mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 20th International Conference on VLSI Design (VLSI Design 2007), Sixth International Conference on Embedded Systems (ICES 2007), 6-10 January 2007, Bangalore, India, pp. 227-232, 2007, IEEE Computer Society, 0-7695-2762-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Tadeusz Pankowski, Jolanta Cybulka, Adam Meissner |
Reasoning About XML Schema Mappings in the Presence of Key Constraints and Value Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems, First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007, Proceedings, pp. 374-376, 2007, Springer, 978-3-540-72981-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | K. Selçuk Candan, Jong Wook Kim, Huan Liu 0001, Reshma Suvarna |
Discovering mappings in hierarchical data from multiple sources using the inherent structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 10(2), pp. 185-210, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Retrieval and mining of semantics, Extracting and mining semantics from multimedia databases, Knowledge discovery in XML, Hierarchical multimedia, Structure-based mining, Ontologies, Multimodal integration |
17 | Yen-Ying Huang, Shi-Chun Tsai, Hsin-Lung Wu |
On the Construction of Permutation Arrays via Mappings from Binary Vectors to Permutations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 40(2), pp. 139-155, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
AMS Classification 94B05 |
17 | Maria-Florina Balcan, Avrim Blum, Santosh S. Vempala |
Kernels as features: On kernels, margins, and low-dimensional mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Learn. ![In: Mach. Learn. 65(1), pp. 79-94, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Jen-Chun Chang |
Distance-increasing mappings from binary vectors to permutations that increase hamming distances by at least two. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 52(4), pp. 1683-1689, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Liliya Kharevych, Boris Springborn, Peter Schröder |
Discrete conformal mappings via circle patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 25(2), pp. 412-438, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
circle patterns, discrete analytic functions, meshing, texture mapping, discrete differential geometry, Conformal parameterizations |
17 | Ronald Fagin |
Inverting schema mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 26-28, 2006, Chicago, Illinois, USA, pp. 50-59, 2006, ACM, 1-59593-318-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
computational complexity, data integration, dependencies, data exchange, schema mapping, inverse, chase, second-order logic, metadata model management |
17 | Fredrik Hekland, Tor A. Ramstad |
Digitising the 2: 1 Shannon Mappings for Transport over Heterogeneous Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCC ![In: 2006 Data Compression Conference (DCC 2006), 28-30 March 2006, Snowbird, UT, USA, pp. 455, 2006, IEEE Computer Society, 0-7695-2545-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Priti Patil, Jayant R. Haritsa |
Holistic Schema Mappings for XML-on-RDBMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASFAA ![In: Database Systems for Advanced Applications, 11th International Conference, DASFAA 2006, Singapore, April 12-15, 2006, Proceedings, pp. 741-756, 2006, Springer, 3-540-33337-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Barry O'Donnell, Paul F. Curran, Orla Feely |
Bifurcation theory of a class of perturbed mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2006), 21-24 May 2006, Island of Kos, Greece, 2006, IEEE, 0-7803-9389-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Zinovy Diskin, Jürgen Dingel |
Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings, pp. 230-244, 2006, Springer, 3-540-45772-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Andrzej Bargiela, Witold Pedrycz |
Granular mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 35(2), pp. 292-297, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Bruce N. Walker, Gregory Kramer |
Mappings and metaphors in auditory displays: An experimental assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Appl. Percept. ![In: ACM Trans. Appl. Percept. 2(4), pp. 407-412, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
guidelines, metaphors, Sonification, auditory display, data mapping |
17 | Nicolas Gresset, Joseph Boutros, Loïc Brunel |
Multidimensional Mappings for Iteratively Decoded BICM on Multiple-Antenna Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 51(9), pp. 3337-3346, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Claude Carlet, Cunsheng Ding, Jin Yuan |
Linear codes from perfect nonlinear mappings and their secret sharing schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 51(6), pp. 2089-2102, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Rafael Martí, Francisco Montes, Abdellah El-Fallahi |
Approximating Unknown Mappings: An Experimental Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Heuristics ![In: J. Heuristics 11(3), pp. 219-232, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
data mining, prediction, metaheuristics, statistical regression |
17 | Roman N. Karasev |
Partitions of a Polytope and Mappings of a Point Set to Facets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 34(1), pp. 25-45, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Siavash Zokai, George Wolberg |
Image Registration Using Log-Polar Mappings for Recovery of Large-Scale Similarity and Projective Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 14(10), pp. 1422-1434, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Raymond Leung, David S. Taubman |
Perceptual mappings for visual quality enhancement in scalable video compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (2) ![In: Proceedings of the 2005 International Conference on Image Processing, ICIP 2005, Genoa, Italy, September 11-14, 2005, pp. 65-68, 2005, IEEE, 0-7803-9134-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Jaewoo Kang, Tae Sik Han, Dongwon Lee 0001, Prasenjit Mitra |
Establishing value mappings using statistical models and user feedback. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 2005 ACM CIKM International Conference on Information and Knowledge Management, Bremen, Germany, October 31 - November 5, 2005, pp. 68-75, 2005, ACM, 1-59593-140-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
semantic correspondences, value mapping, statistical model, user feedback |
17 | Per Kristian Lehre, Pauline C. Haddow |
Accessibility between neutral networks in indirect genotype-phenotype mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2005, 2-4 September 2005, Edinburgh, UK, pp. 419-426, 2005, IEEE, 0-7803-9363-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Yuan An, Alexander Borgida, John Mylopoulos |
Inferring Complex Semantic Mappings Between Relational Tables and Ontologies from Simple Correspondences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (2) ![In: On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE, OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, Part II, pp. 1152-1169, 2005, Springer, 3-540-29738-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Christopher Carner, Miao Jin, Xianfeng Gu, Hong Qin 0001 |
Topology-driven Surface Mappings with Robust Feature Alignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Visualization ![In: 16th IEEE Visualization Conference, IEEE Vis 2005, Minneapolis, MN, USA, October 23-28, 2005, Proceedings, pp. 543-550, 2005, IEEE Computer Society, 0-7803-9462-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Riemannian surface, Surface parameterization |
17 | David Shafrir, Nir A. Sochen, Rachid Deriche |
Regularization of Mappings Between Implicit Manifolds of Arbitrary Dimension and Codimension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSM ![In: Variational, Geometric, and Level Set Methods in Computer Vision, Third International Workshop, VLSM 2005, Beijing, China, October 16, 2005, Proceedings, pp. 344-355, 2005, Springer, 3-540-29348-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Taizo Shirai, Bart Preneel |
On Feistel Ciphers Using Optimal Diffusion Mappings Across Multiple Rounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT 2004, 10th International Conference on the Theory and Application of Cryptology and Information Security, Jeju Island, Korea, December 5-9, 2004, Proceedings, pp. 1-15, 2004, Springer, 3-540-23975-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
optimal diffusion mapping, active S-boxes, MDS, Feistel cipher |
17 | Katharina Probst, Alon Lavie |
A Structurally Diverse Minimal Corpus for Eliciting Structural Mappings Between Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMTA ![In: Machine Translation: From Real Users to Research, 6th Conference of the Association for Machine Translation in the Americas, AMTA 2004, Washington, DC, USA, September 28-October 2, 2004, Proceedings, pp. 217-226, 2004, Springer, 3-540-23300-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Oded Shmueli, George A. Mihaila, Sriram Padmanabhan |
Query-Customized Rewriting and Deployment of DB-to-XML Mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: Advances in Database Technology - EDBT 2004, 9th International Conference on Extending Database Technology, Heraklion, Crete, Greece, March 14-18, 2004, Proceedings, pp. 274-291, 2004, Springer, 3-540-21200-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Floris Wiesman, Nico Roos |
Domain Independent Learning of Ontology Mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 19-23 August 2004, New York, NY, USA, pp. 846-853, 2004, IEEE Computer Society, 1-58113-864-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Boris Böhlen |
Specific Graph Models and Their Mappings to a Common Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGTIVE ![In: Applications of Graph Transformations with Industrial Relevance, Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers, pp. 45-60, 2003, Springer, 3-540-22120-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Jaco Geldenhuys, Antti Valmari |
A Nearly Memory-Optimal Data Structure for Sets and Mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings, pp. 136-150, 2003, Springer, 3-540-40117-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Maya Ramanath, Juliana Freire, Jayant R. Haritsa, Prasan Roy |
Searching for Efficient XML-to-Relational Mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Xsym ![In: Database and XML Technologies, First International XML Database Symposium, XSym 2003, Berlin, Germany, September 8, 2003, Proceedings, pp. 19-36, 2003, Springer, 3-540-20055-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Millist W. Vincent, Jixue Liu, Chengfei Liu |
Redundancy Free Mappings from Relations to XML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAIM ![In: Advances in Web-Age Information Management, 4th International Conference, WAIM 2003, Chengdu, China, August 17-19, 2003, Proceedings, pp. 55-67, 2003, Springer, 3-540-40715-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Mohamed F. Mokbel, Walid G. Aref |
On Querz Processing and Optimality Using Spectral Locality-Preserving Mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSTD ![In: Advances in Spatial and Temporal Databases, 8th International Symposium, SSTD 2003, Santorini Island, Greece, July 24-27, 2003, Proceedings, pp. 102-121, 2003, Springer, 3-540-40535-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Helger Lipmaa |
On Differential Properties of Pseudo-Hadamard Transform and Related Mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDOCRYPT ![In: Progress in Cryptology - INDOCRYPT 2002, Third International Conference on Cryptology in India, Hyderabad, India, December 16-18, 2002, pp. 48-61, 2002, Springer, 3-540-00263-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
differential probability, Pseudo-Hadamard Transform, Twofish, linear functions |
17 | Elzbieta Pekalska, Robert P. W. Duin |
Spatial Representation of Dissimilarity Data via Lower-Complexity Linear and Nonlinear Mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSPR/SPR ![In: Structural, Syntactic, and Statistical Pattern Recognition, Joint IAPR International Workshops SSPR 2002 and SPR 2002, Windsor, Ontario, Canada, August 6-9, 2002, Proceedings, pp. 488-497, 2002, Springer, 3-540-44011-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Thomas Mandl 0001, Christa Womser-Hacker |
Fusion Approaches for Mappings between Heterogeneous Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECDL ![In: Research and Advanced Technology for Digital Libraries, 5th European Conference, ECDL 2001, Darmstadt, Germany, September 4-9, 2001, Proceedings, pp. 83-94, 2001, Springer, 3-540-42537-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Maria João Varanda Pereira, Pedro Rangel Henriques |
Visualization/Animation of Programs based on Abstract Representations and Formal Mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCC ![In: 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), September 5-7, 2001 Stresa, Italy, pp. 373-, 2001, IEEE Computer Society, 0-7803-7198-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Meike Klettke, Holger Meyer 0001 |
XML and Object-Relational Database Systems - Enhancing Structural Mappings Based on Statistics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WebDB (Selected Papers) ![In: The World Wide Web and Databases, Third International Workshop WebDB 2000, Dallas, Texas, USA, Maaay 18-19, 2000, Selected Papers, pp. 151-170, 2000, Springer, 3-540-41826-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Partitioned Normal Form (PNF), XML, Mapping, DTD, Object-relational Databases |
17 | Eladio Domínguez, María Antonia Zapata |
Mappings and Interoperability: A Meta-modelling Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADVIS ![In: Advances in Information Systems, First International Conference, ADVIS 2000, Izmir, Turkey, 25-27 October 2000, Proceedings, pp. 352-362, 2000, Springer, 3-540-41184-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Alan A. Bertossi, Maria Cristina Pinotti |
Mappings for Conflict-Free Access of Paths in Elementary Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 6th Annual International Conference, COCOON 2000, Sydney, Australia, July 26-28, 2000, Proceedings, pp. 351-361, 2000, Springer, 3-540-67787-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Girish Welling, Maximilian Ott |
Customizing IDL Mappings and ORB Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Middleware ![In: Middleware 2000, IFIP/ACM International Conference on Distributed Systems Platforms, New York, NY, USA, April 4-7, 2000, Proceedings, pp. 396-414, 2000, Springer, 3-540-67352-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | James B. Armstrong, Muthucumaru Maheswaran, Mitchell D. Theys, Howard Jay Siegel, Mark A. Nichols, Kenneth H. Casey |
Parallel Image Correlation: Case Study to Examine Trade-Offs in Algorithm-to-Machine Mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 12(1-2), pp. 7-35, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
nCUBE 2, PASM prototype, scalability, SIMD, MIMD, Intel Paragon, image correlation, mixed-mode, MasPar MP-1 |
17 | Anders Åström, Robert Forchheimer, Per-Erik Danielsson |
Intensity mappings within the context of near-sensor image processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 7(12), pp. 1736-1741, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Fabien Coelho |
Compiling Dynamic Mappings with Array Copies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the Sixth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), Las Vegas, Nevada, USA, June 18-21, 1997, pp. 168-179, 1997, ACM, 0-89791-906-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
FORTRAN |
17 | David P. Kopcso, Leo Pipino, William Rybolt, Anne Rybolt |
The Human Machine Interface in Decision Support Systems: Comparing the Functional Mappings of Human Subjects to those Generated by Feedforward Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 29th Annual Hawaii International Conference on System Sciences (HICSS-29), January 3-6, 1996, Maui, Hawaii, USA, pp. 427-436, 1996, IEEE Computer Society, 0-8186-7324-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Kaisa Nyberg |
Differentially Uniform Mappings for Cryptography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT '93, Workshop on the Theory and Application of of Cryptographic Techniques, Lofthus, Norway, May 23-27, 1993, Proceedings, pp. 55-64, 1993, Springer, 3-540-57600-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Shan-Hwei Nienhuys-Cheng, Peter A. Flach |
Consistent Term Mappings, Term Partitions and Inverse Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWSL ![In: Machine Learning - EWSL-91, European Working Session on Learning, Porto, Portugal, March 6-8, 1991, Proceedings, pp. 361-374, 1991, Springer, 3-540-53816-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Inverse resolution, absorption, substitution |
17 | L. Beneteau |
The Symplectic Trilinear Mappings: An Algorithmic Approach of the Classification; Case of the Field GF(3). ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAECC ![In: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 8th International Symposium, AAECC-8, Tokyo, Japan, August 20-24, 1990, Proceedings, pp. 267-279, 1990, Springer, 3-540-54195-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Guozhu Dong |
On the Composition and Decomposition of Datalog Program Mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: ICDT'88, 2nd International Conference on Database Theory, Bruges, Belgium, August 31 - September 2, 1988, Proceedings, pp. 87-101, 1988, Springer, 3-540-50171-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
17 | Juhani Karhumäki |
The equivalence of mappings on languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMYCS ![In: Trends, Techniques, and Problems in Theoretical Computer Science, 4th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, October 13-17, 1986, Proceedings, pp. 26-38, 1986, Springer, 3-540-18535-6. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
17 | Don S. Batory |
Conceptual-To-Internal Mappings in Commercial Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Third ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, April 2-4, 1984, Waterloo, Ontario, Canada, pp. 70-78, 1984, ACM, 0-89791-128-8. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
17 | Arthur G. Duncan, Lawrence Yelowitz |
Studies in Abstract/Concrete Mappings in Proving Algorithm Correctness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 6th Colloquium, Graz, Austria, July 16-20, 1979, Proceedings, pp. 218-229, 1979, Springer, 3-540-09510-1. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
17 | Christian Choffrut |
A Generalization of Ginsburg and Rose's Characterization of G-S-M Mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 6th Colloquium, Graz, Austria, July 16-20, 1979, Proceedings, pp. 88-103, 1979, Springer, 3-540-09510-1. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
17 | Paolo Paolini, Giuseppe Pelagatti |
Formal Definition of Mappings in a Data Base. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1977 ACM SIGMOD International Conference on Management of Data, Toronto, Canada, August 3-5, 1977., pp. 40-46, 1977, ACM, 978-1-4503-7343-2. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
15 | Florian Berger, Rolf Klein |
A traveller's problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 26th ACM Symposium on Computational Geometry, Snowbird, Utah, USA, June 13-16, 2010, pp. 176-182, 2010, ACM, 978-1-4503-0016-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
affine mappings, continuous dijkstra, frogger, pseudo-polynomial approximation, computational geometry, partition, np-hardness, motion planning, undecidability |
15 | Hao-wei Hsieh, Katherine Pauls, Amber Jansen, Gautam Nimmagadda, Frank M. Shipman III |
Assisting two-way mapping generation in hypermedia workspace. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HT ![In: HT'10, Proceedings of the 21st ACM Conference on Hypertext and Hypermedia, Toronto, Ontario, Canada, June 13-16, 2010, pp. 99-108, 2010, ACM, 978-1-4503-0041-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
editable visualizations, two-way mappings, information visualization, spatial hypertext, information workspace |
15 | Igor V. Konnov 0002 |
Solution Methods for Multivalued Variational Inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 3625-3639, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Multivalued mappings, Solution methods, Variational inequalities |
15 | Alex M. Rubinov |
Nondifferentiable Optimization: Newton Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 2602-2607, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Variational inequality problem, Nonlinear complementary problem, Approximation of nonsmooth mappings, Semismooth mapping, Smoothing, Newton method, Superlinear convergence |
15 | Yanan Fan, Gareth W. Peters, Scott A. Sisson |
Automating and evaluating reversible jump MCMC proposal distributions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stat. Comput. ![In: Stat. Comput. 19(4), pp. 409-421, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Between-model mappings, Path sampling, Transdimensional MCMC, Markov chain Monte Carlo, Density estimation, Reversible jump |
15 | Lu-Chuan Ceng, Qamrul Hasan Ansari, Jen-Chih Yao |
Viscosity approximation methods for generalized equilibrium problems and fixed point problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 43(4), pp. 487-502, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Viscosity approximation method, Generalized equilibrium problem, Nonexpansive mappings, Strong convergence, Fixed points |
15 | Daya C. Wimalasuriya, Dejing Dou |
Using multiple ontologies in information extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 18th ACM Conference on Information and Knowledge Management, CIKM 2009, Hong Kong, China, November 2-6, 2009, pp. 235-244, 2009, ACM, 978-1-60558-512-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
ontologies, information extraction, mappings |
15 | Vânia Maria Ponte Vidal, Eveline R. Sacramento, José Antônio Fernandes de Macêdo, Marco A. Casanova |
An Ontology-Based Framework for Geographic Data Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER Workshops ![In: Advances in Conceptual Modeling - Challenging Perspectives, ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009. Proceedings, pp. 337-346, 2009, Springer, 978-3-642-04946-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Web Feature Service, ontologies, query processing, data integration, schema mappings, geographic information retrieval |
15 | Rick Salay, John Mylopoulos, Steve M. Easterbrook |
Using Macromodels to Manage Collections of Related Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 21st International Conference, CAiSE 2009, Amsterdam, The Netherlands, June 8-12, 2009. Proceedings, pp. 141-155, 2009, Springer, 978-3-642-02143-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Modeling, Mappings, Metamodeling, Relationships, Macromodeling |
15 | Victor Felea |
A Strong Containment Problem for Queries in Conjunctive Form with Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBKDA ![In: The First International Conference on Advances in Databases, Knowledge, and Data Applications, DBKDS 2009, Gosier, Guadeloupe, France, 1-6 March 2009, pp. 114-119, 2009, IEEE Computer Society, 978-0-7695-3550-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
containment mappings, Conjunctive queries, negation |
15 | Sebastian Boring, Marko Jurmu, Andreas Butz |
Scroll, tilt or move it: using mobile phones to continuously control pointers on large public displays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OZCHI ![In: Proceedings of the 21st Australasian Computer-Human Interaction Conference, OZCHI 2009: Open 24/7, Melbourne, Australia, November 23-27, 2009, pp. 161-168, 2009, ACM, 978-1-60558-854-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
input techniques/mappings, optical flow, accelerometers, target acquisition, fatigue, cursor control |
15 | Aurobi Das, V. Balakrishnan |
A next generation smart energy technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIS ![In: Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human (ICIS 2009), Seoul, Korea, 24-26 November 2009, pp. 1212-1218, 2009, ACM, 978-1-60558-710-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Kyoto protocol, NASA surface meteorology and solar energy data on solar energy resources, SAP-SOA energy optimization model, acceptance index, energy service companies, enterprise SAP-SOA net weaver architecture, green house gas, market potential mappings, next generation smart-grid through pervasive computing, systems applications products in data processing, service-oriented-architecture, enterprise resource planning |
15 | Elimhan N. Mahmudov |
Sufficient conditions for optimality for differential inclusions of parabolic type and duality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 41(1), pp. 31-42, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Conjugate mappings, Conjugate function, Duality, Sufficient conditions, Subdifferential, Multivalued |
15 | Philip A. Bernstein, Todd J. Green, Sergey Melnik 0001, Alan Nash |
Implementing mapping composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB J. ![In: VLDB J. 17(2), pp. 333-353, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mapping composition, Schema mappings, Model management |
15 | Qiang Wang 0012 |
Cyclotomic Mapping Permutation Polynomials over Finite Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSC ![In: Sequences, Subsequences, and Consequences, International Workshop, SSC 2007, Los Angeles, CA, USA, May 31 - June 2, 2007, Revised Invited Papers, pp. 119-128, 2007, Springer, 978-3-540-77403-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
cyclotomic mappings, generalized Lucas sequences, Dickson polynomials, finite fields, permutation polynomials |
15 | Todd J. Green, Gregory Karvounarakis, Nicholas E. Taylor, Olivier Biton, Zachary G. Ives, Val Tannen |
ORCHESTRA: facilitating collaborative data sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, Beijing, China, June 12-14, 2007, pp. 1131-1133, 2007, ACM, 978-1-59593-686-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
data integration, data exchange, data sharing, schema mappings, reconciliation |
15 | Bruno Baruque, Emilio Corchado, Hujun Yin, Jordi Rovira, Javier González 0007 |
Automated Ham Quality Classification Using Ensemble Unsupervised Mapping Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007. Proceedings, Part II, pp. 435-443, 2007, Springer, 978-3-540-74826-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
food industry, ensembles, electronic nose, topology preserving mappings |
15 | Changzhong Wang, Congxin Wu, Degang Chen 0002 |
Homomorphisms Between Relation Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, Second International Conference, RSKT 2007, Toronto, Canada, May 14-16, 2007, Proceedings, pp. 68-75, 2007, Springer, 978-3-540-72457-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Consistent functions, relation mappings, relation information systems, reduction, homomorphism |
15 | Andrea Caranti, Francesca Dalla Volta |
The Round Functions of Cryptosystem PGM Generate the Symmetric Group. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 38(1), pp. 147-155, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Permutation group mappings (PGM), exact-transversal logarithmic signatures, transversal group bases, primitive permutation groups, symmetric group |
15 | Daniel Wachsmuth |
Numerical Solution of Optimal Control Problems with Convex Control Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Systems, Control, Modeling and Optimization ![In: Systems, Control, Modeling and Optimization, Proceedings of the 22nd IFIP TC7 Conference held from July 18-22, 2005, in Turin, Italy, pp. 319-327, 2006, Springer, 0-387-33881-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
convex control constraints, set-valued mappings, Optimal control |
15 | Andrew M. Webb, Andruid Kerne, Eunyee Koh, Pranesh Joshi, YoungJoo Park, Ross Graeber |
Choreographic buttons: promoting social interaction through human movement and clear affordances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 14th ACM International Conference on Multimedia, Santa Barbara, CA, USA, October 23-27, 2006, pp. 451-460, 2006, ACM, 1-59593-447-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Laban notation, choreographic buttons, computer-supported cooperative play, mappings, gesture, iterative design, movement |
15 | Salah Baïna, Hervé Panetto, Khalid Benali |
Product Oriented Modelling and Interoperability Issues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (Selected Papers) ![In: Enterprise Information Systems, 8th International Conference, ICEIS 2006, Paphos, Cyprus, May 23-27, 2006, Revised Selected Papers, pp. 293-308, 2006, Springer, 978-3-540-77580-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Zachman, Models Transformations and Mappings, Model Driven Architecture, Process Modelling, Manufacturing Systems, Enterprise Integration, Systems Interoperability |
15 | Ehud Sharlin, Benjamin Watson 0001, Yoshifumi Kitamura, Fumio Kishino, Yuichi Itoh |
On tangible user interfaces, humans and spatiality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pers. Ubiquitous Comput. ![In: Pers. Ubiquitous Comput. 8(5), pp. 338-346, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Tangible user interfaces, Affordances, Design heuristics, Spatial mappings |
15 | W. O. David Griffioen, Frits W. Vaandrager |
A theory of normed simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 5(4), pp. 577-610, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
backward simulations, history variables, normed simulations, prophecy variables, Automata, computer-aided verification, refinement mappings, forward simulations |
15 | Cunsheng Ding, Xiaojian Tian |
Three Constructions of Authentication Codes with Perfect Secrecy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 33(3), pp. 227-239, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
perfect nonlinear mappings, cryptography, secrecy, authentication codes |
15 | Joon S. Park, Keith P. Costello, Teresa M. Neven, Josh A. Diosomito |
A composite rbac approach for large, complex organizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SACMAT ![In: 9th ACM Symposium on Access Control Models and Technologies, SACMAT 2004, Yorktown Heights, New York, USA, June 2-4, 2004, Proceedings, pp. 163-172, 2004, ACM, 1-58113-872-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
role structures, role-based access control, role mappings |
15 | Kellogg S. Booth, Brian D. Fisher, Chi Jui Raymond Lin, Ritchie Argue |
The "mighty mouse" multi-screen collaboration tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UIST ![In: Proceedings of the 15th Annual ACM Symposium on User Interface Software and Technology, Paris, France, October 27-30, 2002, pp. 209-212, 2002, ACM, 1-58113-488-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
keyboard mappings, virtual network computing, collaboration, single display groupware, low-fidelity prototyping, cut-and-paste |
15 | Till Plewe, Ales Pultr, Anna Tozzi |
Regular Monomorphisms of Hausdorff Frames. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 9(1), pp. 15-33, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Hausdorff property, regular monomorphisms resp. epimorphisms, quotient mappings, locales, frames |
15 | Albert T. Jones, Nenad Ivezic, Michael Grüninger |
Toward Self-Integrating Software Applications for Supply Chain Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. Frontiers ![In: Inf. Syst. Frontiers 3(4), pp. 403-412, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
equivalence metric, self-integration, ontology, semantics, mappings, supply chain management, inference, translators |
15 | Wafi Al-Karaghouli, Sarmad Alshawi, Guy Fitzgerald |
Negotiating and Understanding Information Systems Requirements: The Use of Set Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 5(2), pp. 93-102, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Knowledge gap, Understanding requirements, Specifications, Information technology, Mappings, Negotiation, Set theory, User requirements, Operational research, Information systems development, Venn diagrams |
15 | Parampalli Udaya, M. U. Siddiqi |
Generalized GMW Quadriphase Sequences Satisfying the Welch Bound with Equality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 10(3), pp. 203-225, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Quadriphase sequences, Nonlinear polynomial mappings, GGMW sequences, Spread spectrum systems, CDMA, Linear complexity, Galois rings, Pseudo random sequences, Sequence design, Finite rings |
15 | William E. McUmber, Betty H. C. Cheng |
UML-Based Analysis of Embedded Systems Using a Mapping to VHDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 17-19 November 1999, Washington, D.C, USA, Proceedings, pp. 56-63, 1999, IEEE Computer Society, 0-7695-0418-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
formal specifications, mappings, VHDL, Object-oriented modeling |
15 | Patrick M. Lenders, Sanjay V. Rajopadhye |
Multirate VLSI Arrays and Their Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 46(5), pp. 515-529, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Application specific processor arrays, index transformations, VLSI signal processing, systolic arrays, space-time mappings |
15 | Cornelius W. A. M. van Overveld, Marie-Luce Viaud |
Sticky Splines: Definition and Manipulation of Spline Structures with Maintained Topological Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 15(1), pp. 72-98, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
affine and nonaffine mappings, branching structures, drawing system, splines, free-form deformation, geometric properties, topological constraints |
15 | Jeannette M. Wing, Mandana Vaziri |
Model Checking Software Systems: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the Third ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1995, Washington, DC, USA, October 10-13, 1995, pp. 128-139, 1995, ACM, 978-0-89791-716-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
abstraction mappings, distributed systems, model checking, verification, finite state machines, cache coherence protocols |
15 | Horst Herrlich |
CompactT0-spaces andT0-compactifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 1(1), pp. 111-132, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Extension closed and nearly closed subspaces ofT 0-spaces, compact spaces, compactifications, k-complete spaces, k-completions, Wallman compactifications, ech-Stone compactifications, extensions of mappings, C*-embeddings, E-compactifications, almost reflective and implicational subcategories ofTop |
15 | Marvin V. Zelkowitz |
Use of an Environment Classification Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 15th International Conference on Software Engineering, Baltimore, Maryland, USA, May 17-21, 1993., pp. 348-357, 1993, IEEE Computer Society / ACM Press, 0-89791-588-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
environment frameworks, reference models, environment mappings, integrated environments |
15 | Nancy A. Lynch, Frits W. Vaandrager |
Forward and Backward Simulations for Timing-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings, pp. 397-446, 1991, Springer, 3-540-55564-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
timing-based systems, backward simulations, forward-backward simulations, backward-forward simulations, history variables, prophecy variables, history relations, prophecy relations, Simulations, real-time, timed automata, refinement mappings, forward simulations |
15 | Liliana Díaz-Olavarrieta, Safwat G. Zaky |
A new synthesis technique for multilevel combinational circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EURO-DAC ![In: European Design Automation Conference, EURO-DAC 1990, Glasgow, Scotland, UK, March 12-15, 1990, pp. 222-227, 1990, IEEE Computer Society, 0-8186-2024-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
testing, mappings, synthesis, Combinational |
15 | Raymond T. Boute |
Representational and Denotational Semantics of Digital Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 38(7), pp. 986-999, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
representational semantics, input/output transformation, abstract mathematical functions, function definitions, functional recast, mappings, digital arithmetic, denotational semantics, number theory, digital systems, digital systems |
15 | Ralph-Johan Back |
Refinement Calculus, Part II: Parallel and Reactive Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings, pp. 67-93, 1989, Springer, 3-540-52559-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
hiding, simulation, parallel programs, fairness, weakest preconditions, Stepwise refinement, reactive programs, action systems, parallel composition, total correctness, refinement mappings, stuttering |
Displaying result #401 - #500 of 5269 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|