|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1814 occurrences of 1333 keywords
|
|
|
Results
Found 3756 publication records. Showing 3756 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
92 | Maria Cristina Pinotti, Vincenzo A. Crupi, Sajal K. Das 0001 |
A Parallel Solution to the Extended Set Union Problem with Unlimited Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '96, The 10th International Parallel Processing Symposium, April 15-19, 1996, Honolulu, Hawaii, USA, pp. 182-186, 1996, IEEE Computer Society, 0-8186-7255-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
parallel solution, extended set union problem, unlimited backtracking, Find, SetUnion, MultiUnion, k-Parallel Union Find trees, constant parallel time, optimal work, constant-time performance, parallel algorithms, computational complexity, data structure, parallel machines, Restore, backtracking, Backtrack, tree data structures, tree searching, random-access storage, dynamic partition, Union, EREW-PRAM model |
83 | Jens Bleiholder, Sascha Szott, Melanie Herschel, Frank Kaufer, Felix Naumann |
Subsumption and complementation as data fusion operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: EDBT 2010, 13th International Conference on Extending Database Technology, Lausanne, Switzerland, March 22-26, 2010, Proceedings, pp. 513-524, 2010, ACM, 978-1-60558-945-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
complement union, minimum union, data integration, data quality |
82 | Haim Kaplan, Nira Shafrir, Robert Endre Tarjan |
Union-find with deletions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Thirteenth Annual ACM-SIAM Symposium on Discrete Algorithms, January 6-8, 2002, San Francisco, CA, USA., pp. 19-28, 2002, ACM/SIAM, 0-89871-513-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
79 | Pankaj K. Agarwal, Lars Arge, Ke Yi 0001 |
I/O-efficient batched union-find and its applications to terrain analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 22nd ACM Symposium on Computational Geometry, Sedona, Arizona, USA, June 5-7, 2006, pp. 167-176, 2006, ACM, 1-59593-340-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
terrain analysis, algorithms, union-find, I/O-efficient, contour trees |
76 | Zongtian Liu, Liansheng Li, Qing Zhang |
Research on a Union Algorithm of Multiple Concept Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSFDGrC ![In: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 9th International Conference, RSFDGrC 2003, Chongqing, China, May 26-29, 2003, Proceedings, pp. 533-540, 2003, Springer, 3-540-14040-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Multiple concept lattices, Union operation of concept lattices, Union algorithm of concept lattices, Formal Concept Analysis |
60 | Atsushi Igarashi, Hideshi Nagira |
Union types for object-oriented programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 1435-1441, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
java, subtyping, language design, language semantics, union types |
54 | Zhangzhi Zhang, Xiaoguang Dai, S. W. Cheung, T. I. Yuk |
A new union bound based on Hölder inequality for space-time codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCMC ![In: Proceedings of the International Conference on Wireless Communications and Mobile Computing: Connecting the World Wirelessly, IWCMC 2009, Leipzig, Germany, June 21-24, 2009, pp. 1392-1396, 2009, ACM, 978-1-60558-569-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Hölder inequality, union bound, space-time codes, PEP |
51 | Marek J. Lao |
A Class of Tree-Like UNION-FIND Data Structures and the Nonlinearity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '81, Trees in Algebra and Programming, 6th Colloquium, Genoa, Italy, March 5-7, 1981, Proceedings, pp. 255-267, 1981, Springer, 3-540-10828-9. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
computational complexity, data structures, trees, UNION-FIND, set union |
50 | Sebastian Danicic, Andrea De Lucia, Mark Harman |
Building Executable Union Slices using Conditioned Slicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPC ![In: 12th International Workshop on Program Comprehension (IWPC 2004), 24-26 June 2004, Bari, Italy, pp. 89-99, 2004, IEEE Computer Society, 0-7695-2149-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
47 | Sylvain Conchon, Jean-Christophe Filliâtre |
A persistent union-find data structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML ![In: Proceedings of the ACM Workshop on ML, 2007, Freiburg, Germany, October 5, 2007, pp. 37-46, 2007, ACM, 978-1-59593-676-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
formal verification, persistence, union-find |
47 | Jae-Young Chang, Sang-goo Lee |
An optimization of disjunctive queries: union-pushdown. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 21st International Computer Software and Applications Conference (COMPSAC '97), 11-15 August 1997, Washington, DC, USA, pp. 356-361, 1997, IEEE Computer Society, 0-8186-8105-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
disjunctive query optimization, disjunctive predicates, plan generation, union-pushdown, performance analysis, query processing, query optimizers |
44 | Itay Dar, Tova Milo, Elad Verbin |
Optimized union of non-disjoint distributed data sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: EDBT 2009, 12th International Conference on Extending Database Technology, Saint Petersburg, Russia, March 24-26, 2009, Proceedings, pp. 12-23, 2009, ACM, 978-1-60558-422-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
44 | Zhangzhi Zhang, S. W. Cheung, T. I. Yuk, Hoi Kuo |
Union Bounds for BER Evaluation and Code Optimization of Space-Time codes in 2-by-2 MIMO systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Spring ![In: Proceedings of the 63rd IEEE Vehicular Technology Conference, VTC Spring 2006, 7-10 May 2006, Melbourne, Australia, pp. 1506-1510, 2006, IEEE. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
44 | Stephen Alstrup, Inge Li Gørtz, Theis Rauhe, Mikkel Thorup, Uri Zwick |
Union-Find with Constant Time Deletions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings, pp. 78-89, 2005, Springer, 3-540-27580-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
44 | Haim Kaplan, Nira Shafrir, Robert Endre Tarjan |
Meldable heaps and boolean union-find. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings on 34th Annual ACM Symposium on Theory of Computing, May 19-21, 2002, Montréal, Québec, Canada, pp. 573-582, 2002, ACM, 1-58113-495-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
44 | Árpád Beszédes, Csaba Faragó, Zsolt Mihály Szabó, János Csirik, Tibor Gyimóthy |
Union Slices for Program Maintenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 18th International Conference on Software Maintenance (ICSM 2002), Maintaining Distributed Heterogeneous Systems, 3-6 October 2002, Montreal, Quebec, Canada, pp. 12-21, 2002, IEEE Computer Society, 0-7695-1819-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
41 | Kesheng Wu, Ekow J. Otoo, Kenji Suzuki 0001 |
Optimizing two-pass connected-component labeling algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Anal. Appl. ![In: Pattern Anal. Appl. 12(2), pp. 117-135, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Union-find algorithm, Optimization, Decision tree, Equivalence relation, Connected-component labeling |
41 | Tinghong Zhao, Zibin Man, Xueyi Qi |
Long-range Monitoring System of Irrigated Area Based on Multi-Agent and GSM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCTA ![In: Computer And Computing Technologies In Agriculture, Volume I, First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007, pp. 515-523, 2007, Springer, 978-0-387-77250-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Long-range monitoring system of irrigated area, Agent union, Multi-Agent, GSM network |
41 | Adam Panagos, Kurt L. Kosbar |
A new design metric for unitary space-time codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCMC ![In: Proceedings of the International Conference on Wireless Communications and Mobile Computing, IWCMC 2006, Vancouver, British Columbia, Canada, July 3-6, 2006, pp. 671-676, 2006, ACM, 1-59593-306-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
union bound design metric, unitary space-time code, MIMO |
41 | Rebeca Schroeder 0001, Ronaldo dos Santos Mello |
Conversion of generalization hierarchies and union types from extended entity-relationship model to an XML logical model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 1036-1037, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
EER, generalization/specialization, XML schemas, union types |
41 | Tomokazu Yoneda, Masahiro Imanishi, Hideo Fujiwara |
Interactive presentation: An SoC test scheduling algorithm using reconfigurable union wrappers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2007 Design, Automation and Test in Europe Conference and Exposition, DATE 2007, Nice, France, April 16-20, 2007, pp. 231-236, 2007, EDA Consortium, San Jose, CA, USA, 978-3-9810801-2-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
reconfigurable union wrapper, system-on-a-chip, test scheduling, test access mechanism |
41 | Pankaj K. Agarwal, Haim Kaplan, Micha Sharir |
Computing the volume of the union of cubes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 23rd ACM Symposium on Computational Geometry, Gyeongju, South Korea, June 6-8, 2007, pp. 294-301, 2007, ACM, 978-1-59593-705-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
union of objects, arrangements |
41 | Alberto Maria Segre, Andrew Wildenberg, Veronica J. Vieland, Ying Zhang |
Privacy-Preserving Data Set Union. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Privacy in Statistical Databases ![In: Privacy in Statistical Databases, CENEX-SDC Project International Conference, PSD 2006, Rome, Italy, December 13-15, 2006, Proceedings, pp. 266-276, 2006, Springer, 3-540-49330-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
privacy-presenting data mining, blind database union |
41 | Jerome Vouillon |
Subtyping Union Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings, pp. 415-429, 2004, Springer, 3-540-23024-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
semantics, lambda-calculus, subtyping, union types |
38 | Ran Mendelson, Robert Endre Tarjan, Mikkel Thorup, Uri Zwick |
Melding priority queues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Algorithms ![In: ACM Trans. Algorithms 2(4), pp. 535-556, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
disjoint set union, minimum directed spanning trees, optimum branchings, word RAM model, Priority queues, heaps, union-find |
38 | Nikolaos D. Sidiropoulos, John S. Baras, Carlos Alberto Berenstein |
On morphological openings and closings of signals in shaped noise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 518-521, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
morphological closings, shaped noise, morphologically smooth binary image signals, IID union noise, IID union clutter, IID random dropouts, morphological constraints, image processing, noise, mathematical morphology, maximum likelihood estimation, filtering theory, geometric constraints, clutter, MAP estimators, morphological filter, noise model, geometric structure, morphological openings |
37 | Kasturi R. Varadarajan |
Epsilon nets and union complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 25th ACM Symposium on Computational Geometry, Aarhus, Denmark, June 8-10, 2009, pp. 11-16, 2009, ACM, 978-1-60558-501-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
approximation algorithms, set cover, epsilon nets |
37 | Esther Ezra, Micha Sharir |
Almost Tight Bound for the Union of Fat Tetrahedra in Three Dimensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2007), October 20-23, 2007, Providence, RI, USA, Proceedings, pp. 525-535, 2007, IEEE Computer Society, 978-0-7695-3010-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
37 | Attila Szegedi, Tamás Gergely, Árpád Beszédes, Tibor Gyimóthy, Gabriella Tóth |
Verifying the Concept of Union Slices on Java Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSMR ![In: 11th European Conference on Software Maintenance and Reengineering, Software Evolution in Complex Software Intensive Systems, CSMR 2007, 21-23 March 2007, Amsterdam, The Netherlands, pp. 233-242, 2007, IEEE Computer Society, 0-7695-2802-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
37 | Piotr Hoffman |
Union of Equational Theories: An Algebraic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Term Rewriting and Applications, 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings, pp. 61-73, 2005, Springer, 3-540-25596-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Ji Ming, Peter Jancovic, Francis Jack Smith |
Robust speech recognition using probabilistic union models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Speech Audio Process. ![In: IEEE Trans. Speech Audio Process. 10(6), pp. 403-414, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
37 | Sanjay Jain 0001, Yen Kaow Ng, Tiong Seng Tay |
Learning Languages in a Union. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, 12th International Conference, ALT 2001, Washington, DC, USA, November 25-28, 2001, Proceedings, pp. 235-250, 2001, Springer, 3-540-42875-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
37 | János Pach |
On the Complexity of the Union of Geometric Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDCG ![In: Discrete and Computational Geometry, Japanese Conference, JCDCG 2000, Tokyo, Japan, November, 22-25, 2000, Revised Papers, pp. 292-307, 2000, Springer, 3-540-42306-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
37 | Benedek Nagy |
Union-Freeness, Deterministic Union-Freeness and Union-Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: Descriptional Complexity of Formal Systems - 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17-19, 2019, Proceedings, pp. 46-56, 2019, Springer, 978-3-030-23246-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
35 | Gábor Czédli, Miklós Maróti, E. Tamás Schmidt |
On the Scope of Averaging for Frankl's Conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 26(1), pp. 31-48, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Union-closed sets, Frankl’s conjecture, Lattice |
35 | Noam Zeilberger |
Refinement types and computational duality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLPV ![In: Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, PLPV 2009, Savannah, GA, USA, January 20, 2009, pp. 15-26, 2009, ACM, 978-1-60558-330-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
duality, effects, intersection types, focusing, union types |
35 | Tinghong Zhao, Zibin Man, Xueyi Qi |
A MSM-PGA Based on Multi-agent for Solving TSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIP ![In: International Symposium on Information Processing, ISIP 2008 / International Pacific Workshop on Web Mining, and Web-Based Application, WMWA 2008, Moscow, Russia, 23-25 May 2008, pp. 548-552, 2008, IEEE Computer Society, 978-0-7695-3151-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Agent union, MSM-PGA, Self-adaptive genetic algorithm, Multi-Agent, TSP |
35 | Michael D. Adams 0001, R. Kent Dybvig |
Efficient nondestructive equality checking for trees and graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008, pp. 179-188, 2008, ACM, 978-1-59593-919-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
dfa equivalence, eq hash tables, scheme, equality, union-find |
35 | Jana Dunfield |
Refined typechecking with Stardust. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLPV ![In: Proceedings of the ACM Workshop Programming Languages meets Program Verification, PLPV 2007, Freiburg, Germany, October 5, 2007, pp. 21-32, 2007, ACM, 978-1-59593-677-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
type refinements, dependent types, intersection types, union types |
35 | Arnold Meijster, Michael H. F. Wilkinson |
A Comparison of Algorithms for Connected Set Openings and Closings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 24(4), pp. 484-494, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
connected set operators, attribute filters, pattern spectra, mathematical morphology, multiscale analysis, union-find |
35 | Pankaj K. Agarwal |
An improved algorithm for computing the volume of the union of cubes. ![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. 230-239, 2010, ACM, 978-1-4503-0016-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
union of cubes, geometric data structures |
35 | Mark de Berg |
Better bounds on the union complexity of locally fat objects. ![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. 39-47, 2010, ACM, 978-1-4503-0016-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
union complexity, combinatorial geometry, fat objects |
35 | Aladdin Shamilov, Senay Asma |
On the Identifiability of Finite Mixtures Based on the Union of Logarithmic Series and Discrete Rectangular Families. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Process. Lett. ![In: Neural Process. Lett. 29(1), pp. 1-6, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Logarithmic series, Discrete rectangular families, Union of heterogeneous parametric distribution, Identifiability, Finite mixture |
35 | Esther Ezra, János Pach, Micha Sharir |
On Regular Vertices of the Union of Planar Convex Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 41(2), pp. 216-231, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Geometric arrangements, Union of planar regions, Regular vertices, Bi-clique decompositions, (1/r)-cuttings, Lower envelopes |
35 | Mark de Berg |
Improved Bounds on the Union Complexity of Fat Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 40(1), pp. 127-140, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Union Complexity, Density Lemma, Fat Objects |
35 | Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri |
Session and Union Types for Object Oriented Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Graphs and Models ![In: Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, pp. 659-680, 2008, Springer, 978-3-540-68676-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Object Oriented Programming, Sessions, Union Types, Session Types |
35 | Esther Ezra, János Pach, Micha Sharir |
On regular vertices on the union of planar objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 23rd ACM Symposium on Computational Geometry, Gyeongju, South Korea, June 6-8, 2007, pp. 220-226, 2007, ACM, 978-1-59593-705-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
(1/r)-cuttings, regular vertices, union of geometric objects |
35 | Thomas Lewiner, Cynthia O. L. Ferreira, Marcos Craizer, Ralph Teixeira |
Curvature Motion for Union of Balls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIBGRAPI ![In: 18th Brazilian Symposium on Computer Graphics and Image Processing (SIBGRAPI 2005), 9-12 October 2005, Natal, RN, Brazil, pp. 47-54, 2005, IEEE Computer Society, 0-7695-2389-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Union of Balls, Curvature Motion, Shape, Vision, Multiresolution, Medial Axis |
35 | Ho-Lun Cheng, Xinwei Shi |
Quality Mesh Generation for Molecular Skin Surfaces Using Restricted Union of Balls. ![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. 399-405, 2005, IEEE Computer Society, 0-7803-9462-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
restricted union of balls, guaranteed quality triangulation, homeomorphism, meshing, Delaunay triangulation, Smooth surfaces |
35 | Boris Aronov, Alon Efrat, Vladlen Koltun, Micha Sharir |
On the union of kapa-round objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 20th ACM Symposium on Computational Geometry, Brooklyn, New York, USA, June 8-11, 2004, pp. 383-390, 2004, ACM, 1-58113-885-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
union of objects, combinatorial complexity, fat objects |
35 | Erika Nyáry, Harry M. Sneed |
Software maintenance offloading at the Union Bank of Switzerland. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: Proceedings of the International Conference on Software Maintenance, ICSM 1995, Opio (Nice), France, October 17-20, 1995, pp. 98-108, 1995, IEEE Computer Society, 0-8186-7141-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
software maintenance offloading, Union Bank of Switzerland, PC-based maintenance workbench, automated aids, program editing, JSP/COBOL host programs, reverse engineering, reverse engineering, graphical user interfaces, software maintenance, program analysis, program testing, program testing, productivity, regression testing, computer aided software engineering, COBOL, systems re-engineering, program diagnostics, structured programming, graphical interface, human resource management, software reengineering, microcomputer applications, bank data processing, mainframe |
35 | Neil C. Rowe |
Absolute Bounds on Set Intersection and Union Sizes from Distribution Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(7), pp. 1033-1048, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
union sizes, distribution information, closed-form bounds, rule-based system architecture, statistical analysis, statistical analysis, database theory, set theory, set theory, Boolean algebra, Boolean algebra, file organisation, file organisation, set intersection, database access |
35 | G. D. Miller |
Programming Techniques: An algorithm for the probability of the union of a large number of events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 11(9), pp. 630-631, 1968. The full citation details ...](Pics/full.jpeg) |
1968 |
DBLP DOI BibTeX RDF |
mutually exclusive events, optimum, storage vs. time compromise, algorithm, probability, set union |
32 | Edith Cohen, Haim Kaplan |
Leveraging discarded samples for tighter estimation of multiple-set aggregates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS/Performance ![In: Proceedings of the Eleventh International Joint Conference on Measurement and Modeling of Computer Systems, SIGMETRICS/Performance 2009, Seattle, WA, USA, June 15-19, 2009, pp. 251-262, 2009, ACM, 978-1-60558-511-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
bottom-k sampling, coordinated sampling, multiple-set aggregates, order sampling, sketches, approximate query processing |
32 | Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe |
Weak Functional Dependencies in Higher-Order Datamodels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoIKS ![In: Foundations of Information and Knowledge Systems, Third International Symposium, FoIKS 2004, Wilhelminenberg Castle, Austria, February 17-20, 2004, Proceedings, pp. 116-133, 2004, Springer, 3-540-20965-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Kalvis Apsitis, Rusins Freivalds, Raimonds Simanovskis, Juris Smotrovs |
Closedness Properties in EX-Identification of Recursive Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, 9th International Conference, ALT '98, Otzenhausen, Germany, October 8-10, 1998, Proceedings, pp. 46-60, 1998, Springer, 3-540-65013-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
32 | Michael B. Dillencourt, Hanan Samet, Markku Tamminen |
A General Approach to Connected-Component Labelling for Arbitrary Image Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 39(2), pp. 253-280, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
32 | Francesco Parisi-Presicce |
Inner and Mutual Compatibility of Basic Operations on Module Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '86, 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986, Proceedings, pp. 30-44, 1986, Springer, 3-540-16443-X. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
31 | Zhi Zhang, Xiaoguang Dai, William S. W. Cheung, T. I. Yuk |
Evaluation of Union bounds for Space-Time codes based on a common function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: Proceedings of the 22nd Canadian Conference on Electrical and Computer Engineering, CCECE 2009, 3-6 May 2009, Delta St. John's Hotel and Conference Centre, St. John's, Newfoundland, Canada, pp. 89-93, 2009, IEEE, 978-1-4244-3508-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Esther Ezra |
On the Union of Cylinders in Three Dimensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 49th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2008, October 25-28, 2008, Philadelphia, PA, USA, pp. 179-188, 2008, IEEE Computer Society, 978-0-7695-3436-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Chang-Wook Han |
Evolutionary Optimization of Union-Based Rule-Antecedent Fuzzy Neural Networks and Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAL ![In: Intelligent Data Engineering and Automated Learning - IDEAL 2008, 9th International Conference, Daejeon, South Korea, November 2-5, 2008, Proceedings, pp. 80-87, 2008, Springer, 978-3-540-88905-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Peter Jancovic |
Fast Algorithm for Calculation of the Union-Based Probability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Speech Audio Process. ![In: IEEE Trans. Speech Audio Process. 15(2), pp. 732-734, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Stefan Böttcher, Sebastian Obermeier 0001 |
Secure Anonymous Union Computation Among Malicious Partners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Second International Conference on Availability, Reliability and Security, ARES 2007, The International Dependability Conference - Bridging Theory and Practice, April 10-13 2007, Vienna, Austria, pp. 128-138, 2007, IEEE Computer Society, 0-7695-2775-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Keith B. Frikken |
Privacy-Preserving Set Union. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACNS ![In: Applied Cryptography and Network Security, 5th International Conference, ACNS 2007, Zhuhai, China, June 5-8, 2007, Proceedings, pp. 237-252, 2007, Springer, 978-3-540-72737-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Peter Damaschke |
The Union of Minimal Hitting Sets: Parameterized Combinatorial Bounds and Counting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2007, 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings, pp. 332-343, 2007, Springer, 978-3-540-70917-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
combinatorial inference, algorithms, parameterization, counting, hypergraph transversals |
31 | Chang-Wook Han, Jung-Il Park |
Designing a Self-adaptive Union-Based Rule- Antecedent Fuzzy Controller Based on Two Step Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (1) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 10th International Conference, KES 2006, Bournemouth, UK, October 9-11, 2006, Proceedings, Part I, pp. 850-857, 2006, Springer, 3-540-46535-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Yonghua Zhang, Feng Hong 0001, Minglu Li 0001, Guangtao Xue |
Building Interest-Oriented Web Search Union. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDCAT ![In: Seventh International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2006), 4-7 December 2006, Taipei, Taiwan, pp. 327-332, 2006, IEEE Computer Society, 0-7695-2736-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Athanasios K. Tsadiras, Ilias Kouskouvelis |
Using Fuzzy Cognitive Maps as a Decision Support System for Political Decisions: The Case of Turkey's Integration into the European Union. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Panhellenic Conference on Informatics ![In: Advances in Informatics, 10th Panhellenic Conference on Informatics, PCI 2005, Volos, Greece, November 11-13, 2005, Proceedings, pp. 371-381, 2005, Springer, 3-540-29673-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Marcus Alanen, Ivan Porres |
Difference and Union of Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML» 2003 - The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, Proceedings, pp. 2-17, 2003, Springer, 3-540-20243-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
delta calculation, revision control, UML, metamodelling |
31 | Joyce Chao-chen Chen, Hsueh-hua Chen |
Building an OAI-Based Union Catalog for the National Digital Archives Program in Taiwan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICADL ![In: Digital Libraries: People, Knowledge, and Technology, 5th International Conference on Asian Digital Libraries, ICADL 2002 Singapore, December 11-14, 2002, Proceedings, pp. 425-426, 2002, Springer, 3-540-00261-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
31 | Eti Ezra, Dan Halperin, Micha Sharir |
Speeding Up the Incremental Construction of the Union of Geometric Objects in Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA 2002, 10th Annual European Symposium, Rome, Italy, September 17-21, 2002, Proceedings, pp. 473-484, 2002, Springer, 3-540-44180-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
31 | Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn A. Turbak, J. B. Wells, Jeffrey Considine |
Program Representation Size in an Intermediate Language with Intersection and Union Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Types in Compilation ![In: Types in Compilation, Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000, Revised Selected Papers, pp. 27-52, 2000, Springer, 3-540-42196-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Peter Buneman, Benjamin C. Pierce |
Union Types for Semistructured Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBPL ![In: Research Issues in Structured and Semistructured Database Programming, 7th International Workshop on Database Programming Languages, DBPL'99, Kinloch Rannoch, Scotland, UK, September 1-3, 1999, Revised Papers, pp. 184-207, 1999, Springer, 3-540-41481-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
31 | Isao Hayashi, Motohide Umano, Toshiyuki Maeda, Andreas Bastian, Lakhmi C. Jain |
Acquisition of fuzzy knowledge by NN and GA-A survey of the fusion and union methods proposed in Japan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (1) ![In: Knowledge-Based Intelligent Electronic Systems, 2nd International Conference, KES 1998, Adelaide, South Australia, 21-23 April 1998, Proceedings, Part I, pp. 69-78, 1998, IEEE. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
31 | Jin Song Dong |
Living with Free Type and Class Union. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 2nd Asia-Pacific Software Engineering Conference (APSEC '95), December 6-9, 1995, Brisbane, Queensland, Australia, pp. 304-312, 1995, IEEE Computer Society, 0-8186-7171-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
31 | Carlo Gaibisso |
A Partially Persistent Data Structure for the Set-Union Problem with Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMYCS ![In: Machines, Languages, and Complexity, 5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18, 1988, Proceedings, pp. 128-135, 1988, Springer, 3-540-51516-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
31 | Giorgio Gambosi, Giuseppe F. Italiano, Maurizio Talamo |
Getting Back to the Past in the Union-Find Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 88, 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988, Proceedings, pp. 8-17, 1988, Springer, 3-540-18834-7. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
31 | Heikki Mannila, Esko Ukkonen |
Time Parameter and Arbitrary Deunions in the Set Union Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: SWAT 88, 1st Scandinavian Workshop on Algorithm Theory, Halmstad, Sweden, July 5-8, 1988, Proceedings, pp. 34-42, 1988, Springer, 3-540-19487-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
31 | Heikki Mannila, Esko Ukkonen |
The Set Union Problem with Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 13th International Colloquium, ICALP86, Rennes, France, July 15-19, 1986, Proceedings, pp. 236-243, 1986, Springer, 3-540-16761-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
31 | Paul G. Spirakis |
The Volume of the Union of Many Sheres and Point Inclusion Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 85, 2nd Symposium of Theoretical Aspects of Computer Science, Saarbrücken, Germany, January 3-5, 1985, Proceedings, pp. 328-338, 1985, Springer, 3-540-13912-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
29 | Jim Lawrence, Walter D. Morris Jr. |
Finite Sets as Complements of Finite Unions of Convex Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 42(2), pp. 206-218, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Union of convex sets, Chromatic number, Betti numbers, Visibility graph |
29 | Jiazheng Zhou, Xuan-Yi Lin, Yeh-Ching Chung |
Hardware supported multicast in fat-tree-based InfiniBand networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 40(3), pp. 333-352, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Union operation, OpenSM, Multicast, InfiniBand, Unicast, Fat-tree, Cyclic |
29 | Frederik Armknecht, Matthias Krause 0001 |
Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic Immunity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II, pp. 180-191, 2006, Springer, 3-540-35907-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
matroid union algorithm, boolean functions, algebraic attacks, Cryptographic primitives |
29 | Lilian Buzer |
Digital Line Recognition, Convex Hull, Thickness, a Unified and Logarithmic Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCIA ![In: Combinatorial Image Analysis, 11th International Workshop, IWCIA 2006, Berlin, Germany, June 19-21, 2006, Proceedings, pp. 189-198, 2006, Springer, 3-540-35153-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
digital line, logarithmic complexity, DSS, dynamic, recognition, convex hull, online, incremental, union |
29 | Tsan-sheng Hsu, Kuo-Hui Tsai, Da-Wei Wang 0004, D. T. Lee |
Two Variations of the Minimum Steiner Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Optim. ![In: J. Comb. Optim. 9(1), pp. 101-120, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
minimum Steiner network, minimum union paths, NP-hard, directed acyclic graph, polynomial time |
29 | Yingwei Luo, Xiaolin Wang 0001, Zhuoqun Xu |
Design and Implementation of Map Visualization Objects in Component-based WebGIS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE Workshops ![In: 3rd International Conference on Web Information Systems Engineering Workshops, WISE 2002 Workshops, Singapore, December 11, 2002, Proceedings, pp. 95-102, 2002, IEEE Computer Society, 0-7695-1813-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Geo-Union, Map Visualization Objects, Component, WebGIS |
29 | Julia Padberg, Hartmut Ehrig |
Parameterized Net Classes: A Uniform Approach to Petri Net Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Unifying Petri Nets ![In: Unifying Petri Nets, Advances in Petri Nets, pp. 173-229, 2001, Springer, 3-540-43067-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
actual and formal parameter, uniform approach, rule-based refinement, Petri Nets, fusion, union, high-level nets |
29 | Lori L. Pollock, Mary Lou Soffa |
An Incremental Version of Iterative Data Flow Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(12), pp. 1537-1549, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
union data flow problems, incremental version, iterative data flow analysis, intersection data-flow problems, program edits, data-flow information, data-flow sets, two-phase approach, data-flow sets, local code changes, parallel programming, systems analysis, iterative methods, set theory, iterative approach |
28 | Alain Frisch, Giuseppe Castagna, Véronique Benzaken |
Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 55(4), pp. 19:1-19:64, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
negation types, Subtyping, higher-order functions, intersection types, union types |
28 | Junhu Wang, Rodney W. Topor, Michael J. Maher |
Rewriting Union Queries Using Views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 10(3), pp. 219-251, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
global schema, union query, implication constraint, contained rewriting, data integration, constraint, query, view |
28 | János Pach, Gábor Tardos |
On the boundary complexity of the union of fat triangles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 41st Annual Symposium on Foundations of Computer Science, FOCS 2000, 12-14 November 2000, Redondo Beach, California, USA, pp. 423-431, 2000, IEEE Computer Society, 0-7695-0850-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
boundary complexity, fat triangle union, separator line, computational complexity, computational geometry, computational geometry, upper bounds, motion planning, holes |
28 | Christophe Claramunt |
Extending Ladkin's algebra on non-convex intervals towards an algebra on union-of regions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM-GIS ![In: ACM-GIS 2000, Proceedings of the Eighth ACM Symposium on Advances in Geographic Information Systems, November 10-11, 2000, Washington D.C., USA, pp. 9-14, 2000, ACM, 1-58113-319-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
spatio-temporal relationships, union-of regions |
28 | Alioune Ngom, Corina Reischer, Dan A. Simovici, Ivan Stojmenovic |
Completeness Criteria in Set-Valued Logic Under Compositions with Union and Intersection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 27th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1997, Antigonish, Nova Scotia, Canada, May 28-30, 1997, Proceedings, pp. 75-82, 1997, IEEE Computer Society, 0-8186-7910-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
completeness criteria, set-valued logic, Boolean completeness problems, r-valued set logic, logic of functions, n-tuples, set logic circuits, S-complete, U-maximal sets, completeness criterion, U functions, compositions, Boolean functions, Boolean functions, intersection, union |
28 | Marc J. van Kreveld, Mark H. Overmars |
Union-Copy Structures and Dynamic Segment Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 40(3), pp. 635-652, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
union-find structure |
28 | Boris Aronov, Micha Sharir |
The Union of Convex Polyhedra in Three Dimensions ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 34th Annual Symposium on Foundations of Computer Science, Palo Alto, California, USA, 3-5 November 1993, pp. 518-527, 1993, IEEE Computer Society, 0-8186-4370-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
union of convex polyhedra, almost tight, edges, faces, vertices, three dimensions, randomized incremental algorithm |
25 | Madhavan Vajapeyam, Jifeng Geng, Urbashi Mitra |
Tools for Performance Analysis and Design of Space-Time Block Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 55(2), pp. 367-379, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Itsuo Takamatsu, Masanori Kobayashi, Hiroo Tokunaga, Akihiro Yamamoto |
Computing Characteristic Sets of Bounded Unions of Polynomial Ideals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JSAI ![In: New Frontiers in Artificial Intelligence, JSAI 2007 Conference and Workshops, Miyazaki, Japan, June 18-22, 2007, Revised Selected Papers, pp. 318-329, 2007, Springer, 978-3-540-78196-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Yingwei Luo, Xiaolin Wang 0001, Guomin Xiong, Zhuoqun Xu |
Design Hierarchical Component-Based WebGIS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (3) ![In: Computational Science - ICCS 2005, 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part III, pp. 515-522, 2005, Springer, 3-540-26044-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Yingwei Luo, Xiaolin Wang 0001, Zhuoqun Xu |
Component-Based WebGIS and Its Spatial Cache Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAIM ![In: Advances in Web-Age Information Management: 5th International Conference, WAIM 2004, Dalian, China, July 15-17, 2004, pp. 186-196, 2004, Springer, 3-540-22418-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Yingwei Luo, Xiaolin Wang 0001, Zhuoqun Xu |
A Cache Mechanism for Component-Based WebGIS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science ![In: Computational Science - ICCS 2004, 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part IV, pp. 940-947, 2004, Springer, 3-540-22129-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 3756 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|