The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for intersection with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1966-1973 (15) 1974-1978 (18) 1979-1980 (23) 1981-1982 (23) 1983 (18) 1984-1985 (45) 1986 (23) 1987 (33) 1988 (34) 1989 (48) 1990 (40) 1991 (56) 1992 (50) 1993 (56) 1994 (68) 1995 (65) 1996 (77) 1997 (78) 1998 (71) 1999 (86) 2000 (132) 2001 (152) 2002 (158) 2003 (181) 2004 (214) 2005 (306) 2006 (308) 2007 (341) 2008 (395) 2009 (304) 2010 (168) 2011 (144) 2012 (45)
Publication types (Num. hits)
article(1431) book(1) incollection(15) inproceedings(2325) phdthesis(2) proceedings(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2797 occurrences of 1759 keywords

Results
Found 3775 publication records. Showing 3775 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
5Rainer F. Rohmfeld Classifications of Curve-Curve Intersections from the CAD/CAM Viewpoin. Search on Bibsonomy Computer Graphics International The full citation details ... 1996 DBLP  DOI  BibTeX  RDF intersection path, transversal intersection, Jordan Curve Theorem, Boolean operation, self-intersection, Intersection point
4Jérémy Barbay, Claire Kenyon Alternation and redundancy analysis of the intersection problem. Search on Bibsonomy ACM Transactions on Algorithms The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Adaptive analysis, alternation analysis, intersection of sorted arrays, randomized algorithm, intersection, redundancy analysis
4Peter Danziger, Peter Dukes, Terry S. Griggs, Eric Mendelsohn On the Intersection Problem for Steiner Triple Systems of Different Orders. Search on Bibsonomy Graphs and Combinatorics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Steiner triple systems, Intersection number, Quasi-embedding, Intersection, Combinatorial design
4Haim Kaplan, Micha Sharir, Elad Verbin Colored intersection searching via sparse rectangular matrix multiplication. Search on Bibsonomy Symposium on Computational Geometry The full citation details ... 2006 DBLP  DOI  BibTeX  RDF colored intersection searching, generalized intersection searching, matrix multiplication, range searching
4Sang C. Park Triangular mesh intersection. Search on Bibsonomy The Visual Computer The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Computational geometry, Intersection, Triangular mesh, Self-intersection
4Ivana Kolingerová Convex polyhedron-line intersection detection using dual representation. Search on Bibsonomy The Visual Computer The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Intersection detection, Dual representation, Line-polyhedron intersection, Computer graphics, Convex polyhedron
4Shankar Krishnan, Dinesh Manocha An Efficient Surface Intersection Algorithm Based on Lower-Dimensional Formulation. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF curve tracing, curve-surface intersection, loop detection, surface-surface intersection, eigenvalues, algebraic curve, matrices, singular points
3Ahed Alboody, Florence Sedes, Jordi Inglada Modeling Topological Relations between Uncertain Spatial Regions in Geo-spatial Databases: Uncertain Intersection and Difference Topological Model. Search on Bibsonomy DBKDA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Uncertain Intersection and Difference Model, 4*4-Intersection Matrix, Uncertain Spatial Regions, GIS, component, Topological Relations, Geospatial Database
3David Eppstein Testing bipartiteness of geometric intersection graphs. Search on Bibsonomy ACM Transactions on Algorithms The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Hopcroft's problem, coin graph, geometric thickness, graph coloring, minimum spanning tree, Bipartite graph, line segments, disks, intersection graph
3Jan Camenisch, Gregory M. Zaverucha Private Intersection of Certified Sets. Search on Bibsonomy Financial Cryptography The full citation details ... 2009 DBLP  DOI  BibTeX  RDF private set intersection, certified sets, secure two-party computation
3Timothy M. Chan, Eric Y. Chen Optimal in-place algorithms for 3-D convex hulls and 2-D segment intersection. Search on Bibsonomy Symposium on Computational Geometry The full citation details ... 2009 DBLP  DOI  BibTeX  RDF in-place algorithms, segment intersection, voronoi diagrams, convex hulls, cache-oblivious algorithms
3Slobodan Ribaric, Nikola Pavesic, Valentina Zadrija Intersection Search for a Fuzzy Petri Net-Based Knowledge Representation Scheme. Search on Bibsonomy KES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Inference procedure, Knowledge representation, Fuzzy Petri Net, Intersection search
3Yuan Tian, Hao Zhang GUC-Secure Set-Intersection Computation. Search on Bibsonomy ProvSec The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Secure Set-Intersection Computation, Anonymous Identity-based Encryption, Generalized Universally Composable Security, Secure Multiparty Computation
3Frank Schmitt, Lutz Priese Vanishing Point Detection with an Intersection Point Neighborhood. Search on Bibsonomy DGCI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF measurable lines, Image analysis, vanishing points, intersection points
3Dominic A. P. Greenwood, Branislav Burdiliak, Ivan Trencanský, Hartmut Armbruster, Christian Dannegger GreenWave distributed traffic intersection control. Search on Bibsonomy AAMAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF distributed multiagent traffic intersection phase control, emergent green wave, video camera sensor
3Daniel Andres, Viktor Levandovskyy, Jorge Martín-Morales Principal intersection and bernstein-sato polynomial of an affine variety. Search on Bibsonomy ISSAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF bernstein-sato polynomial of variety, initial ideal, intersection with subalgebra, non-commutative gr?bner bases, preimage of ideal, annihilator, d-modules
3Tao Chen, Markus Schneider Data structures and intersection algorithms for 3D spatial data types. Search on Bibsonomy GIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF 3D data structure, slice representation, implementation, intersection
3Jérémie Chalopin, Daniel Gonçalves Every planar graph is the intersection graph of segments in the plane: extended abstract. Search on Bibsonomy STOC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF planar graphs, intersection graphs
3Dana Dachman-Soled, Tal Malkin, Mariana Raykova 0001, Moti Yung Efficient Robust Private Set Intersection. Search on Bibsonomy ACNS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Cryptographic Protocols, Privacy Preserving Data Mining, Secure Two-party Computation, Set Intersection
3Hans Raj Tiwary On the Hardness of Computing Intersection, Union and Minkowski Sum of Polytopes. Search on Bibsonomy Discrete & Computational Geometry The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Extended convex hull, Polytope intersection, Polytopes, Turing reduction, Minkowski addition
3Akadej Udomchaiporn, Veera Boonjing A Search-Free Intersection Algorithm. Search on Bibsonomy ITNG The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Intersection Algorithm, Search-Free Algorithm
3Pei Liu, Shih-Huang Chen, Ming-Der Yang Study of Signalized Intersection Crashes Using Artificial Intelligence Methods. Search on Bibsonomy MICAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF intersection crashes, negative binomial regression, approaching direction combinations, data mining, artificial neural networks
3Jacob Fox, János Pach Coloring kk-free intersection graphs of geometric objects in the plane. Search on Bibsonomy Symposium on Computational Geometry The full citation details ... 2008 DBLP  DOI  BibTeX  RDF quasi-planar, string graph, chromatic number, topological graph, intersection graph
3Ryuhei Uehara Simple Geometrical Intersection Graphs. Search on Bibsonomy WALCOM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF grid intersection graphs, graph isomorphism, interval graphs, Hamiltonian path problem
3Dong Wen, Guohua Liu, Yanhong Zhou, Shunfu Jin The Study of Enhancing Authenticity of Cloth Surface Intersection Processing. Search on Bibsonomy PACIIA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF minimizing intersection contour lines, global optimization, collision detection, cloth simulation, collision response, surface intersection
3Qingsong Ye, Huaxiong Wang, Christophe Tartary Privacy-Preserving Distributed Set Intersection. Search on Bibsonomy ARES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF privacy-preserving set intersection, homomorphic encryption
3Yingpeng Sang, Hong Shen Privacy preserving set intersection based on bilinear groups. Search on Bibsonomy ACSC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF non interactive zero-knowledge proof, cryptographic protocol, privacy preservation, set intersection, bilinear groups
3Yao-Yi Chiang, Craig A. Knoblock Automatic extraction of road intersection position, connectivity, and orientations from raster maps. Search on Bibsonomy GIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF raster map, road intersection template, road layer, road orientation, thinning
3Peter Auer, Ronald Ortner A new PAC bound for intersection-closed concept classes. Search on Bibsonomy Machine Learning The full citation details ... 2007 DBLP  DOI  BibTeX  RDF PAC bounds, Intersection-closed classes
3Toufiq Benbouziane, Hassan El Houari, M'hammed El Kahoui Polynomial parametrization of nonsingular complete intersection curves. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Complete intersection, Locally nilpotent derivation, Polynomial parametrization
3Dariusz Kusmierek The Inhabitation Problem for Rank Two Intersection Types. Search on Bibsonomy TLCA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF type inhabitation problem, lambda calculus, intersection types, alternating Turing machine
3Sung-Soo Kim, Seung-Woo Nam, In-Ho Lee Fast Ray-Triangle Intersection Computation Using Reconfigurable Hardware. Search on Bibsonomy MIRAGE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Intersection Testing, Ray Tracing, Collision Detection, Graphics Hardware
3Vijayshankar Raman, Lin Qiao, Wei Han, Inderpal Narang, Ying-Lin Chen, Kou-Horng Yang, Fen-Ling Ling Lazy, adaptive rid-list intersection, and its application to index anding. Search on Bibsonomy SIGMOD Conference The full citation details ... 2007 DBLP  DOI  BibTeX  RDF AND tree, star join, sorting, intersection, lazy
3Yingpeng Sang, Hong Shen Privacy Preserving Set Intersection Protocol Secure against Malicious Behaviors. Search on Bibsonomy PDCAT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF privacy preserva- tion, distributed datasets, cryptographic protocol, zero-knowledge proof, set intersection
3Jihong OuYang, Qian Fu, Dayou Liu A Model for Representing Topological Relations Between Simple Concave Regions. Search on Bibsonomy International Conference on Computational Science The full citation details ... 2007 DBLP  DOI  BibTeX  RDF simple concave region, 9-intersection model, 16-intersection matrix, RCC23, topological relation
3Dario Andrea Bini, Ana Marco Computing curve intersection by means of simultaneous iterations. Search on Bibsonomy Numerical Algorithms The full citation details ... 2006 DBLP  DOI  BibTeX  RDF curve intersection, structured matrices, Sylvester resultant, simultaneous iterations, numerical algorithms
3Boris Aronov, Mark de Berg, Chris Gray Ray shooting and intersection searching amidst fat convex polyhedra in 3-space. Search on Bibsonomy Symposium on Computational Geometry The full citation details ... 2006 DBLP  DOI  BibTeX  RDF computational geometry, ray shooting, fat objects, intersection searching
3Chee-Keng Yap Complete subdivision algorithms, I: intersection of Bezier curves. Search on Bibsonomy Symposium on Computational Geometry The full citation details ... 2006 DBLP  DOI  BibTeX  RDF curve intersection, methods for polynomials, robust geometric computation, robust numerical algorithms, subdivision method, computational geometry, geometric algorithms, exact geometric computation, Bezier curves
3Wei Cheng, Xiaolan Liu, Yueming Chen The Research on Optimal Green Time For Intersection Groups. Search on Bibsonomy ISDA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Intersection Groups, Adaptive Algorithm, Traffic, Traffic Signal Control
3Nathaniel Nystrom, Xin Qi, Andrew C. Myers J&: nested intersection for scalable software composition. Search on Bibsonomy OOPSLA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF nested inheritance, nested intersection, compilers
3Viktor Levandovskyy Intersection of ideals with non-commutative subalgebras. Search on Bibsonomy ISSAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF homomorphism of algebras, intersection with subalgebra, non-commutative algebra, preimage of ideal, restriction, elimination, Groebner bases
3Wenjing Jia, Huaifeng Zhang, Xiangjian He, Qiang Wu Refined Gaussian Weighted Histogram Intersection and Its Application in Number Plate Categorization. Search on Bibsonomy CGIV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Refined Gaussian weighted histogram intersection, Number plate categorization, Colour quantization, Colour variations
3Y.-K. Zhu, J.-H. Yong, G.-Q. Zheng Line Segment Intersection Testing. Search on Bibsonomy Computing The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Intersection testing for line segments, dot product summation, floating-point arithmetic, rounding error
3Hans-Peter Kriegel, Peter Kunath, Martin Pfeifle, Matthias Renz Distributed Intersection Join of Complex Interval Sequences. Search on Bibsonomy DASFAA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Distributed intersection join, interval sequences, probability model
3Jinyuan Jia, Kai Tang, Ajay Joneja Biconic subdivision of surfaces of revolution and its applications in intersection problems. Search on Bibsonomy The Visual Computer The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Quadric decomposition, Bi-conic arc fitting, Revolute quadrics, Intersection, Surfaces of revolution
3Ziba Eslami, Gholamreza B. Khosrovshahi, M. Mohammad-Noori Enumeration of t-Designs Through Intersection Matrices. Search on Bibsonomy Des. Codes Cryptography The full citation details ... 2004 DBLP  DOI  BibTeX  RDF derived designs, intersection matrices, t-designs
3S. H. Lo, W. X. Wang A fast robust algorithm for the intersection of triangulated surfaces. Search on Bibsonomy Eng. Comput. (Lond.) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Neighbour tracing, Surface, Intersection, Triangular mesh
3Sébastien Carlier, J. B. Wells Type inference with expansion variables and intersection types in system E and an exact correspondence with beta-reduction. Search on Bibsonomy PPDP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF expansion variables, type inference, lambda-calculus, intersection types
3Laurent Dupont, Daniel Lazard, Sylvain Lazard, Sylvain Petitjean Near-optimal parameterization of the intersection of quadrics. Search on Bibsonomy Symposium on Computational Geometry The full citation details ... 2003 DBLP  DOI  BibTeX  RDF quadric surface intersection, robustness of geometric computations
3Guido Stehr, Helmut E. Graeb, Kurt Antreich Performance trade-off analysis of analog circuits by normal-boundary intersection. Search on Bibsonomy DAC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF normal-boundary intersection, performance space exploration, topology selection, analog circuits, Pareto optimality, trade-off analysis
3Federico Thomas, Carme Torras A projectively invariant intersection test for polyhedra. Search on Bibsonomy The Visual Computer The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Intersection detection, Degenerate configurations, 4×4 determinant method, Projective invariance
3Heather J. Ruskin, Ruili Wang Modeling Traffic Flow at an Urban Unsignalized Intersection. Search on Bibsonomy International Conference on Computational Science The full citation details ... 2002 DBLP  DOI  BibTeX  RDF unsignalised intersection, TWSC, Modelling, cellular automata, capacity
3Xiao-Shan Gao, Christoph M. Hoffmann, Wei-Qiang Yang Solving spatial basic geometric constraint configurations with locus intersection. Search on Bibsonomy Symposium on Solid Modeling and Applications The full citation details ... 2002 DBLP  DOI  BibTeX  RDF locus intersection, parametric CAD, spatial basic configuration, geometric constraint solving
3Changhe Tu, Wenping Wang, Jiaye Wang Classifying the Nonsingular Intersection Curve of Two Quadric Surfaces. Search on Bibsonomy GMP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Block Diagonalization, Quadrics, Intersection Curves
3Ulrich Schmid, Klaus Schossmaier How to reconcile fault-tolerant interval intersection with the Lipschitz condition. Search on Bibsonomy Distributed Computing The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Fault-tolerant interval intersection, Marzullo function, Interval-based clock synchronization, Hybrid fault models
3Silvio Valentini An elementary proof of strong normalization for intersection types. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Normalization, Lambda calculus, Intersection types
3James E. Gain, Neil A. Dodgson Preventing Self-Intersection under Free-Form Deformation. Search on Bibsonomy IEEE Trans. Vis. Comput. Graph. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF space homeomorphism, direct manipulation, Free-form deformation, self-intersection
3Toshikazu Wada, Xiaojun Wu, Shogo Tokai, Takashi Matsuyama Homography Based Parallel Volume Intersection: Toward Real-Time Volume Reconstruction using Active Cameras. Search on Bibsonomy CAMP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF real-time volume reconstruction, parallel volume intersection, silhouette images, octree volume representation, projection acceleration, projected silhouette images, frame-rate volume reconstruction, image reconstruction, active cameras, back-projection
3Shin-Ting Wu, Osmar Aléssio, Sueli I. Rodrigues Costa On Estimating Local Geometric Properties of Intersection Curves. Search on Bibsonomy SIBGRAPI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF local geometric property estimation, torsion vectors, curvature vectors, binormal vectors, tangent vectors, normal vectors, marching directions, computational geometry, robust algorithm, intersection curves
3Luiz Antônio Pereira Neves, Jacques Facon Methodology of Automatic Extraction of Table-Form Cells. Search on Bibsonomy SIBGRAPI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF table-form cells, active cells, line intersection recognition, correction module mechanisms, error detection/correction, intersection identification phase, form bases, document image processing, automatic extraction
3Witold Charatonik, Andreas Podelski Set Constraints with Intersection. Search on Bibsonomy LICS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF satisfiability test, set-based program analysis, DEXPTIME-complete, complexity characterization, negative set constraints, negated conjuncts, negated inclusion, computability, decidability, intersection, inclusions, set constraints
3Fu Chang, Ya-Ching Lu, Theodosios Pavlidis Line sweep thinning algorithm for feature analysis. Search on Bibsonomy ICDAR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF line sweep thinning algorithm, polygonal figures, paired edges, figure interior bounding, regular regions, intersection regions, intersection set, edge detection, character recognition, skeletons, feature analysis
3Merlin Hughes, Christopher DiMattia, Ming C. Lin, Dinesh Manocha Efficient And Accurate Interference Detection For Polynomial Deformation. Search on Bibsonomy CA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF polynomial deformation, soft object animation, Bezier patches, axis aligned bounding boxes, surface intersection tests, loop intersection tests, animation, computational geometry, linear programming, linear programming, geometric models, computer animation, deformable models, solid modelling, solid models, B-splines, convex hulls, subdivision, parametric surfaces, dynamic simulation, splines (mathematics), polygonal meshes, variational models, interference detection, frame-to-frame coherence
3Prosenjit Gupta, Ravi Janardan, Michiel H. M. Smid Efficient Algorithms for Generalized Intersection Searching on Non-Iso-Oriented Objects. Search on Bibsonomy Symposium on Computational Geometry The full citation details ... 1994 DBLP  DOI  BibTeX  RDF filtering search, geometric duality, data structures, computational geometry, persistence, intersection searching
3Ching-Kuang Shene, John K. Johnstone On the lower degree intersections of two natural quadrics. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF natural quadrics, planar intersection, solid modeling, surface intersection
3Harold N. Gabow, Ying Xu Efficient Algorithms for Independent Assignments on Graphic and Linear Matroids Search on Bibsonomy FOCS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF independent assignment, linear matroids, matroid intersection problem, weighted intersection, cardinality algorithm, graphic matroids, trivial matroids, cardinality intersection, largest edge weight, scaling, edges, efficient algorithms, vertices, bipartite graph matching, fast matrix multiplication
3Neil C. Rowe Absolute Bounds on Set Intersection and Union Sizes from Distribution Information. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
2Jan Kratochvíl Can they cross? and how?: (the hitchhiker's guide to the universe of geometric intersection graphs). Search on Bibsonomy Symposium on Computational Geometry The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
2Luca Padovani Session Types = Intersection Types + Union Types Search on Bibsonomy ITRS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
2Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca Intersection types for unbind and rebind Search on Bibsonomy ITRS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
2Simona Ronchi Della Rocca, Alexis Saurin, Yiorgos Stavrinos, Anastasia Veneti Intersection Logic in sequent calculus style Search on Bibsonomy ITRS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
2Fatemeh Nourani, Mohammad Ali Jabraeil Jamali Improved Circles Intersection Algorithm for Localization in Wireless Sensor Networks. Search on Bibsonomy SNPD The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Improved Circles Intersection, wireless sensor networks, Localization
2Frank Dévai, László Neumann A Rectangle-Intersection Algorithm with Limited Resource Requirements. Search on Bibsonomy CIT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF power-efficient software, bounding rectangles, intersection reporting, optimal algorithm, 3D graphics
2Tachio Terauchi Dependent types from counterexamples. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF interpolation, type inference, dependent types, counterexamples, intersection types
2Cezar Câmpeanu, Nicolae Santean On the closure of pattern expressions languages under intersection with regular languages. Search on Bibsonomy Acta Inf. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
2Jeroen Schillewaert, Joseph A. Thas Characterizations of Hermitian varieties by intersection numbers. Search on Bibsonomy Des. Codes Cryptography The full citation details ... 2009 DBLP  DOI  BibTeX  RDF 51A45, 51A50, 05B25, 51E12, AMS Classifications 51E20
2Josep Rifà, Faina I. Solov'eva, Mercè Villanueva On the Intersection of BBZ2BBZ4-Additive Hadamard Codes. Search on Bibsonomy IEEE Transactions on Information Theory The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
2Pawel Urzyczyn Inhabitation of Low-Rank Intersection Types. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
2Zhina Zhou, Shi Zhongke, Yingfeng Li Study to short-term flow estimation at intersection base on genetic neural networks. Search on Bibsonomy GEC Summit The full citation details ... 2009 DBLP  DOI  BibTeX  RDF traffic flow estimation, genetic algorithm, artificial neural network
2Fabio Cuzzolin The Intersection Probability and Its Properties. Search on Bibsonomy ECSQARU The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
2Sotiris E. Nikoletseas, Christoforos Raptopoulos, Paul G. Spirakis Colouring Non-sparse Random Intersection Graphs. Search on Bibsonomy MFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
2Yiyan Wang, Yuexian Zou, Hang Shi, He Zhao Video Image Vehicle Detection System for Signaled Traffic Intersection. Search on Bibsonomy HIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF vehicle detection system, intersection, video image
2Aljona Zorina, David E. Avison Innovation Management in the Knowledge Economy: The Intersection of Macro and Micro Levels. Search on Bibsonomy WSKS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF strategic programs, government, knowledge society, innovation management
2Junghoon Lee, Gyung-Leen Park, In-Hye Shin, Min-Jae Kang Design of Intersection Switches for the Vehicular Network. Search on Bibsonomy APNOMS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
2Anna T. Lawniczak, Bruno N. Di Stefano Development of Road Traffic CA Model of 4-Way Intersection to Study Travel Time. Search on Bibsonomy Complex The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Travel Time, Cellular Automata, Traffic Modeling, Agent Based Simulation
2Dong Lin, Cheng Wu-shan, Sun Jian, Zhang Cui-cui Modeling of real-time signal timing for multi-intersection in urban traffic network. Search on Bibsonomy ICDIM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
2Arpita Patra, Ashish Choudhary, C. Pandu Rangan Information Theoretically Secure Multi Party Set Intersection Re-visited. Search on Bibsonomy Selected Areas in Cryptography The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Information Theoretic Security, Multiparty Computation
2G. Sathya Narayanan, T. Aishwarya, Anugrah Agrawal, Arpita Patra, Ashish Choudhary, C. Pandu Rangan Multi Party Distributed Private Matching, Set Disjointness and Cardinality of Set Intersection with Information Theoretic Security. Search on Bibsonomy CANS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Privacy preserving Set operations, Multiparty Computation
2Srecko Brlek, Michel Koskas, Xavier Provençal A Linear Time and Space Algorithm for Detecting Path Intersection. Search on Bibsonomy DGCI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Freeman code, lattice paths, radix tree, discrete figures, data structure, self-intersection
2Shirish Tatikonda, Flavio Junqueira, Berkant Barla Cambazoglu, Vassilis Plachouras On efficient posting list intersection with multicore processors. Search on Bibsonomy SIGIR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF list intersection, multicores, parallel query processing
2Paolo Simonetto, David Auber An Heuristic for the Construction of Intersection Graphs. Search on Bibsonomy IV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
2Therese C. Biedl, Michal Stern Edge-Intersection Graphs of k-Bend Paths in Grids. Search on Bibsonomy COCOON The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
2Keith Cheverst Exploring the Intersection of HCI and Ubicomp: The Design, Deployment and use of Situated Displays. Search on Bibsonomy IHCI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
2Xiao-Fan Zhi, Zhi-Cheng Liao, Yi Sun An Intersection-Centric IBF* Algorithm for Traffic Simulation Routing Guidance. Search on Bibsonomy NCM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF intersection-centric, algorithm, routing guidance
2Arpita Patra, Ashish Choudhary, C. Pandu Rangan Round Efficient Unconditionally Secure MPC and Multiparty Set Intersection with Optimal Resilience. Search on Bibsonomy INDOCRYPT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Information Theoretic Security, Multiparty Computation, Error Probability
2Mariangiola Dezani-Ciancaglini, Paola Giannini, Simona Ronchi Della Rocca Intersection, Universally Quantified, and Reference Types. Search on Bibsonomy CSL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
2Ariel Shiftan, Ely Porat Set Intersection and Sequence Matching. Search on Bibsonomy SPIRE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
2Bernhard Hollunder Domain-Specific Processing of Policies or: WS-Policy Intersection Revisited. Search on Bibsonomy ICWS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
2Yohei Kurata Three-Valued 9-Intersection for Deriving Possible Topological Relations from Incomplete Observations. Search on Bibsonomy AGILE Conf. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
2Vicente H. F. Batista, David L. Millman, Sylvain Pion, Johannes Singler Parallel geometric algorithms for multi-core computers. Search on Bibsonomy Symposium on Computational Geometry The full citation details ... 2009 DBLP  DOI  BibTeX  RDF box intersection, compact container, d-dimension, spatial sort, parallel algorithms, multi-core, delaunay triangulations, geometric algorithms, kd-trees, cgal
Displaying result #1 - #100 of 3775 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.