Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | Ugo de'Liguoro |
Characterizing Convergent Terms in Object Calculi via Intersection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 5th International Conference, TLCA 2001, Krakow, Poland, May 2-5, 2001, Proceedings., pp. 315-328, 2001, Springer, 3-540-41960-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Sumit Gupta, Edmund Teo, Kuntal Sengupta, Ashraf A. Kassim |
Extracting 3d Models Of Objects Using Modified Silhouette Based Volume Intersection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICME ![In: Proceedings of the 2001 IEEE International Conference on Multimedia and Expo, ICME 2001, August 22-25, 2001, Tokyo, Japan, 2001, IEEE Computer Society, 0-7695-1198-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Ole Caprani, Lars Hvidegaard, Mikkel Mortensen, Thomas Schneider |
Robust and Efficient Ray Intersection of Implicit Surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Comput. ![In: Reliab. Comput. 6(1), pp. 9-21, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Alexandre Miquel |
A Model for Impredicative Type Systems, Universes, Intersection Types and Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 15th Annual IEEE Symposium on Logic in Computer Science, Santa Barbara, California, USA, June 26-29, 2000, pp. 18-29, 2000, IEEE Computer Society, 0-7695-0725-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Ferruccio Damiani |
Typing Local Definitions and Conditional Expressions with Rank 2 Intersection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, Third International Conference, FOSSACS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 82-97, 2000, Springer, 3-540-67257-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Mariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama |
Compositional Characterizations of lambda-Terms Using Intersection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2000, 25th International Symposium, MFCS 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings, pp. 304-313, 2000, Springer, 3-540-67901-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Todd Wareham |
The Parameterized Complexity of Intersection and Composition Operations on Sets of Finite-State Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata, 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers, pp. 302-310, 2000, Springer, 3-540-42491-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Rowan Davies, Frank Pfenning |
Intersection types and computational effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), Montreal, Canada, September 18-21, 2000., pp. 198-208, 2000, ACM, 1-58113-202-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
UML |
21 | Enrico Nardelli, Guido Proietti |
Size Estimation of the Intersection Join between Two Line Segment Datasets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADBIS-DASFAA ![In: Current Issues in Databases and Information Systems, East-European Conference on Advances in Databases and Information Systems Held Jointly with International Conference on Database Systems for Advanced Applications, ADBIS-DASFAA 2000, Prague, Czech Republic, September 5-8, 2000, Proceedings, pp. 229-238, 2000, Springer, 3-540-67977-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Klaus Mück, Hans-Hellmut Nagel, Markus Middendorf |
Data-Driven Extraction of Curved Intersection Lanemarks from Road Traffic Image Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV (2) ![In: Computer Vision - ECCV 2000, 6th European Conference on Computer Vision, Dublin, Ireland, June 26 - July 1, 2000, Proceedings, Part II, pp. 411-427, 2000, Springer, 3-540-67686-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Steffen van Bakel, Franco Barbanera, Maribel Fernández |
Polymorphic Intersection Type Assignment for Rewrite Systems with Abstractions and beta-Rule. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers, pp. 41-60, 1999, Springer, 3-540-41517-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Tatiana Samoilov, Gershon Elber |
Self-intersection elimination in metamorphosis of two-dimensional curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 14(8/9), pp. 415-428, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Freeform parametric curves and surfaces, Homotopic curves and surfaces, Matching, Morphing, Computer-aided geometric design |
21 | Panayiotis Bozanis, Nectarios Kitsios, Christos Makris, Athanasios K. Tsakalidis |
New Upper Bounds for Generalized Intersection Searching Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 22nd International Colloquium, ICALP95, Szeged, Hungary, July 10-14, 1995, Proceedings, pp. 464-474, 1995, Springer, 3-540-60084-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
21 | Masatoshi Niizeki, Fujio Yamaguchi |
Projectively invariant intersection detections for solid modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 13(3), pp. 277-299, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
4 × 4 determinant method, insertion detections and computations, projective invariance, homogeneous coordinates, perspective transformation |
21 | Chandrajit L. Bajaj, Guoliang Xu |
NURBS approximation of surface/surface intersection curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 2(1), pp. 1-21, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Ying Xu 0001, Harold N. Gabow |
Fast Algorithms for Transversal Matroid Intersection Problems ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 5th International Symposium, ISAAC '94, Beijing, P. R. China, August 25-27, 1994, Proceedings, pp. 625-633, 1994, Springer, 3-540-58325-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
21 | David M. Mount |
Intersection Detection and Separators for Simple Polygons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the Eighth Annual Symposium on Computational Geometry, Berlin, Germany, June 10-12, 1992, pp. 303-311, 1992, ACM, 0-89791-517-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
21 | Mario Coppo, Paola Giannini |
A Complete Type Inference Algorithm for Simple Intersection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '92, 17th Colloquium on Trees in Algebra and Programming, Rennes, France, February 26-28, 1992, Proceedings, pp. 102-123, 1992, Springer, 3-540-55251-0. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
21 | Shreeram S. Abhyankar, Srinivasan Chandrasekar, Vijaya Chandru |
Improper intersection of algebraic curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 9(2), pp. 147-159, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
21 | Marc J. van Kreveld, Mark H. Overmars, Pankaj K. Agarwal |
Intersection Queries in Sets of Disks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: SWAT 90, 2nd Scandinavian Workshop on Algorithm Theory, Bergen, Norway, July 11-14, 1990, Proceedings, pp. 393-403, 1990, Springer, 3-540-52846-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
21 | Shreeram S. Abhyankar, Srinivasan Chandrasekar, Vijaya Chandru |
Degree Complexity Bounds on the Intersection of Algebraic Curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the Fifth Annual Symposium on Computational Geometry, Saarbrücken, Germany, June 5-7, 1989, pp. 88-93, 1989, ACM, 0-89791-318-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
21 | Bernard Chazelle, David P. Dobkin |
Intersection of convex objects in two and three dimensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 34(1), pp. 1-27, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
21 | Martin Fürer |
The Complexity of the Inequivalence Problem for Regular Expressions with Intersection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout, The Netherlands, July 14-18, 1980, Proceedings, pp. 234-245, 1980, Springer, 3-540-10003-2. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
19 | Islam Elleuch, Achraf Makni, Rafik Bouaziz |
CICAPS: a cooperative intersection collision avoidance persistent system for cooperative intersection ADAS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 79(6), pp. 6087-6114, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Kailing Lai, Fanning Meng, Huanqi He |
The Intersection Multiplicity of Intersection Points over Algebraic Curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Math. Math. Sci. ![In: Int. J. Math. Math. Sci. 2023, pp. 6346685:1-6346685:13, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Bogdan L. Kozyrskiy |
Exploring the Intersection of Bayesian Deep Learning and Gaussian Processes. (Explorer l'intersection entre l'apprentissage profond bayésien et les processus gaussiens). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2023 |
RDF |
|
19 | Yukai Zhang, Jiahao Zhang, Hongsheng Qi |
Intersection Outlet Saturation Flow Rate (OSFR) Considering Game Behavior Within Intersection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 10, pp. 112629-112638, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Wyatt Howe, Andrei Lapets, Frederick Jansen, Tanner Braun, Ben Getchell |
Asynchronous Delegated Private Set Intersection with Hiding of Intersection Size. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2022, pp. 1778, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
19 | You Chen, Ning Ding 0001, Dawu Gu, Yang Bian |
Practical Multi-party Private Set Intersection Cardinality and Intersection-Sum Under Arbitrary Collusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inscrypt ![In: Information Security and Cryptology - 18th International Conference, Inscrypt 2022, Beijing, China, December 11-13, 2022, Revised Selected Papers, pp. 169-191, 2022, Springer, 978-3-031-26552-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Sotiris E. Nikoletseas, Christoforos L. Raptopoulos, Paul G. Spirakis |
Maximum cliques in graphs with small intersection number and random intersection graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. Rev. ![In: Comput. Sci. Rev. 39, pp. 100353, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Lucas Franceschino |
Programmation vérifiée à l'intersection des types dépendants et de l'analyse statique. (Verified Programming at the Intersection of Dependent Types and Static Analysis). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2021 |
RDF |
|
19 | Yamin Wen, Fangguo Zhang, Huaxiong Wang, Yinbin Miao, Zheng Gong |
Intersection-policy private mutual authentication from authorized private set intersection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Inf. Sci. ![In: Sci. China Inf. Sci. 63(2), pp. 122101, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Myungwhan Choi, Areeya Rubenecia, Hyo Hyun Choi |
Reservation-based Autonomous Intersection Management Considering Vehicle Failures in the Intersection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICOIN ![In: 2020 International Conference on Information Networking, ICOIN 2020, Barcelona, Spain, January 7-10, 2020, pp. 654-659, 2020, IEEE, 978-1-7281-4199-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Federico Olimpieri |
Intersection Types and Resource Calculi in the Denotational Semantics of λ-Calculus. (Types intersection et calculs avec ressources dans la sémantique dénotationnelle du λ-calcul). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
19 | Rodrigue Domga Komguem |
Autonomous Wireless Sensor Network Architecture for Vehicular Traffic Monitoring at an Intersection. (Architecture de Réseau Autonome de Capteurs Sans Fil pour la Surveillance du Trafic Routier dans une Intersection). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
19 | Chien-Chung Huang |
Graph Matching, Matroid Intersection, and Beyond. (Couplage, L'Intersection de Matroïdes, et Au-Delà). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
19 | Marcelo Carielo |
Intersection of spheres and geometric algebra / Intersection de sphères et algèbre géométrique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
19 | Claude Stolze |
Combining union, intersection and dependent types in an explicitly typed lambda-calculus. (Types union, intersection, et dépendants dans le lambda-calcul explicitement typé). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
19 | Md. Salman Ahmed 0001, Mohammad Asadul Hoque, Asad J. Khattak |
Intersection Approach Advisory Through Vehicle-to-Infrastructure Communication Using Signal Phase and Timing Information at Signalized Intersection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1805.00459, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
19 | Qiang Lu 0004 |
Safe and Efficient Intersection Control of Connected and Autonomous Intersection Traffic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1801.09361, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
19 | Jose Victor Saians-Vazquez, Esteban Fernando Ordóñez-Morales, Martín López Nores, Yolanda Blanco-Fernández, Jack Fernando Bravo-Torres, José Juan Pazos-Arias, Alberto Gil-Solla, Manuel Ramos Cabrer |
Intersection Intelligence: Supporting Urban Platooning with Virtual Traffic Lights over Virtualized Intersection-Based Routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 18(11), pp. 4054, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Myungwhan Choi, Areeya Rubenecia, Hyo Hyun Choi |
Reservation-Based Cooperative Intersection Crossing Scheme for Autonomous Driving in the Intersection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICUFN ![In: Tenth International Conference on Ubiquitous and Future Networks, ICUFN 2018, Prague, Czech Republic, July 3-6, 2018, pp. 654-659, 2018, IEEE, 978-1-5386-4646-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Pawel Parys |
Intersection Types for Unboundedness Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM/ITRS ![In: Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, DCM/ITRS 2018, Oxford, UK, 8th July 2018., pp. 7-27, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Olivier Laurent 0001 |
Intersection Subtyping with Constructors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM/ITRS ![In: Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, DCM/ITRS 2018, Oxford, UK, 8th July 2018., pp. 73-84, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Federico Aschieri |
Natural Deduction and Normalization Proofs for the Intersection Type Discipline. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM/ITRS ![In: Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, DCM/ITRS 2018, Oxford, UK, 8th July 2018., pp. 29-37, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Yi Yang 0009, Hao Li, Hao Zhu 0002, Songtian Shang, Ningyi Lyu, Wenjie Song 0001 |
Intersection scan model and probability inference for vision based small-scale urban intersection detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Vehicles Symposium ![In: IEEE Intelligent Vehicles Symposium, IV 2017, Los Angeles, CA, USA, June 11-14, 2017, pp. 1393-1398, 2017, IEEE, 978-1-5090-4804-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Dhaivat Bhatt, Danish Sodhi, Arghya Pal, Vineeth N. Balasubramanian, K. Madhava Krishna |
Have i reached the intersection: A deep learning-based approach for intersection detection from monocular cameras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2017, Vancouver, BC, Canada, September 24-28, 2017, pp. 4495-4500, 2017, IEEE, 978-1-5386-2682-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Xuguang Hao |
Contribution to cooperative intersection : longitudinal and lateral controls. (Contribution à l'intersection coopérative : commandes longitudinale et latérale). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
19 | Ismail H. Zohdy, Hesham A. Rakha |
Intersection Management via Vehicle Connectivity: The Intersection Cooperative Adaptive Cruise Control System Concept. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Transp. Syst. ![In: J. Intell. Transp. Syst. 20(1), pp. 17-32, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Wei-Hsun Lee, Kuo-Ping Hwang, Wen-Bin Wu |
An intersection-to-intersection travel time estimation and route suggestion approach using vehicular ad-hoc network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ad Hoc Networks ![In: Ad Hoc Networks 43, pp. 71-81, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Pierre Vial |
The Collapse of the Sequential Intersection Type System on the Multiset Intersection Type is Surjective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1610.06399, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
19 | Egon Balas, Tamás Kis |
On the relationship between standard intersection cuts, lift-and-project cuts, and generalized intersection cuts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 160(1-2), pp. 85-114, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Pawel Parys |
Intersection Types and Counting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Eighth Workshop on Intersection Types and Related Systems, ITRS 2016, Porto, Portugal, 26th June 2016., pp. 48-63, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Steffen van Bakel |
Characterisation of Approximation and (Head) Normalisation for λμ using Strict Intersection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Eighth Workshop on Intersection Types and Related Systems, ITRS 2016, Porto, Portugal, 26th June 2016., pp. 20-30, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Mario Coppo, Mariangiola Dezani-Ciancaglini, Alejandro Díaz-Caro, Ines Margaria, Maddalena Zacchi |
Retractions in Intersection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Eighth Workshop on Intersection Types and Related Systems, ITRS 2016, Porto, Portugal, 26th June 2016., pp. 31-47, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Thuong-Cang Phan |
Optimization for big joins and recursive query evaluation using intersection and difference filters in MapReduce. (Utilisation de filtres d'intersection et de différence pour l'optimisation des jointures à grande échelle et l'exécution de requêtes récursives à l'aide MapReduce). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
19 | Mário Pereira, Sandra Alves, Mário Florido |
Liquid Intersection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Seventh Workshop on Intersection Types and Related Systems, ITRS 2014, Vienna, Austria, 18 July 2014., pp. 24-42, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi |
On Isomorphism of "Functional" Intersection and Union Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Seventh Workshop on Intersection Types and Related Systems, ITRS 2014, Vienna, Austria, 18 July 2014., pp. 53-64, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Kentaro Kikuchi |
Uniform Proofs of Normalisation and Approximation for Intersection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Seventh Workshop on Intersection Types and Related Systems, ITRS 2014, Vienna, Austria, 18 July 2014., pp. 10-23, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Marcin Benke, Viviana Bono, Aleksy Schubert |
Lucretia - intersection type polymorphism for scripting languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Seventh Workshop on Intersection Types and Related Systems, ITRS 2014, Vienna, Austria, 18 July 2014., pp. 65-78, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Rick Statman |
A Finite Model Property for Intersection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Seventh Workshop on Intersection Types and Related Systems, ITRS 2014, Vienna, Austria, 18 July 2014., pp. 1-9, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Jan Bessai, Boris Düdder, Andrej Dudenhefner, Tzu-Chun Chen, Ugo de'Liguoro |
Typing Classes and Mixins with Intersection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Seventh Workshop on Intersection Types and Related Systems, ITRS 2014, Vienna, Austria, 18 July 2014., pp. 79-93, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Chaman L. Sabharwal, Jennifer L. Leopold |
Identification of Relations in Region Connection Calculus: 9-Intersection Reduced to 3 + -Intersection Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI (2) ![In: Advances in Soft Computing and Its Applications - 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part II, pp. 362-375, 2013, Springer, 978-3-642-45110-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Sotiris E. Nikoletseas, Christoforos L. Raptopoulos, Paul G. Spirakis |
Maximum Cliques in Graphs with Small Intersection Number and Random Intersection Graphs ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1204.4054, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
19 | Sotiris E. Nikoletseas, Christoforos L. Raptopoulos, Paul G. Spirakis |
Maximum Cliques in Graphs with Small Intersection Number and Random Intersection Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2012 - 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings, pp. 728-739, 2012, Springer, 978-3-642-32588-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Ruben Corthout |
Intersection Modelling and Marginal Simulation in Macroscopic Dynamic Network Loading (Kruispuntmodellering en marginale simulatie in macroscopische verkeersmodellen) ; Intersection Modelling and Marginal Simulation in Macroscopic Dynamic Network Loading. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2012 |
RDF |
|
19 | Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi |
Toward Isomorphism of Intersection and Union types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Sixth Workshop on Intersection Types and Related Systems, ITRS 2012, Dubrovnik, Croatia, 29th June 2012., pp. 58-80, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Erika De Benedetti, Simona Ronchi Della Rocca |
Bounding normalization time through intersection types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Sixth Workshop on Intersection Types and Related Systems, ITRS 2012, Dubrovnik, Croatia, 29th June 2012., pp. 48-57, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Jana Dunfield |
Annotations for Intersection Typechecking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Sixth Workshop on Intersection Types and Related Systems, ITRS 2012, Dubrovnik, Croatia, 29th June 2012., pp. 35-47, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Boris Düdder, Oliver Garbe, Moritz Martens, Jakob Rehof, Pawel Urzyczyn |
Using Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Sixth Workshop on Intersection Types and Related Systems, ITRS 2012, Dubrovnik, Croatia, 29th June 2012., pp. 18-34, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Yanli Huang, Dongming Wang 0001 |
Computing intersection and self-intersection loci of parametrized surfaces using regular systems and Gröbner bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Aided Geom. Des. ![In: Comput. Aided Geom. Des. 28(9), pp. 566-581, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Matthew J. Hausknecht, Tsz-Chiu Au, Peter Stone |
Autonomous Intersection Management: Multi-intersection optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2011, San Francisco, CA, USA, September 25-30, 2011, pp. 4581-4586, 2011, IEEE, 978-1-61284-454-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Jia Wu 0005 |
Utilisation de la conduite coopérative pour la régulation de trafic dans une intersection. (Using the technology of cooperative driving for the traffic control at isolated intersection). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2011 |
RDF |
|
19 | Alexandre Blondin Massé |
A l'intersection de la combinatoire des mots et de la géométrie discrète : palindromes, symétries et pavages. (At the intersection of combinatorics on words and discrete geometry : palindromes, symmetries and tilings). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2011 |
RDF |
|
19 | Chih-Fong Tsai, Yu-Chieh Hsiao |
Combining multiple feature selection methods for stock prediction: Union, intersection, and multi-intersection approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Decis. Support Syst. ![In: Decis. Support Syst. 50(1), pp. 258-269, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Tanusree Bhattacharjee, Biplab Banerjee, Nirmalya Chowdhury |
An Interactive Content Based Image Retrieval Method Integrating Intersection Kernel Based Support Vector Machine and Histogram Intersection Based Similarity Measure for Nearest Neighbor Ranking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICT ![In: Information and Communication Technologies - International Conference, ICT 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings, pp. 458-462, 2010, Springer, 978-3-642-15765-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Luca Padovani |
Session Types = Intersection Types + Union Types ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Fifth Workshop on Intersection Types and Related Systems, ITRS 2010, Edinburgh, U.K., 9th July 2010., pp. 71-89, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Simona Ronchi Della Rocca, Alexis Saurin, Yiorgos Stavrinos, Anastasia Veneti |
Intersection Logic in sequent calculus style ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Fifth Workshop on Intersection Types and Related Systems, ITRS 2010, Edinburgh, U.K., 9th July 2010., pp. 16-30, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca |
Intersection types for unbind and rebind ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Fifth Workshop on Intersection Types and Related Systems, ITRS 2010, Edinburgh, U.K., 9th July 2010., pp. 45-58, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Kurt M. Dresner, Peter Stone, Mark Van Middlesworth |
An Unmanaged Intersection Protocol and Improved Intersection Safety for Autonomous Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multi-Agent Systems for Traffic and Transportation Engineering ![In: Multi-Agent Systems for Traffic and Transportation Engineering., pp. 193-217, 2009, IGI Global, 978-1-605-66226-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Laurent Busé, Mohamed Elkadi, André Galligo |
Intersection and self-intersection of surfaces by means of Bezoutian matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Aided Geom. Des. ![In: Comput. Aided Geom. Des. 25(2), pp. 53-68, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Francisco Javier Ruiz, Cecilio Angulo, Núria Agell |
Intersection and Signed-Intersection Kernels for Intervals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCIA ![In: Artificial Intelligence Research and Development, Proceedings of the 11th International Conference of the Catalan Association for Artificial Intelligence, CCIA 2008, October 22-24, 2008, Sant Martí d'Empúries, Spain, pp. 262-270, 2008, IOS Press, 978-1-58603-925-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Laurent Dupont 0004 |
Paramétrage quasi-optimal de l'intersection de deux quadriques : théorie, algorithmes et implantation. (Near-optimal parameterization of the intersection of two quadric surfaces : theory, algorithmes and implementation). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2004 |
RDF |
|
19 | Pascal Zimmer |
Récursion généralisée et inférence de types avec intersection. (Generalised recursion and type inference for intersection types). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2004 |
RDF |
|
19 | Sébastien Carlier, J. B. Wells |
Expansion: the Crucial Mechanism for Type Inference with Intersection Types: A Survey and Explanation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings of the Third International Workshop on Intersection Types and Related Systems, ITRS 2004, Turku, Finland, July 13, 2004, pp. 173-202, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Luigi Liquori, Simona Ronchi Della Rocca |
Towards an Intersection Typed System à la Church. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings of the Third International Workshop on Intersection Types and Related Systems, ITRS 2004, Turku, Finland, July 13, 2004, pp. 43-56, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Daniel de Carvalho |
Intersection Types for Light Affine Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings of the Third International Workshop on Intersection Types and Related Systems, ITRS 2004, Turku, Finland, July 13, 2004, pp. 133-152, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Steffen van Bakel |
Intersection and Union Types for chi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings of the Third International Workshop on Intersection Types and Related Systems, ITRS 2004, Turku, Finland, July 13, 2004, pp. 203-227, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne |
Intersection and Union Types in the lambda-my-my/tilde-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings of the Third International Workshop on Intersection Types and Related Systems, ITRS 2004, Turku, Finland, July 13, 2004, pp. 153-172, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Gérard Boudol, Pascal Zimmer |
On Type Inference in the Intersection Type Discipline. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings of the Third International Workshop on Intersection Types and Related Systems, ITRS 2004, Turku, Finland, July 13, 2004, pp. 23-42, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Assaf J. Kfoury, Geoffrey Washburn, Joe B. Wells |
Implementing Compositional Analysis Using Intersection Types With Expansion Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Intersection Types and Related Systems, ITRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002, pp. 124-148, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Sébastien Carlier |
Polar Type Inference with Intersection Types and omega. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Intersection Types and Related Systems, ITRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002, pp. 37-52, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Steffen van Bakel |
Strongly Normalising Cut-Elimination with Strict Intersection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Intersection Types and Related Systems, ITRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002, pp. 19-36, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Daniel Leivant |
Feasible functionals and intersection of ramified types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Intersection Types and Related Systems, ITRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002, pp. 149-162, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Simona Ronchi Della Rocca |
Intersection Typed lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Intersection Types and Related Systems, ITRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002, pp. 163-181, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Silvia Ghilezan, Silvia Likavec |
Reducibility: A Ubiquitous Method in Lambda Calculus with Intersection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Intersection Types and Related Systems, ITRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002, pp. 106-123, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Sébastien Fourey |
Nombre d'intersection et d'entrelacement de courbes discrètes et application à la caractérisation de la préservation de la topologie en imagerie. (Intersection and linking numbers of digital curves and application to the characterization of topology preservation in computer imagery). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2000 |
RDF |
|
19 | Frank Deutsch, Wu Li, Joseph D. Ward |
Best Approximation from the Intersection of a Closed Convex Set and a Polyhedron in Hilbert Space, Weak Slater Conditions, and the Strong Conical Hull Intersection Property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Optim. ![In: SIAM J. Optim. 10(1), pp. 252-268, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Jan Kratochvíl, Teresa M. Przytycka |
Grid Intersection and Box Intersection Graphs on Surfaces (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
GD ![In: Graph Drawing, Symposium on Graph Drawing, GD '95, Passau, Germany, September 20-22, 1995, Proceedings, pp. 365-372, 1995, Springer, 3-540-60723-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Mohamed Berroug |
Contribution à la résolution du problème d'intersection de deux carreaux de surfaces. (Contribution to the resolution of the problem of intersection of two surface patches). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1995 |
RDF |
|