Search results for "intersection"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Ugo de'Liguoro	Characterizing Convergent Terms in Object Calculi via Intersection Types.	TLCA	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.	ICME	2001	DBLP DOI BibTeX RDF
21	Ole Caprani, Lars Hvidegaard, Mikkel Mortensen, Thomas Schneider	Robust and Efficient Ray Intersection of Implicit Surfaces.	Reliab. Comput.	2000	DBLP DOI BibTeX RDF
21	Alexandre Miquel	A Model for Impredicative Type Systems, Universes, Intersection Types and Subtyping.	LICS	2000	DBLP DOI BibTeX RDF
21	Ferruccio Damiani	Typing Local Definitions and Conditional Expressions with Rank 2 Intersection.	FoSSaCS	2000	DBLP DOI BibTeX RDF
21	Mariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama	Compositional Characterizations of lambda-Terms Using Intersection Types.	MFCS	2000	DBLP DOI BibTeX RDF
21	Todd Wareham	The Parameterized Complexity of Intersection and Composition Operations on Sets of Finite-State Automata.	CIAA	2000	DBLP DOI BibTeX RDF
21	Rowan Davies, Frank Pfenning	Intersection types and computational effects.	ICFP	2000	DBLP DOI BibTeX RDF	UML
21	Enrico Nardelli, Guido Proietti	Size Estimation of the Intersection Join between Two Line Segment Datasets.	ADBIS-DASFAA	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.	ECCV (2)	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.	TYPES	1999	DBLP DOI BibTeX RDF
21	Tatiana Samoilov, Gershon Elber	Self-intersection elimination in metamorphosis of two-dimensional curves.	Vis. Comput.	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.	ICALP	1995	DBLP DOI BibTeX RDF
21	Masatoshi Niizeki, Fujio Yamaguchi	Projectively invariant intersection detections for solid modeling.	ACM Trans. Graph.	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.	Adv. Comput. Math.	1994	DBLP DOI BibTeX RDF
21	Ying Xu 0001, Harold N. Gabow	Fast Algorithms for Transversal Matroid Intersection Problems	ISAAC	1994	DBLP DOI BibTeX RDF
21	David M. Mount	Intersection Detection and Separators for Simple Polygons.	SCG	1992	DBLP DOI BibTeX RDF
21	Mario Coppo, Paola Giannini	A Complete Type Inference Algorithm for Simple Intersection Types.	CAAP	1992	DBLP DOI BibTeX RDF
21	Shreeram S. Abhyankar, Srinivasan Chandrasekar, Vijaya Chandru	Improper intersection of algebraic curves.	ACM Trans. Graph.	1990	DBLP DOI BibTeX RDF
21	Marc J. van Kreveld, Mark H. Overmars, Pankaj K. Agarwal	Intersection Queries in Sets of Disks.	SWAT	1990	DBLP DOI BibTeX RDF
21	Shreeram S. Abhyankar, Srinivasan Chandrasekar, Vijaya Chandru	Degree Complexity Bounds on the Intersection of Algebraic Curves.	SCG	1989	DBLP DOI BibTeX RDF
21	Bernard Chazelle, David P. Dobkin	Intersection of convex objects in two and three dimensions.	J. ACM	1987	DBLP DOI BibTeX RDF
21	Martin Fürer	The Complexity of the Inequivalence Problem for Regular Expressions with Intersection.	ICALP	1980	DBLP DOI BibTeX RDF
19	Islam Elleuch, Achraf Makni, Rafik Bouaziz	CICAPS: a cooperative intersection collision avoidance persistent system for cooperative intersection ADAS.	J. Supercomput.	2023	DBLP DOI BibTeX RDF
19	Kailing Lai, Fanning Meng, Huanqi He	The Intersection Multiplicity of Intersection Points over Algebraic Curves.	Int. J. Math. Math. Sci.	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).		2023	RDF
19	Yukai Zhang, Jiahao Zhang, Hongsheng Qi	Intersection Outlet Saturation Flow Rate (OSFR) Considering Game Behavior Within Intersection.	IEEE Access	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.	IACR Cryptol. ePrint Arch.	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.	Inscrypt	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.	Comput. Sci. Rev.	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).		2021	RDF
19	Yamin Wen, Fangguo Zhang, Huaxiong Wang, Yinbin Miao, Zheng Gong	Intersection-policy private mutual authentication from authorized private set intersection.	Sci. China Inf. Sci.	2020	DBLP DOI BibTeX RDF
19	Myungwhan Choi, Areeya Rubenecia, Hyo Hyun Choi	Reservation-based Autonomous Intersection Management Considering Vehicle Failures in the Intersection.	ICOIN	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).		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).		2020	RDF
19	Chien-Chung Huang	Graph Matching, Matroid Intersection, and Beyond. (Couplage, L'Intersection de Matroïdes, et Au-Delà).		2019	RDF
19	Marcelo Carielo	Intersection of spheres and geometric algebra / Intersection de sphères et algèbre géométrique.		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é).		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.	CoRR	2018	DBLP BibTeX RDF
19	Qiang Lu 0004	Safe and Efficient Intersection Control of Connected and Autonomous Intersection Traffic.	CoRR	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.	Sensors	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.	ICUFN	2018	DBLP DOI BibTeX RDF
19	Pawel Parys	Intersection Types for Unboundedness Problems.	DCM/ITRS	2018	DBLP DOI BibTeX RDF
19	Olivier Laurent 0001	Intersection Subtyping with Constructors.	DCM/ITRS	2018	DBLP DOI BibTeX RDF
19	Federico Aschieri	Natural Deduction and Normalization Proofs for the Intersection Type Discipline.	DCM/ITRS	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.	Intelligent Vehicles Symposium	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.	IROS	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).		2017	RDF
19	Ismail H. Zohdy, Hesham A. Rakha	Intersection Management via Vehicle Connectivity: The Intersection Cooperative Adaptive Cruise Control System Concept.	J. Intell. Transp. Syst.	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.	Ad Hoc Networks	2016	DBLP DOI BibTeX RDF
19	Pierre Vial	The Collapse of the Sequential Intersection Type System on the Multiset Intersection Type is Surjective.	CoRR	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.	Math. Program.	2016	DBLP DOI BibTeX RDF
19	Pawel Parys	Intersection Types and Counting.	ITRS	2016	DBLP DOI BibTeX RDF
19	Steffen van Bakel	Characterisation of Approximation and (Head) Normalisation for λμ using Strict Intersection Types.	ITRS	2016	DBLP DOI BibTeX RDF
19	Mario Coppo, Mariangiola Dezani-Ciancaglini, Alejandro Díaz-Caro, Ines Margaria, Maddalena Zacchi	Retractions in Intersection Types.	ITRS	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).		2014	RDF
19	Mário Pereira, Sandra Alves, Mário Florido	Liquid Intersection Types.	ITRS	2014	DBLP DOI BibTeX RDF
19	Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi	On Isomorphism of "Functional" Intersection and Union Types.	ITRS	2014	DBLP DOI BibTeX RDF
19	Kentaro Kikuchi	Uniform Proofs of Normalisation and Approximation for Intersection Types.	ITRS	2014	DBLP DOI BibTeX RDF
19	Marcin Benke, Viviana Bono, Aleksy Schubert	Lucretia - intersection type polymorphism for scripting languages.	ITRS	2014	DBLP DOI BibTeX RDF
19	Rick Statman	A Finite Model Property for Intersection Types.	ITRS	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.	ITRS	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.	MICAI (2)	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	CoRR	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.	MFCS	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)		2012	RDF
19	Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi	Toward Isomorphism of Intersection and Union types.	ITRS	2012	DBLP DOI BibTeX RDF
19	Erika De Benedetti, Simona Ronchi Della Rocca	Bounding normalization time through intersection types.	ITRS	2012	DBLP DOI BibTeX RDF
19	Jana Dunfield	Annotations for Intersection Typechecking.	ITRS	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.	ITRS	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.	Comput. Aided Geom. Des.	2011	DBLP DOI BibTeX RDF
19	Matthew J. Hausknecht, Tsz-Chiu Au, Peter Stone	Autonomous Intersection Management: Multi-intersection optimization.	IROS	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).		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).		2011	RDF
19	Chih-Fong Tsai, Yu-Chieh Hsiao	Combining multiple feature selection methods for stock prediction: Union, intersection, and multi-intersection approaches.	Decis. Support Syst.	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.	ICT	2010	DBLP DOI BibTeX RDF
19	Luca Padovani	Session Types = Intersection Types + Union Types	ITRS	2010	DBLP DOI BibTeX RDF
19	Simona Ronchi Della Rocca, Alexis Saurin, Yiorgos Stavrinos, Anastasia Veneti	Intersection Logic in sequent calculus style	ITRS	2010	DBLP DOI BibTeX RDF
19	Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca	Intersection types for unbind and rebind	ITRS	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.	Multi-Agent Systems for Traffic and Transportation Engineering	2009	DBLP DOI BibTeX RDF
19	Laurent Busé, Mohamed Elkadi, André Galligo	Intersection and self-intersection of surfaces by means of Bezoutian matrices.	Comput. Aided Geom. Des.	2008	DBLP DOI BibTeX RDF
19	Francisco Javier Ruiz, Cecilio Angulo, Núria Agell	Intersection and Signed-Intersection Kernels for Intervals.	CCIA	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).		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).		2004	RDF
19	Sébastien Carlier, J. B. Wells	Expansion: the Crucial Mechanism for Type Inference with Intersection Types: A Survey and Explanation.	ITRS	2004	DBLP DOI BibTeX RDF
19	Luigi Liquori, Simona Ronchi Della Rocca	Towards an Intersection Typed System à la Church.	ITRS	2004	DBLP DOI BibTeX RDF
19	Daniel de Carvalho	Intersection Types for Light Affine Lambda Calculus.	ITRS	2004	DBLP DOI BibTeX RDF
19	Steffen van Bakel	Intersection and Union Types for chi.	ITRS	2004	DBLP DOI BibTeX RDF
19	Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne	Intersection and Union Types in the lambda-my-my/tilde-calculus.	ITRS	2004	DBLP DOI BibTeX RDF
19	Gérard Boudol, Pascal Zimmer	On Type Inference in the Intersection Type Discipline.	ITRS	2004	DBLP DOI BibTeX RDF
19	Assaf J. Kfoury, Geoffrey Washburn, Joe B. Wells	Implementing Compositional Analysis Using Intersection Types With Expansion Variables.	ITRS	2002	DBLP DOI BibTeX RDF
19	Sébastien Carlier	Polar Type Inference with Intersection Types and omega.	ITRS	2002	DBLP DOI BibTeX RDF
19	Steffen van Bakel	Strongly Normalising Cut-Elimination with Strict Intersection Types.	ITRS	2002	DBLP DOI BibTeX RDF
19	Daniel Leivant	Feasible functionals and intersection of ramified types.	ITRS	2002	DBLP DOI BibTeX RDF
19	Simona Ronchi Della Rocca	Intersection Typed lambda-calculus.	ITRS	2002	DBLP DOI BibTeX RDF
19	Silvia Ghilezan, Silvia Likavec	Reducibility: A Ubiquitous Method in Lambda Calculus with Intersection Types.	ITRS	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).		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.	SIAM J. Optim.	1999	DBLP DOI BibTeX RDF
19	Jan Kratochvíl, Teresa M. Przytycka	Grid Intersection and Box Intersection Graphs on Surfaces (Extended Abstract).	GD	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).		1995	RDF