|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2793 occurrences of 1761 keywords
|
|
|
Results
Found 7822 publication records. Showing 7822 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | Tachio Terauchi |
Dependent types from counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010, pp. 119-130, 2010, ACM, 978-1-60558-479-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 25th ACM Symposium on Computational Geometry, Aarhus, Denmark, June 8-10, 2009, pp. 217-226, 2009, ACM, 978-1-60558-501-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Solid and Physical Modeling ![In: Proceedings of the 2009 ACM Symposium on Solid and Physical Modeling, San Francisco, California, USA, October 5-8, 2009, pp. 123-134, 2009, ACM, 978-1-60558-711-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COSIT ![In: Spatial Information Theory, 9th International Conference, COSIT 2009, Aber Wrac'h, France, September 21-25, 2009, Proceedings, pp. 124-140, 2009, Springer, 978-3-642-03831-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. Secur. ![In: ACM Trans. Inf. Syst. Secur. 11(2), pp. 3:1-3:34, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 16(6), pp. 1406-1419, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Signal Process. Syst. ![In: J. Signal Process. Syst. 52(3), pp. 263-280, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 27(3), pp. 79, 2008. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-23, 2008, Nashville, TN, USA, pp. 505-524, 2008, ACM, 978-1-60558-215-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCHP ![In: Computers Helping People with Special Needs, 11th International Conference, ICCHP 2008, Linz, Austria, July 9-11, 2008. Proceedings, pp. 62-69, 2008, Springer, 978-3-540-70539-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD (3) ![In: Proceedings of the 8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2007, July 30 - August 1, 2007, Qingdao, China, pp. 216-221, 2007, IEEE Computer Society, 0-7695-2909-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (1) ![In: Computational Science and Its Applications - ICCSA 2007, International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part I, pp. 981-991, 2007, Springer, 978-3-540-74468-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST 2007, 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers, pp. 1073-1080, 2007, Springer, 978-3-540-75866-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 39th Annual ACM Symposium on Theory of Computing, San Diego, California, USA, June 11-13, 2007, pp. 31-39, 2007, ACM, 978-1-59593-631-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMEC/TADA ![In: Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis, AAMAS 2007 Workshop, AMEC 2007, Honolulu, Hawaii, May 14, 2007, and AAAI 2007 Workshop, TADA 2007, Vancouver, Canada, July 23, 2007, Selected and Revised Papers, pp. 90-104, 2007, Springer, 978-3-540-88712-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007, pp. 185, 2007, IFAAMAS, 978-81-904262-7-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
intersection control, agents, negotiations, traffic management |
19 | Mohamed Elkadi, André Galligo |
Systems of three polynomials with two separated variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings, pp. 159-166, 2007, ACM, 978-1-59593-743-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 31(1), pp. 39-81, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPM ![In: Combinatorial Pattern Matching, 17th Annual Symposium, CPM 2006, Barcelona, Spain, July 5-7, 2006, Proceedings, pp. 24-35, 2006, Springer, 3-540-35455-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiCom ![In: Proceedings of the 12th Annual International Conference on Mobile Computing and Networking, MOBICOM 2006, Los Angeles, CA, USA, September 23-29, 2006, pp. 26-37, 2006, ACM, 1-59593-286-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PE-WASUN ![In: Proceedings of the 3rd ACM International Workshop on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, PE-WASUN 2006, Torremolinos, Spain, October 6, 2006, pp. 58-65, 2006, ACM, 1-59593-487-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 21st ACM Symposium on Computational Geometry, Pisa, Italy, June 6-8, 2005, pp. 366-367, 2005, ACM, 1-58113-991-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
intersection, greedy, curve reconstruction |
19 | Kevin Bierhoff, Jonathan Aldrich |
Lightweight object specification with typestates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005, pp. 217-226, 2005, ACM, 1-59593-014-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 11-13 2005, Lisbon, Portugal, pp. 198-199, 2005, ACM, 1-59593-090-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pp. 540-547, 2004, ACM, 1-58113-812-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vehicular Ad Hoc Networks ![In: Proceedings of the First International Workshop on Vehicular Ad Hoc Networks, 2004, Philadelphia, PA, USA, October 1, 2004, pp. 76-85, 2004, ACM, 1-58113-922-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMI ![In: 2004 International Conference on Shape Modeling and Applications (SMI 2004), 7-9 June 2004, Genova, Italy, pp. 243-252, 2004, IEEE Computer Society, 0-7695-2075-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy, pp. 155-166, 2004, ACM, 1-58113-819-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 25(11), pp. 1484-1493, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 35th Annual ACM Symposium on Theory of Computing, June 9-11, 2003, San Diego, CA, USA, pp. 531-540, 2003, ACM, 1-58113-674-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
approximate shortest paths, polyhedral intersection, sublinear algorithms |
19 | Hayong Shin, Su K. Cho |
Directional offset of a 3D curve. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Solid Modeling and Applications ![In: Seventh ACM Symposium on Solid Modeling and Applications, Max-Planck-Institut für Informatik, Saarbrücken, Germany, June 17-21, 2002, pp. 329-335, 2002, ACM, 1-58113-506-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 11(6), pp. 455-462, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 17(1), pp. 14-29, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2001, 20th International Conference on Conceptual Modeling, Yokohama, Japan, November 27-30, 2001, Proceedings, pp. 56-69, 2001, Springer, 3-540-42866-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAMP ![In: Fifth International Workshop on Computer Architectures for Machine Perception (CAMP 2000), September 11-13, 2000, Padova, Italy, pp. 183-189, 2000, IEEE Computer Society, 0-7695-0740-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Human Motion ![In: Workshop on Human Motion, HUMO 2000, Austin, Texas, USA, December 7-8, 2000, Proceedings, pp. 81-87, 2000, IEEE Computer Society, 0-7695-0939-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: International Conference on Information Visualisation, IV 2000, London, England, UK, July 19-21, 2000, pp. 393-400, 2000, IEEE Computer Society, 0-7695-0743-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (37) ![In: TOOLS Pacific 2000: 37th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia, November 2000, pp. 158-169, 2000, IEEE Computer Society, 0-7695-0918-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (2) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 760-763, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), Amsterdam, The Netherlands, June 9-11, 1997., pp. 11-24, 1997, ACM, 0-89791-918-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: Trees in Algebra and Programming - CAAP'96, 21st International Colloquium, Linköping, Sweden, April, 22-24, 1996, Proceedings, pp. 302-316, 1996, Springer, 3-540-61064-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
intersection type systems, calculus, full abstraction |
19 | Aldo Laurentini |
How Far 3D Shapes Can Be Understood from 2D Silhouettes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 17(2), pp. 188-195, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 16(1), pp. 66-75, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 3(5), pp. 582-590, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 14(5), pp. 534-548, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 13(3), pp. 217-223, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPMI ![In: Information Processing in Medical Imaging, 12th International Conference, IPMI'91, Wye, UK, July 7-12, 1991, Proceedings, pp. 386-396, 1991, Springer, 3-540-54246-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 12(12), pp. 1127-1137, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science, 16rd International Workshop, WG '90, Berlin, Germany, June 20-22, 1990, Proceedings, pp. 251-259, 1990, Springer, 3-540-53832-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 14th International Colloquium, ICALP87, Karlsruhe, Germany, July 13-17, 1987, Proceedings, pp. 364-375, 1987, Springer, 3-540-18088-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 42nd ACM Symposium on Theory of Computing, STOC 2010, Cambridge, Massachusetts, USA, 5-8 June 2010, pp. 543-552, 2010, ACM, 978-1-4503-0050-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 15(4), pp. 530-543, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Hayley N. Iben, James F. O'Brien, Erik D. Demaine |
Refolding Planar Polygons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 41(3), pp. 444-460, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Polygon interpolation, Refolding, Morphing, Shape transformation |
17 | Ongard Sirisaengtaksin, Danil Safin |
Network of Multi-Agent Traffic Controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NAS ![In: International Conference on Networking, Architecture, and Storage, NAS 2009, 9-11 July 2009, Zhang Jia Jie, Hunan, China, pp. 175-179, 2009, IEEE Computer Society, 978-0-7695-3741-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Radu Iosif, Adam Rogalewicz |
Automata-Based Termination Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata, 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings, pp. 165-177, 2009, Springer, 978-3-642-02978-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Asadollah Shahbahrami, Ben H. H. Juurlink |
Optimization of Content-Based Image Retrieval Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISM ![In: Tenth IEEE International Symposium on Multimedia (ISM2008), December 15-17, 2008, Berkeley, California, USA, pp. 607-612, 2008, IEEE Computer Society, 978-0-7695-3454-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Qingsong Ye, Huaxiong Wang, Josef Pieprzyk |
Distributed Private Matching and Set Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPEC ![In: Information Security Practice and Experience, 4th International Conference, ISPEC 2008, Sydney, Australia, April 21-23, 2008, Proceedings, pp. 347-360, 2008, Springer, 978-3-540-79103-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (4) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 4: Embedded Programming / Database Technology / Neural Networks and Applications / Other Applications, December 12-14, 2008, Wuhan, China, pp. 597-601, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Kazunori Mizuno, Yukio Fukui, Seiichi Nishihara |
Urban Traffic Signal Control Based on Distributed Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 41st Hawaii International International Conference on Systems Science (HICSS-41 2008), Proceedings, 7-10 January 2008, Waikoloa, Big Island, HI, USA, pp. 65, 2008, IEEE Computer Society, 0-7695-3075-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASWC ![In: The Semantic Web, 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings, pp. 302-314, 2008, Springer, 978-3-540-89703-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Chinese WordNet, WordNet, Co-occurrence |
17 | Danhuai Guo |
Mining Traffic Condition from Trajectories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (4) ![In: Fifth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2008, 18-20 October 2008, Jinan, Shandong, China, Proceedings, Volume 4, pp. 256-260, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCHP ![In: Computers Helping People with Special Needs, 11th International Conference, ICCHP 2008, Linz, Austria, July 9-11, 2008. Proceedings, pp. 1117-1121, 2008, Springer, 978-3-540-70539-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Xuhui Wang, Falai Chen, Jiansong Deng |
Implicitization and parametrization of quadratic surfaces with one simple base point. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings, pp. 31-38, 2008, ACM, 978-1-59593-904-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2007, 25-28 September 2007, Singapore, pp. 1785-1792, 2007, IEEE, 978-1-4244-1339-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA 2007, 15th Annual European Symposium, Eilat, Israel, October 8-10, 2007, Proceedings, pp. 633-644, 2007, Springer, 978-3-540-75519-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Kazunori Mizuno, Seiichi Nishihara |
Distributed Constraint Satisfaction for Urban Traffic Signal Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KSEM ![In: Knowledge Science, Engineering and Management, Second International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007, Proceedings, pp. 73-84, 2007, Springer, 978-3-540-76718-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Daniel S. Coming, Oliver G. Staadt |
Stride scheduling for time-critical collision detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VRST ![In: Proceedings of the ACM Symposium on Virtual Reality Software and Technology, VRST 2007, Newport Beach, California, USA, November 5-7, 2007, pp. 241-242, 2007, ACM, 978-1-59593-863-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers, pp. 85-99, 2007, Springer, 978-3-540-68084-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb/WAIM Workshops ![In: Advances in Web and Network Technologies, and Information Management, APWeb/WAIM 2007 International Workshops: DBMAN 2007, WebETrends 2007, PAIS 2007 and ASWAN 2007, Huang Shan, China, June 16-18, 2007, Proceedings, pp. 247-252, 2007, Springer, 978-3-540-72908-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAIM ![In: Algorithmic Aspects in Information and Management, Third International Conference, AAIM 2007, Portland, OR, USA, June 6-8, 2007, Proceedings, pp. 337-345, 2007, Springer, 978-3-540-72868-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 144(1), pp. 301-328, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 106(1), pp. 59-79, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 47th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2006), 21-24 October 2006, Berkeley, California, USA, Proceedings, pp. 531-542, 2006, IEEE Computer Society, 0-7695-2720-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Hayley N. Iben, James F. O'Brien, Erik D. Demaine |
Refolding planar polygons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 22nd ACM Symposium on Computational Geometry, Sedona, Arizona, USA, June 5-7, 2006, pp. 71-79, 2006, ACM, 1-59593-340-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICIC (2) ![In: First International Conference on Innovative Computing, Information and Control (ICICIC 2006), 30 August - 1 September 2006, Beijing, China, pp. 591-594, 2006, IEEE Computer Society, 0-7695-2616-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Stephen G. Kobourov, Matthew Landis |
Morphing Planar Graphs in Spherical Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GD ![In: Graph Drawing, 14th International Symposium, GD 2006, Karlsruhe, Germany, September 18-20, 2006. Revised Papers, pp. 306-317, 2006, Springer, 978-3-540-70903-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GRAPHITE ![In: Proceedings of the 4th International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia 2006, Kuala Lumpur, Malaysia, November 29 - December 2, 2006, pp. 127-193, 2006, ACM, 1-59593-564-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2006, September 20-22, 2006, Diplomat Hotel Prague, Czech Republic, pp. 515-522, 2006, IEEE, 0-7803-9758-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Prosenjit Gupta |
Algorithms for Range-Aggregate Query Problems Involving Geometric Aggregation Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 16th International Symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005, Proceedings, pp. 892-901, 2005, Springer, 3-540-30935-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata, 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers, pp. 188-198, 2005, Springer, 3-540-31023-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Håkan Ardö |
Learning Based System for Detection and Tracking of Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCIA ![In: Image Analysis, 14th Scandinavian Conference, SCIA 2005, Joensuu, Finland, June 19-22, 2005, Proceedings, pp. 449-458, 2005, Springer, 3-540-26320-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Zhijie Wang 0001, Hong Fan |
Implementing Fuzzy Reasoning by IAF Neurons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNC (1) ![In: Advances in Natural Computation, First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part I, pp. 476-479, 2005, Springer, 3-540-28323-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Mark McKenney, Alejandro Pauly, Reasey Praing, Markus Schneider 0001 |
Dimension-refined topological predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GIS ![In: 13th ACM International Workshop on Geographic Information Systems, ACM-GIS 2005, November 4-5, 2005, Bremen, Germany, Proceedings, pp. 240-249, 2005, ACM, 1-59593-146-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP Workshops ![In: 34th International Conference on Parallel Processing Workshops (ICPP 2005 Workshops), 14-17 June 2005, Oslo, Norway, pp. 258-264, 2005, IEEE Computer Society, 0-7695-2381-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Hagen Völzer, Daniele Varacca, Ekkart Kindler |
Defining Fairness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings, pp. 458-472, 2005, Springer, 3-540-28309-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Geogr. Syst. ![In: J. Geogr. Syst. 6(4), pp. 381-402, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Min. Knowl. Discov. ![In: Data Min. Knowl. Discov. 9(1), pp. 59-87, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. Video Technol. ![In: IEEE Trans. Circuits Syst. Video Technol. 14(3), pp. 357-369, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Quanshi Xia, Andrew Eremin, Mark Wallace 0001 |
Problem Decomposition for Traffic Diversions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004, Proceedings, pp. 348-363, 2004, Springer, 3-540-21836-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Wim Martens, Frank Neven, Thomas Schwentick |
Complexity of Decision Problems for Simple Regular Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2004, 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004, Proceedings, pp. 889-900, 2004, Springer, 3-540-22823-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Mohd Nazmi, Nadiah Hanim, Sadao Takaba |
Evaluation of Advanced Signal Control Systems with Sensing Technology by Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaSim ![In: Systems Modeling and Simulation: Theory and Applications, Third Asian Simulation Conference, AsiaSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers, pp. 392-402, 2004, Springer, 3-540-24477-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Christian Henning, Peter Stephenson |
Accelerating the ray tracing of height fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GRAPHITE ![In: Proceedings of the 2nd International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia 2004, Singapore, June 15-18, 2004, pp. 254-258, 2004, ACM, 1-58113-883-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA 2003, 11th Annual European Symposium, Budapest, Hungary, September 16-19, 2003, Proceedings, pp. 532-543, 2003, Springer, 3-540-20064-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Soon-Yong Park, Murali Subbarao |
A Fast Point-to-Tangent Plane Technique for Multi-view Registration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
3DIM ![In: 4th International Conference on 3D Digital Imaging and Modeling (3DIM 2003), 6-10 October 2003, Banff, Canada, pp. 276-284, 2003, IEEE Computer Society, 0-7695-1991-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PG ![In: 11th Pacific Conference on Computer Graphics and Applications, PG 2003, Canmore, Canada, October 8-10, 2003, pp. 377-, 2003, IEEE Computer Society, 0-7695-2028-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAT ![In: 2003 IEEE/WIC International Conference on Intelligent Agent Technology (IAT 2003), 13-17 October 2003, Halifax, Canada, pp. 411-414, 2003, IEEE Computer Society, 0-7695-1931-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Lucian Ilie, Baozhen Shan, Sheng Yu 0001 |
Fast Algorithms for Extended Regular Expression Matching and Searching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2003, 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003, Proceedings, pp. 179-190, 2003, Springer, 3-540-00623-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 12(3), pp. 335-377, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2002, 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002, Proceedings, pp. 446-458, 2002, Springer, 3-540-44040-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Henning Biermann, Daniel Kristjansson, Denis Zorin |
Approximate Boolean operations on free-form solids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH ![In: Proceedings of the 28th Annual Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 2001, Los Angeles, California, USA, August 12-17, 2001, pp. 185-194, 2001, ACM, 1-58113-374-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
multiresolution surfaces, geometric modeling, subdivision surfaces |
Displaying result #401 - #500 of 7822 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|