Search results for "intersection"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Tachio Terauchi	Dependent types from counterexamples.	POPL	2010	DBLP DOI BibTeX RDF	interpolation, type inference, dependent types, counterexamples, intersection types
19	Vicente H. F. Batista, David L. Millman, Sylvain Pion, Johannes Singler	Parallel geometric algorithms for multi-core computers.	SCG	2009	DBLP DOI BibTeX RDF	box intersection, compact container, d-dimension, spatial sort, parallel algorithms, multi-core, delaunay triangulations, geometric algorithms, kd-trees, cgal
19	Christoph Fünfzig, Dominique Michelucci, Sebti Foufou	Nonlinear systems solver in floating-point arithmetic using LP reduction.	Symposium on Solid and Physical Modeling	2009	DBLP DOI BibTeX RDF	intersection computation, subdivision solver, linear programming, CAD, interval arithmetic, geometric constraints, geometric constraint solving, distance computation
19	Yohei Kurata	Semi-automated Derivation of Conceptual Neighborhood Graphs of Topological Relations.	COSIT	2009	DBLP DOI BibTeX RDF	conceptual neighborhood graphs, conceptual neighbors, 9?+?-intersection, smooth transformation, topological relations
19	Matthew K. Wright, Micah Adler, Brian Neil Levine, Clay Shields	Passive-Logging Attacks Against Anonymous Communications Systems.	ACM Trans. Inf. Syst. Secur.	2008	DBLP DOI BibTeX RDF	intersection attack, predecessor attack, privacy, anonymity, anonymous communication
19	Andrew Brzezinski, Gil Zussman, Eytan H. Modiano	Distributed throughput maximization in wireless mesh networks via pre-partitioning.	IEEE/ACM Trans. Netw.	2008	DBLP DOI BibTeX RDF	local pooling, matroid intersection, scheduling, distributed algorithms, stability, channel assignment
19	Zhiguo Zhang 0001, Shing-Chow Chan, Ka-Leung Ho, K. C. Ho 0001	On Bandwidth Selection in Local Polynomial Regression Analysis and Its Application to Multi-resolution Analysis of Non-uniform Data.	J. Signal Process. Syst.	2008	DBLP DOI BibTeX RDF	adaptive bandwidth selection, intersection of confidence intervals, local polynomial regression, non-uniformly sampled data analysis, wavelet
19	Thomas W. Sederberg, G. Thomas Finnigan, Xin Li 0021, Hongwei Lin, Heather Ipson	Watertight trimmed NURBS.	ACM Trans. Graph.	2008	DBLP DOI BibTeX RDF	NURBS, T-splines, Booleans, surface intersection
19	Daniel Smith 0003, Robert Cartwright	Java type inference is broken: can we fix it?	OOPSLA	2008	DBLP DOI BibTeX RDF	bounded quantification, polymorphic methods, type argument inference, generics, type inference, subtyping, intersection types, union types, wildcards, parameterized types
19	Martina Ziefle, Preethy Pappachan, Eva-Maria Jakobs, Henning Wallentowitz	Visual and Auditory Interfaces of Advanced Driver Assistant Systems for Older Drivers.	ICCHP	2008	DBLP DOI BibTeX RDF	Advanced-Driver-Assistance, intersection assistant, older drivers, cognitive load, driving performance
19	Junqing Yang, Min Zhou, Xiaohong An, Lining Zhang	Offset Approximation Algorithm for Subdivision Surfaces.	SNPD (3)	2007	DBLP DOI BibTeX RDF	approximation, error, Subdivision, offset, self-intersection
19	Jeung-Yo Ha, Hyung-Il Choi	The Image Retrieval Method Using Multiple Features.	ICCSA (1)	2007	DBLP DOI BibTeX RDF	HSI, Histogram Intersection, Image retrieval, CSS
19	José Eugenio Naranjo, Ricardo García Rosa, Carlos González 0001, Teresa de Pedro, Javier Alonso 0002, Javier Vinuesa	Crossroad Cooperative Driving Based on GPS and Wireless Communications.	EUROCAST	2007	DBLP DOI BibTeX RDF	intersection management, fuzzy logic, Autonomous vehicles
19	Timothy M. Chan, Mihai Patrascu	Voronoi diagrams in n·2osqrt(lg lg n) time.	STOC	2007	DBLP DOI BibTeX RDF	segment intersection, word-RAM algorithms, computational geometry, sorting, convex hulls, point location
19	Heiko Schepperle, Klemens Böhm, Simone Forster	Traffic Management Based on Negotiations between Vehicles - A Feasibility Demonstration Using Agents.	AMEC/TADA	2007	DBLP DOI BibTeX RDF	intersection control, valuation-awareness, bilateral negotiation, Agents, traffic management, exchange
19	Heiko Schepperle, Klemens Böhm, Simone Forster	Towards valuation-aware agent-based traffic control.	AAMAS	2007	DBLP DOI BibTeX RDF	intersection control, agents, negotiations, traffic management
19	Mohamed Elkadi, André Galligo	Systems of three polynomials with two separated variables.	ISSAC	2007	DBLP DOI BibTeX RDF	bezoutian, bivariate resultants, bivariate subresultant, intersection problem, structured matrix, sylvester matrix, system with separated variables, algorithms, CAGD
19	Markus Schneider 0001, Thomas Behr	Topological relationships between complex spatial objects.	ACM Trans. Database Syst.	2006	DBLP DOI BibTeX RDF	9-intersection model, complex spatial data type, proof-by-constraint-and-drawing, topological cluster predicate, topological constraint rule, topological predicate group, Topological predicate
19	Jérémy Barbay, Alexander Golynski, J. Ian Munro, S. Srinivasa Rao 0001	Adaptive Searching in Succinctly Encoded Binary Relations and Tree-Structured Documents.	CPM	2006	DBLP DOI BibTeX RDF	intersection problem, multi-labeled trees, conjunctive queries, succinct data structures, labeled trees
19	Andrew Brzezinski, Gil Zussman, Eytan H. Modiano	Enabling distributed throughput maximization in wireless mesh networks: a partitioning approach.	MobiCom	2006	DBLP DOI BibTeX RDF	local pooling, matroid intersection, scheduling, distributed algorithms, stability, wireless mesh networks, channel assignment
19	Azzedine Boukerche, Xin Fei	Coverage protocols for detecting fully sponsored sensors in wireless sensor networks.	PE-WASUN	2006	DBLP DOI BibTeX RDF	central angle, intersection point method, irregular sensing range, unit cycle test, wireless sensor network, coverage
19	Tobias Lenz	Reconstructing collections of arbitrary curves.	SCG	2005	DBLP DOI BibTeX RDF	intersection, greedy, curve reconstruction
19	Kevin Bierhoff, Jonathan Aldrich	Lightweight object specification with typestates.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	union and intersection types, refinement, substitutability, typestate, behavioral subtyping
19	Giuseppe Castagna, Alain Frisch	A gentle introduction to semantic subtyping.	PPDP	2005	DBLP DOI BibTeX RDF	negation types, typing, subtyping, intersection, union
19	Salvatore Orlando 0001, Raffaele Perego 0001, Claudio Silvestri	A new algorithm for gap constrained sequence mining.	SAC	2004	DBLP DOI BibTeX RDF	vertical dataset, constraints, sequential patterns, intersection, sequence mining
19	Gökhan Korkmaz, Eylem Ekici, Füsun Özgüner, Ümit Özgüner	Urban multi-hop broadcast protocol for inter-vehicle communication systems.	Vehicular Ad Hoc Networks	2004	DBLP DOI BibTeX RDF	wireless networks, broadcast, IEEE 802.11, intersection, vehicle, multi-hop, IVC
19	Anders Adamson, Marc Alexa	Approximating Bounded, Non-Orientable Surfaces from Points.	SMI	2004	DBLP DOI BibTeX RDF	ray-surface intersection, non-orientable, boundary, manifold, point-sampled geometry
19	Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne	Characterizing strong normalization in a language with control operators.	PPDP	2004	DBLP DOI BibTeX RDF	functional programming, continuations, classical logic, intersection type
19	Andrea Bottino, Aldo Laurentini	Introducing a New Problem: Shape-from-Silhouette when the Relative Positions of the Viewpoints is Unknown.	IEEE Trans. Pattern Anal. Mach. Intell.	2003	DBLP DOI BibTeX RDF	volume intersection, computer vision, Shape-from-silhouette, visual hull, object reconstruction
19	Bernard Chazelle, Ding Liu, Avner Magen	Sublinear geometric algorithms.	STOC	2003	DBLP DOI BibTeX RDF	approximate shortest paths, polyhedral intersection, sublinear algorithms
19	Hayong Shin, Su K. Cho	Directional offset of a 3D curve.	Symposium on Solid Modeling and Applications	2002	DBLP DOI BibTeX RDF	direction vector, directional offset, self-intersection, 3D curve
19	Iwan M. Duursma, Carlos Rentería-Márquez, Horacio Tapia-Recillas	Reed-Muller Codes on Complete Intersections.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	Complete intersection, Hilbert polynomial, Vanishing ideal, a -invariant of an ideal, Graded finite free resolution, Canonical module, Reed-Muller code
19	Andrea Bottino, Aldo Laurentini	Experimenting with nonintrusive motion capture in a virtual environment.	Vis. Comput.	2001	DBLP DOI BibTeX RDF	Volume intersection, Motion capture, Silhouettes, Model-based recognition
19	Thomas Behr, Markus Schneider 0001	Topological Relationships of Complex Points and Complex Regions.	ER	2001	DBLP DOI BibTeX RDF	spatial data type, 9-intersection model, Topological predicate
19	Eugene Borovikov, Larry S. Davis	A Distributed System for Real-Time Volume Reconstruction.	CAMP	2000	DBLP DOI BibTeX RDF	real-time volume reconstruction, volumetric image sequences, octree representation, visual cone intersection, multi-perspective view, distributed system, image sequences, moving object
19	Bradley Stuart, Yiannis Aloimonos	Ray Carving with Gradients and Motion.	Workshop on Human Motion	2000	DBLP DOI BibTeX RDF	ray carving, 3D model generation, 3D effects generation, voxel coloring, silhouette intersection, multiple stereo reconstruction combination, image derivatives, visibility information, measurement subsets, image gradient measurements, 3D iso-brightness direction, normal flow measurements, projection centre, unbounded projective grid, scene point visibility updating, human motion reconstruction, data structures, consistency, image reconstruction, ray tracing, avatars, visibility, surveillance, cameras, stereo image processing, spatial data structures, image motion, brightness, image motion analysis, human activity, space carving, multiple-camera systems, image pixels, gradient directions
19	Sehyun Kim, Sung-ye Kim, Kyung-hyun Yoon	A Study on the Ray-Tracing Acceleration Technique Based on the ZF-Buffer Algorithm.	IV	2000	DBLP DOI BibTeX RDF	ZF-buffer, intersection test, ray-tracing
19	Luong T. Nguyen, Liping Zhao 0001, Bill Appelbe	A Set Approach to Role Modeling.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	set approach, role modeling techniques, role description, role binding, role constraints, set inclusion, role specialisation, role compositions, part role, set notation, dynamic description, class/role relationships, class/role structures, Object-Z-like notation, system obligations, Petri net transitions, objects/role instances, system operations, formal specification, formal method, Petri nets, object-oriented programming, object-oriented methods, set theory, EMS, graphic notations, dynamic aspects, set operations, set intersection, formal notation, set union, set unions, set difference
19	Shi Yin, Jens G. Balchen	Corner Characterization by Statistical Analysis of Gradient-Direction.	ICIP (2)	1997	DBLP DOI BibTeX RDF	corner characterization, corner structure, line numbers, corner location, real images reveal, statistical analysis, statistical analysis, accuracy, orientations, signal to noise ratio, synthetic images, intensity image, intersection point, image noise, gradient-direction
19	Allyn Dimock, Robert Muller, Franklyn A. Turbak, J. B. Wells	Strongly Typed Flow-Directed Representation Transformations.	ICFP	1997	DBLP DOI BibTeX RDF	intersection and union types, typed flow analysis, compilation, lambda calculus, inlining, closure conversion
19	Gérard Boudol, Carolina Lavatelli	Full Abstraction for Lambda Calculus with Resources and Convergence Testing.	CAAP	1996	DBLP DOI BibTeX RDF	intersection type systems, calculus, full abstraction
19	Aldo Laurentini	How Far 3D Shapes Can Be Understood from 2D Silhouettes.	IEEE Trans. Pattern Anal. Mach. Intell.	1995	DBLP DOI BibTeX RDF	volume intersection, Computer vision, shape from silhouettes, visual hull, 2D images, 3D object reconstruction
19	Tin Kam Ho, Jonathan J. Hull, Sargur N. Srihari	Decision Combination in Multiple Classifier Systems.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	decision combination, pattern recognition problems, arbitrary feature descriptors, classification procedures, intersection method, union method, class set reduction, highest rank, Borda count, class set reranking, degraded machine-printed characters, pattern recognition, rankings, statistical analysis, decision theory, logistic regression, multiple classifier systems
19	Mitchell L. Neilsen, Masaaki Mizuno	Coterie Join Algorithm.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	nonempty intersection, nonempty coteries, composite coterie, treecoteries, read and write quorums, replica control protocol, distributedalgorithms, distributed system, trees (mathematics), join algorithm
19	Ruud M. Bolle, Andrea Califano, Rick Kjeldsen	A Complete and Extendable Approach to Visual Recognition.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	uniform parallel architecture, concurrent transforms, modular recognition architecture, stacked parameter transforms, constraint satisfaction networks, partial features, primitive features, feature assemblies, quadrics of revolution, planar intersection curves, pattern recognition, parallel processing, feature extraction, picture processing, flexibility, information integration, extensibility, 3D object recognition, depth map, visual recognition, planar surfaces
19	Van-Ban Le, D. T. Lee	Out-of-Roundness Problem Revisited.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	minimum area difference centre, minimum radial separation, out-of-roundness, farthest-neighbor Voronoi diagram, computational geometry, computational geometry, polygon, medial axis, intersection points
19	Alexander S. Houston, K. S. Nijran	A Quantitative Comparison of Current Methods of Factor Analysis of Dynamic Structures (FADS) in Renal Dynamic Studies.	IPMI	1991	DBLP DOI BibTeX RDF	apex-seeking, intersection method, simple structure, whole kidney transit time, parenchymal transit time, glomerular filtration rate, Principal components analysis, cluster analysis, spatial constraints
19	David J. Kriegman, Jean Ponce	On Recognizing and Positioning Curved 3-D Objects from Image Contours.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	parametric surface patches, surface discontinuities, pattern recognition, pattern recognition, computer vision, picture processing, object models, occluding contours, image contours, 3-D objects, intersection curves
19	Paul Fischer, Hans Ulrich Simon	Separation Problems and Circular Arc Systems.	WG	1990	DBLP DOI BibTeX RDF	separating polygons, separating planar subdivisions, circular arc systems, number of stages, computational geometry, visibility, transversals, intersection graphs, computational learning
19	Herbert Edelsbrunner, Günter Rote, Emo Welzl	Testing the Necklace Condition for Shortest Tours and Optimal Factors in the Plane.	ICALP	1987	DBLP DOI BibTeX RDF	Traveling salesman tour, m-factor, computational geometry, linear programming, disks, combinatorial geometry, transportation problem, intersection graph
17	Prahladh Harsha, Adam R. Klivans, Raghu Meka	An invariance principle for polytopes.	STOC	2010	DBLP DOI BibTeX RDF	average sensitivity, invariance principles, polytopes, pseudorandom generators, contingency tables, noise sensitivity, limit theorems, agnostic learning
17	Adarsh Krishnamurthy, Rahul Khardekar, Sara McMains, Kirk Haller, Gershon Elber	Performing Efficient NURBS Modeling Operations on the GPU.	IEEE Trans. Vis. Comput. Graph.	2009	DBLP DOI BibTeX RDF
17	Hayley N. Iben, James F. O'Brien, Erik D. Demaine	Refolding Planar Polygons.	Discret. Comput. Geom.	2009	DBLP DOI BibTeX RDF	Polygon interpolation, Refolding, Morphing, Shape transformation
17	Ongard Sirisaengtaksin, Danil Safin	Network of Multi-Agent Traffic Controllers.	NAS	2009	DBLP DOI BibTeX RDF
17	Radu Iosif, Adam Rogalewicz	Automata-Based Termination Proofs.	CIAA	2009	DBLP DOI BibTeX RDF
17	Asadollah Shahbahrami, Ben H. H. Juurlink	Optimization of Content-Based Image Retrieval Functions.	ISM	2008	DBLP DOI BibTeX RDF
17	Qingsong Ye, Huaxiong Wang, Josef Pieprzyk	Distributed Private Matching and Set Operations.	ISPEC	2008	DBLP DOI BibTeX RDF	private matching, private set operation, homomorphic encryption
17	Jiechen Wang, Dingtao Shen, Can Cui 0001	Implementation of Polygon Overlay Based on Run-Length Encoding.	CSSE (4)	2008	DBLP DOI BibTeX RDF
17	Kazunori Mizuno, Yukio Fukui, Seiichi Nishihara	Urban Traffic Signal Control Based on Distributed Constraint Satisfaction.	HICSS	2008	DBLP DOI BibTeX RDF
17	Renjie Xu, Zhiqiang Gao, Yingji Pan, Yuzhong Qu, Zhisheng Huang	An Integrated Approach for Automatic Construction of Bilingual Chinese-English WordNet.	ASWC	2008	DBLP DOI BibTeX RDF	Chinese WordNet, WordNet, Co-occurrence
17	Danhuai Guo	Mining Traffic Condition from Trajectories.	FSKD (4)	2008	DBLP DOI BibTeX RDF
17	S. Bohonos, A. Lee, A. Malik, C. Thai, Roberto Manduchi	Cellphone Accessible Information Via Bluetooth Beaconing for the Visually Impaired.	ICCHP	2008	DBLP DOI BibTeX RDF
17	Xuhui Wang, Falai Chen, Jiansong Deng	Implicitization and parametrization of quadratic surfaces with one simple base point.	ISSAC	2008	DBLP DOI BibTeX RDF	moving plane, weak u-basis, parametrization, implicitization
17	Yi Hu, Peter J. Thomas 0003, Russel J. Stonier	Traffic signal control using fuzzy logic and evolutionary algorithms.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
17	Laurent Dupont 0004, Michael Hemmer, Sylvain Petitjean, Elmar Schömer	Complete, Exact and Efficient Implementation for Computing the Adjacency Graph of an Arrangement of Quadrics.	ESA	2007	DBLP DOI BibTeX RDF
17	Kazunori Mizuno, Seiichi Nishihara	Distributed Constraint Satisfaction for Urban Traffic Signal Control.	KSEM	2007	DBLP DOI BibTeX RDF
17	Daniel S. Coming, Oliver G. Staadt	Stride scheduling for time-critical collision detection.	VRST	2007	DBLP DOI BibTeX RDF	many-body collision detection, time-critical computing, Collision Detection, dynamic scenes
17	José Espírito Santo, Silvia Ghilezan, Jelena Ivetic	Characterising Strongly Normalising Intuitionistic Sequent Terms.	TYPES	2007	DBLP DOI BibTeX RDF
17	Kyoung Soo Bok, Ho Won Yoon, Dong Min Seo, Su Min Jang, Myoung-Ho Kim, Jae Soo Yoo	Indexing the Current Positions of Moving Objects on Road Networks.	APWeb/WAIM Workshops	2007	DBLP DOI BibTeX RDF	moving object, road network, index structure, Spatio-temporal data
17	Xin Han, Kazuo Iwama, Rolf Klein, Andrzej Lingas	Approximating the Maximum Independent Set and Minimum Vertex Coloring on Box Graphs.	AAIM	2007	DBLP DOI BibTeX RDF
17	Ennio Cascetta, Mariano Gallo, Bruno Montella	Models and algorithms for the optimization of signal settings on urban networks with stochastic assignment models.	Ann. Oper. Res.	2006	DBLP DOI BibTeX RDF	Traffic lights, Stochastic assignment, Network design, Transportation systems
17	Wen Song, Rui Zang	Bounded linear regularity of convex sets in Banach spaces and its applications.	Math. Program.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 90C25, 90C31
17	Nicholas J. A. Harvey	Algebraic Structures and Algorithms for Matching and Matroid Problems.	FOCS	2006	DBLP DOI BibTeX RDF
17	Hayley N. Iben, James F. O'Brien, Erik D. Demaine	Refolding planar polygons.	SCG	2006	DBLP DOI BibTeX RDF	polygon interpolation, refolding, morphing, shape transformation
17	Yin Zhu, Dalin Qian, Junli Wang, Tingjie Han	Study on Intelligent Control Integrated System of China.	ICICIC (2)	2006	DBLP DOI BibTeX RDF
17	Stephen G. Kobourov, Matthew Landis	Morphing Planar Graphs in Spherical Space.	GD	2006	DBLP DOI BibTeX RDF
17	Abdullah Bade, Norhaida Mohd. Suaib, Abdullah Mohd Zin, Tengku M. T. Sembok	Oriented convex polyhedra for collision detection in 3D computer animation.	GRAPHITE	2006	DBLP DOI BibTeX RDF	virtual environments, collision detection, bounding volumes
17	Braulio Jose Alvarez, Pedro Fernández, Sabino Mateos Diaz, Jose Carlos Rico, C. M. Suarez	Accessibility Analysis for Automatic Inspection Using Bounding Volume Hierarchies.	ETFA	2006	DBLP DOI BibTeX RDF
17	Prosenjit Gupta	Algorithms for Range-Aggregate Query Problems Involving Geometric Aggregation Operations.	ISAAC	2005	DBLP DOI BibTeX RDF
17	André Kempe, Jean-Marc Champarnaud, Jason Eisner, Franck Guingne, Florent Nicart	A Class of Rational n-WFSM Auto-intersections.	CIAA	2005	DBLP DOI BibTeX RDF
17	Håkan Ardö	Learning Based System for Detection and Tracking of Vehicles.	SCIA	2005	DBLP DOI BibTeX RDF
17	Zhijie Wang 0001, Hong Fan	Implementing Fuzzy Reasoning by IAF Neurons.	ICNC (1)	2005	DBLP DOI BibTeX RDF
17	Mark McKenney, Alejandro Pauly, Reasey Praing, Markus Schneider 0001	Dimension-refined topological predicates.	GIS	2005	DBLP DOI BibTeX RDF	SPAL2D, GIS, spatial databases, dimension, topological predicates
17	Wenjie Chen, Lifeng Chen, Zhang-long Chen, Shi-liang Tu	A Realtime Dynamic Traffic Control System Based on Wireless Sensor Network.	ICPP Workshops	2005	DBLP DOI BibTeX RDF
17	Hagen Völzer, Daniele Varacca, Ekkart Kindler	Defining Fairness.	CONCUR	2005	DBLP DOI BibTeX RDF
17	Yee Leung, Jiang-Hong Ma, Michael F. Goodchild	A general framework for error analysis in measurement-based GIS Part 3: Error analysis in intersections and overlays.	J. Geogr. Syst.	2004	DBLP DOI BibTeX RDF	JEL Classification C10, C31
17	Stefan Schrödl, Kiri Wagstaff, Seth Rogers, Pat Langley, Christopher Wilson	Mining GPS Traces for Map Refinement.	Data Min. Knowl. Discov.	2004	DBLP DOI BibTeX RDF	floating car data, GPS, spatial data mining, digital maps
17	Takashi Matsuyama, Xiaojun Wu, Takeshi Takai, Toshikazu Wada	Real-time dynamic 3-D object shape reconstruction and high-fidelity texture mapping for 3-D video.	IEEE Trans. Circuits Syst. Video Technol.	2004	DBLP DOI BibTeX RDF
17	Quanshi Xia, Andrew Eremin, Mark Wallace 0001	Problem Decomposition for Traffic Diversions.	CPAIOR	2004	DBLP DOI BibTeX RDF
17	Wim Martens, Frank Neven, Thomas Schwentick	Complexity of Decision Problems for Simple Regular Expressions.	MFCS	2004	DBLP DOI BibTeX RDF
17	Mohd Nazmi, Nadiah Hanim, Sadao Takaba	Evaluation of Advanced Signal Control Systems with Sensing Technology by Simulation.	AsiaSim	2004	DBLP DOI BibTeX RDF
17	Christian Henning, Peter Stephenson	Accelerating the ray tracing of height fields.	GRAPHITE	2004	DBLP DOI BibTeX RDF	ray tracing, terrain rendering, height fields
17	Nicola Wolpert	Jacobi Curves: Computing the Exact Topology of Arrangements of Non-singular Algebraic Curves.	ESA	2003	DBLP DOI BibTeX RDF
17	Soon-Yong Park, Murali Subbarao	A Fast Point-to-Tangent Plane Technique for Multi-view Registration.	3DIM	2003	DBLP DOI BibTeX RDF
17	Daniel Bielser, Pascal Glardon, Matthias Teschner, Markus H. Gross	A State Machine for Real-Time Cutting of Tetrahedral Meshes.	PG	2003	DBLP DOI BibTeX RDF	Real-Time Cutting, Volume Visualization, Tetrahedral Meshes, Surgery Simulation, Virtual Sculpting
17	John France, Ali A. Ghorbani 0001	A Multiagent System for Optimizing Urban Traffic.	IAT	2003	DBLP DOI BibTeX RDF
17	Lucian Ilie, Baozhen Shan, Sheng Yu 0001	Fast Algorithms for Extended Regular Expression Matching and Searching.	STACS	2003	DBLP DOI BibTeX RDF	extended regular expressions, algorithms, complexity, pattern matching, finite automata
17	Tae-Sic Yoo, Stéphane Lafortune	A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems.	Discret. Event Dyn. Syst.	2002	DBLP DOI BibTeX RDF	supervisor synthesis, computational complexity, supervisory control, decision fusion, decentralized architectures
17	Orna Kupferman, Sharon Zuhovitzky	An Improved Algorithm for the Membership Problem for Extended Regular Expressions.	MFCS	2002	DBLP DOI BibTeX RDF
17	Henning Biermann, Daniel Kristjansson, Denis Zorin	Approximate Boolean operations on free-form solids.	SIGGRAPH	2001	DBLP DOI BibTeX RDF	multiresolution surfaces, geometric modeling, subdivision surfaces