|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1893 occurrences of 1185 keywords
|
|
|
Results
Found 4560 publication records. Showing 4560 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
32 | Yossi Borenstein, Riccardo Poli |
No free lunch, Kolmogorov complexity and the information landscape. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2005, 2-4 September 2005, Edinburgh, UK, pp. 2784-2791, 2005, IEEE, 0-7803-9363-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Neil Yorke-Smith, Carmen Gervet |
Certainty closure: Reliable constraint reasoning with incomplete or erroneous data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 10(1), pp. 3:1-3:41, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Incomplete and erroneous data, reliable solutions, uncertain constraint satisfaction problem, closure |
31 | Akinari Yamaguchi, Shougo Shimizu, Yasunori Ishihara, Toru Fujiwara |
Bag-based data models for incomplete information and their closure properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Inf. Syst. ![In: J. Intell. Inf. Syst. 30(2), pp. 115-135, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Data model, Incomplete information, Bag, Closure property |
31 | Ioannis Krommidas, Christos D. Zaroliagis |
An experimental study of algorithms for fully dynamic transitive closure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM J. Exp. Algorithmics ![In: ACM J. Exp. Algorithmics 12, pp. 1.6:1-1.6:22, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
reachability, Transitive closure, dynamic algorithm, path |
31 | Surender Baswana, Shashank K. Mehta, Vishal Powar |
Implied Set Closure and Its Application to Memory Consistency Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings, pp. 94-106, 2008, Springer, 978-3-540-70543-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Memory consistency model verification, Incremental transitive closure, Total store order, Shared memory multi-processor |
31 | Camil Demetrescu, Giuseppe F. Italiano |
Trade-offs for fully dynamic transitive closure on DAGs: breaking through the O(n2 barrier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 52(2), pp. 147-156, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
transitive closure, Dynamic graph algorithms |
31 | James B. Nation |
Closure Operators and Lattice Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 21(1), pp. 43-48, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
atomistic, congruence-preserving, lattice, extension, closure operator |
31 | Miodrag Vujkovic, David Wadkins, William Swartz, Carl Sechen |
Efficient timing closure without timing driven placement and routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 41th Design Automation Conference, DAC 2004, San Diego, CA, USA, June 7-11, 2004, pp. 268-273, 2004, ACM, 1-58113-828-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
digital design flow, gate sizing, placement and routing, timing closure |
31 | Anders Edman, Christer Svensson |
Timing closure through a globally synchronous, timing partitioned design methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 41th Design Automation Conference, DAC 2004, San Diego, CA, USA, June 7-11, 2004, pp. 71-74, 2004, ACM, 1-58113-828-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
wire delays, clock skew, timing closure |
31 | Ulrich Bodenhofer |
A unified framework of opening and closure operators with respect to arbitrary fuzzy relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 7(4), pp. 220-227, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Fuzzy mathematical morphology, Fuzzy preordering, Closure, Fuzzy relation, Opening |
31 | Gabriele Castellini |
Connectedness with Respect to a Closure Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 9(3), pp. 285-302, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
constant morphism, closure operator, connectedness, Galois connection |
31 | Maria Manuel Clementino |
On Connectedness via Closure Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 9(6), pp. 539-556, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
constant morphism, left- and right-constant subcategory, and -subcategory, closure operator |
31 | Eraldo Giuli, Walter Tholen |
Openness with Respect to a Closure Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 8(3), pp. 487-502, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
closed morphism, open morphism, initial morphism, final morphism, open subobject, natural complement, closure operator |
31 | Xiaoyi Jiang 0001 |
An Adaptive Contour Closure Algorithm and Its Experimental Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 22(11), pp. 1252-1265, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Contour closure, adaptive grouping, directional morphology, performance evaluation, image segmentation |
31 | Reda Alhajj, Faruk Polat |
Closure Maintenance in An Object-Oriented Query Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the Third International Conference on Information and Knowledge Management (CIKM'94), Gaithersburg, Maryland, USA, November 29 - December 2, 1994, pp. 72-79, 1994, ACM. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
message expression, object algebra expression, total instances, database system, closure, object-oriented data model, query model, object-oriented query language |
31 | C. Roger Glassey, Sridhar Seshadri |
Transient flows in queueing systems via closure approximations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 14(1-2), pp. 177-201, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Approximation of distributions, closure approximation, queueing network, transient analysis, sojourn time |
31 | Anish Arora, Mohamed G. Gouda |
Closure and Convergence: A Foundation of Fault-Tolerant Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(11), pp. 1015-1027, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
legal states, verification, formal verification, fault-tolerant computing, fault tolerant computing, convergence, closure |
31 | Chris J. Scheiman, Peter R. Cappello |
A Processor-Time-Minimal Systolic Array for Transitive Closure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 3(3), pp. 257-269, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
processor-time-minimal multiprocessor schedules, 2-D mesh, parallel algorithms, systolic array, systolic arrays, directed acyclic graph, multiprocessor schedule, transitive closure |
31 | Ghassan Z. Qadah, Lawrence J. Henschen, Jung J. Kim |
Efficient Algorithms for the Instantiated Transitive Closure Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(3), pp. 296-309, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
instantiated transitive closure queries, delta -wavefront, super-TC, disk page, processed TC query, performance evaluation, performance evaluation, query languages, database theory, database theory, generic algorithm, wavefront, recursive queries |
31 | Rakesh Agrawal 0001, Shaul Dar, H. V. Jagadish |
Direct Transitive Closure Algorithms: Design and Performance Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 15(3), pp. 427-458, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
query processing, deductive databases, transitive closure |
30 | Sahar El-Khoury, Anis Sahbani |
On computing robust n-finger force-closure grasps of 3D objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2009 IEEE International Conference on Robotics and Automation, ICRA 2009, Kobe, Japan, May 12-17, 2009, pp. 2480-2486, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Arnab Bhattacharyya 0001, Elena Grigorescu, Kyomin Jung, Sofya Raskhodnikova, David P. Woodruff |
Transitive-closure spanners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2009, New York, NY, USA, January 4-6, 2009, pp. 932-941, 2009, SIAM, 978-0-89871-680-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Jesse Weaver, James A. Hendler |
Parallel Materialization of the Finite RDFS Closure for Hundreds of Millions of Triples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2009, 8th International Semantic Web Conference, ISWC 2009, Chantilly, VA, USA, October 25-29, 2009. Proceedings, pp. 682-697, 2009, Springer, 978-3-642-04929-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Nattee Niparnan, Thanathorn Phoka, Attawith Sudsang |
Heuristic approach for multiple queries of 3D n-finger frictional force closure grasp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 11-15, 2009, St. Louis, MO, USA, pp. 1817-1822, 2009, IEEE, 978-1-4244-3803-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Zhi Dong Wang, Hidenori Matsumoto, Yasuhisa Hirata, Kazuhiro Kosuge |
A path planning method for Dynamic Object Closure by using Random Caging Formation Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 11-15, 2009, St. Louis, MO, USA, pp. 5923-5929, 2009, IEEE, 978-1-4244-3803-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Liam Roditty |
A faster and simpler fully dynamic transitive closure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Algorithms ![In: ACM Trans. Algorithms 4(1), pp. 6:1-6:16, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
directed graph, reachability, Dynamic graph algorithms |
30 | Adrien Angeli, David Filliat, Stéphane Doncieux, Jean-Arcady Meyer |
Fast and Incremental Method for Loop-Closure Detection Using Bags of Visual Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Robotics ![In: IEEE Trans. Robotics 24(5), pp. 1027-1037, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Adrien Angeli, Stéphane Doncieux, Jean-Arcady Meyer, David Filliat |
Real-time visual loop-closure detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2008 IEEE International Conference on Robotics and Automation, ICRA 2008, May 19-23, 2008, Pasadena, California, USA, pp. 1842-1847, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Daniel Gyllstrom, Jagrati Agrawal, Yanlei Diao, Neil Immerman |
On Supporting Kleene Closure over Event Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 24th International Conference on Data Engineering, ICDE 2008, April 7-12, 2008, Cancún, Mexico, pp. 1391-1393, 2008, IEEE Computer Society, 978-1-4244-1836-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Sahar El-Khoury, Anis Sahbani |
A sufficient condition and a new quality criterion for force-closure grasps synthesis of 3D objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems, September 22-26, 2008, Acropolis Convention Center, Nice, France, pp. 4200, 2008, IEEE, 978-1-4244-2057-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Sahar El-Khoury, Anis Sahbani |
A Sufficient Condition For Computing N-Finger Force-Closure Grasps of 3D Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAM ![In: 2008 IEEE Conference on Robotics, Automation and Mechatronics, RAM 2008, 21-24 September 2008, Chengdu, China, pp. 791-796, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Matteo Fischetti, Andrea Lodi 0001 |
Optimizing over the first Chvátal closure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 110(1), pp. 3-20, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Separation problems, Chvátal-Gomory cuts, Integer programs, Computational analysis |
30 | Agostino Martinelli, Roland Siegwart |
Exploiting the Information at the Loop Closure in SLAM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2007 IEEE International Conference on Robotics and Automation, ICRA 2007, 10-14 April 2007, Roma, Italy, pp. 2055-2060, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Jae-Sook Cheong, A. Frank van der Stappen |
Computing all form-closure grasps of a rectilinear polyhedron with seven frictionless point fingers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29 - November 2, 2007, Sheraton Hotel and Marina, San Diego, California, USA, pp. 3276-3282, 2007, IEEE, 978-1-4244-0912-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Matthew Nichols, David Taylor |
A faster closure algorithm for pattern matching in partial-order event data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 13th International Conference on Parallel and Distributed Systems, ICPADS 2007, Hsinchu, Taiwan, December 5-7, 2007, pp. 1-9, 2007, IEEE Computer Society, 978-1-4244-1889-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Zhi Dong Wang, Yasuhisa Hirata, Kazuhiro Kosuge |
Dynamic Object Closure by Multiple Mobile Robots and Random Caging Formation Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2006, October 9-15, 2006, Beijing, China, pp. 3675-3681, 2006, IEEE, 1-4244-0258-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Matteo Fischetti, Andrea Lodi 0001 |
Optimizing over the First Chvàtal Closure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCO ![In: Integer Programming and Combinatorial Optimization, 11th International IPCO Conference, Berlin, Germany, June 8-10, 2005, Proceedings, pp. 12-22, 2005, Springer, 3-540-26199-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
separation problems, Chvàtal-Gomory cuts, Integer Programs, computational analysis |
30 | Frédéric Koriche |
Online Closure-Based Learning of Relational Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP ![In: Inductive Logic Programming, 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings, pp. 172-189, 2005, Springer, 3-540-28177-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Luis Garmendia, Adela Salvador |
Comparing Transitive Closure with a New T-transitivization Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MDAI ![In: Modeling Decisions for Artificial Intelligence, First International Conference, MDAI 2004, Barcelona, Spain, August 2-4, 2004, Proceedings, pp. 306-315, 2004, Springer, 3-540-22555-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Neil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh |
The Boundary Between Decidability and Undecidability for Transitive-Closure Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings, pp. 160-174, 2004, Springer, 3-540-23024-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Fernando Esponda, Stephanie Forrest, Paul Helman |
The Crossover Closure and Partial Match Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARIS ![In: Artificial Immune Systems, Second International Conference, ICARIS 2003, Edinburgh, UK, September 1-3, 2003, Proceedings, pp. 249-260, 2003, Springer, 3-540-40766-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Radim Belohlávek |
Fuzzy Closure Operators Induced by Similarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA ![In: Fuzzy Sets and Systems - IFSA 2003, 10th International Fuzzy Systems Association World Congress, Istanbul, Turkey, June 30 - July 2, 2003, Proceedings, pp. 71-78, 2003, Springer, 3-540-40383-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Seema Bawa, G. K. Sharma 0001 |
A Parallel Transitive Closure Computation Algorithm for VLSI Test Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARA ![In: Applied Parallel Computing Advanced Scientific Computing, 6th International Conference, PARA 2002, Espoo, Finland, June 15-18, 2002, Proceedings, pp. 243-252, 2002, Springer, 3-540-43786-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Guilherme A. S. Pereira, Vijay Kumar 0001, John R. Spletzer, Camillo J. Taylor, Mario Fernando Montenegro Campos |
Cooperative Transport of Planar Objects by Multiple Mobile Robots Using Object Closure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISER ![In: Experimental Robotics VIII [ISER 2002, Sant'Angelo d'Ischia, Italy, 8-11 July 2002], pp. 287-296, 2002, Springer, 978-3-540-00305-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Surrendra Dudani, Jayant Nagda |
High Level Functional Verification Closure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 20th International Conference on Computer Design (ICCD 2002), VLSI in Computers and Processors, 16-18 September 2002, Freiburg, Germany, Proceedings, pp. 91-, 2002, IEEE Computer Society, 0-7695-1700-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
30 | William Hesse |
The Dynamic Complexity of Transitive Closure Is In DynTC0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT 2001, 8th International Conference, London, UK, January 4-6, 2001, Proceedings., pp. 234-247, 2001, Springer, 3-540-41456-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
30 | Floris Geerts, Bart Kuijpers |
Linear Approximation of Planar Spatial Databases Using Transitive-Closure Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, May 15-17, 2000, Dallas, Texas, USA, pp. 126-135, 2000, ACM, 1-58113-214-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Leo Bachmair, Ashish Tiwari 0001 |
Abstract Congruence Closure and Specializations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-17, 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings, pp. 64-78, 2000, Springer, 3-540-67664-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Patrick Doherty 0001, Witold Lukaszewicz, Andrzej Szalas |
Explaining Explanation Closure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 9th International Symposium, ISMIS '96, Zakopane, Poland, June 9-13, 1996, Proceedings, pp. 521-530, 1996, Springer, 3-540-61286-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
30 | Doron A. Peled, Thomas Wilke, Pierre Wolper |
An Algorithmic Approach for Checking Closure Properties of omega-Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings, pp. 596-610, 1996, Springer, 3-540-61604-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
30 | Yves Métivier, Gwénaël Richomme, Pierre-André Wacrenier |
Computing the Closure of Sets of Words Under Partial Commutations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 22nd International Colloquium, ICALP95, Szeged, Hungary, July 10-14, 1995, Proceedings, pp. 75-86, 1995, Springer, 3-540-60084-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Star Problem, trace monoids, rank, commutation, recognizability |
30 | Erich Grädel |
On Transitive Closure Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991, Proceedings, pp. 149-163, 1991, Springer, 3-540-55789-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
30 | Hikaru Morita, Kazuo Ohta, Shoji Miyaguchi |
A Switching Closure Test to Analyze Cryptosystems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO '91, 11th Annual International Cryptology Conference, Santa Barbara, California, USA, August 11-15, 1991, Proceedings, pp. 183-193, 1991, Springer, 3-540-55188-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
30 | Jeffrey D. Ullman, Mihalis Yannakakis |
The Input/Output Complexity of Transitive Closure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1990 ACM SIGMOD International Conference on Management of Data, Atlantic City, NJ, USA, May 23-25, 1990., pp. 44-53, 1990, ACM Press, 978-0-89791-365-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
30 | Maurice A. W. Houtsma, Peter M. G. Apers, Stefano Ceri |
Complex Transitive Closure Queries on a Fragmented Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: ICDT'90, Third International Conference on Database Theory, Paris, France, December 12-14, 1990, Proceedings, pp. 470-484, 1990, Springer, 3-540-53507-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
30 | Jiawei Han 0001, Ghassan Z. Qadah, Chinying Chaou |
The Processing and Evaluation of Transitive Closure Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: Advances in Database Technology - EDBT'88, Proceedings of the International Conference on Extending Database Technology, Venice, Italy, March 14-18, 1988, pp. 49-75, 1988, Springer, 3-540-19074-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
27 | Wei Sun 0002, Clement T. Yu |
Semantic Query Optimization for Tree and Chain Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 6(1), pp. 136-151, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
chain queries, knowledge-based query optimization, semantically equivalent transformations, unnecessary joins, redundant beneficial/nonbeneficial selection operations, acyclic queries, closure chain queries, equi-join attributes, restriction closure computation, computational complexity, query processing, knowledge based systems, NP complete, time complexity, database theory, trees (mathematics), semantic query optimization, query graphs, tree queries |
26 | Barzan Mozafari, Kai Zeng 0002, Carlo Zaniolo |
K*SQL: a unifying engine for sequence patterns and XML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2010, Indianapolis, Indiana, USA, June 6-10, 2010, pp. 1143-1146, 2010, ACM, 978-1-4503-0032-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
kleene-closure, sequence queries, sql, pattern matching, xpath |
26 | M. Sulaiman Khan, Maybin K. Muyeba, Frans Coenen |
Weighted Association Rule Mining from Binary and Fuzzy Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM ![In: Advances in Data Mining. Medical Applications, E-Commerce, Marketing, and Theoretical Aspects, 8th Industrial Conference, ICDM 2008, Leipzig, Germany, July 16-18, 2008, Proceedings, pp. 200-212, 2008, Springer, 978-3-540-70717-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
weighted attributes, downward closure, Association rules, fuzzy, apriori |
26 | Martin Kutrib, Andreas Malcher, Larissa Werlein |
Regulated Nondeterminism in Pushdown Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata, 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers, pp. 85-96, 2007, Springer, 978-3-540-76335-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
regulated nondeterminism, limited nondeterminism, pushdown automata, closure properties |
26 | Xiaohong Zhang, Gang Yao |
Generalized Rough Set Model on De Morgan Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GrC ![In: 2007 IEEE International Conference on Granular Computing, GrC 2007, San Jose, California, USA, 2-4 November 2007, pp. 205-208, 2007, IEEE Computer Society, 0-7695-3032-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
De Morgan algebra, Generalized rough set, Similar topological open subsystem, Similar closure subsystem, Uncertainty measures |
26 | Jae-Sook Cheong, Herman J. Haverkort, A. Frank van der Stappen |
Computing All Immobilizing Grasps of a Simple Polygon with Few Contacts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 44(2), pp. 117-136, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Immobility, Wrench, Form closure, Second-order immobility, Positive basis, Grasp, Fixturing |
26 | Nicolas Guilbert, Adrien Bartoli, Anders Heyden |
Affine Approximation for Direct Batch Recovery of Euclidian Structure and Motion from Sparse Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 69(3), pp. 317-333, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
batch recovery, closure constraints, affine camera model, contraction mapping, structure from motion, autocalibration |
26 | Hiroki Arimura, Takeaki Uno |
An Output-Polynomial Time Algorithm for Mining Frequent Closed Attribute Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP ![In: Inductive Logic Programming, 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings, pp. 1-19, 2005, Springer, 3-540-28177-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
frequent closed pattern mining, attribute tree, the least general generalization, description logic, semi-structured data, closure operation, tree mining, output-sensitive algorithm |
26 | Daniel H. Huson, Tobias Dezulian, Tobias H. Klöpper, Mike A. Steel |
Phylogenetic Super-networks from Partial Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WABI ![In: Algorithms in Bioinformatics, 4th International Workshop, WABI 2004, Bergen, Norway, September 17-21, 2004, Proceedings, pp. 388-399, 2004, Springer, 3-540-23018-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
partial trees, networks, closure operations, phylogeny, Molecular evolution |
26 | Feng Tao, Fionn Murtagh, Mohsen M. Farid |
Weighted Association Rule Mining using weighted support and significance framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the Ninth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, August 24 - 27, 2003, pp. 661-666, 2003, ACM, 1-58113-737-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
WARM algorithm, Weighted Association Rule Mining, significant relationship, weighted downward closure property, weighted support |
26 | Odile Piton, Denis Maurel |
"Beijing Frowns and Washington Pays Close Attention" Computer Processing of Relations between Geographical Proper Names in Foreign Affairs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NLDB ![In: Natural Language Processing and Information Systems, 5th International Conference on Applications of Natural Language to Information Systems, NLDB 2000, Versailles, France, June 28-30, 2000, Revised Papers, pp. 66-78, 2000, Springer, 3-540-41943-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Proper Names, Place Name, Inhabitant Name, Geographical Proper Names, Computing Method, Natural Language Processing (NLP), Transitive closure, Electronic Dictionary, Relational Data Base |
26 | J. Gregory Morrisett, David Walker 0001, Karl Crary, Neal Glew |
From system F to typed assembly language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 21(3), pp. 527-568, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
secure extensible systems, type-directed compilation, typed assembly language, typed intermediate languages, certified code, closure conversion |
26 | Rakesh M. Verma |
A Theory of Using History for Equational Systems with Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 42(5), pp. 984-1020, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
congruence-closure algorithm, rewrite system transformation, term rewrite systems, proof theory, equational logic |
26 | Gen-Huey Chen, Biing-Feng Wang, Chi-Jen Lu |
On the Parallel Computation of the Algebraic Path Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 3(2), pp. 251-256, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
all pairsshortest paths, reconfigurable bus system, repeated matrix multiplications, parallel algorithms, computational complexity, parallel computation, graph theory, minimum spanning tree, transitive closure, processor array, CRCW PRAM, graph problems, algebraic path problem |
25 | Sanjeeb Dash, Oktay Günlük, Andrea Lodi 0001 |
MIR closures of polyhedral sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 121(1), pp. 33-60, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Mathematical Subject Classification (2000) 90C10, 90C57, 90C11 |
25 | Tong Liu 0003, Michael Yu Wang |
Passive force analysis with elastic contacts for fixturing and grasping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2009 IEEE International Conference on Robotics and Automation, ICRA 2009, Kobe, Japan, May 12-17, 2009, pp. 1691-1696, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Máximo A. Roa, Raúl Suárez, Jan Rosell |
Grasp space generation using sampling and computation of independent regions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems, September 22-26, 2008, Acropolis Convention Center, Nice, France, pp. 2258-2263, 2008, IEEE, 978-1-4244-2057-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Dikran Dikranjan, Elena Martín Peinador, Vaja Tarieladze |
Conway's Question: The Chase for Completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 15(5-6), pp. 511-539, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) Primary 22A05, 22B05, 54D25, 54H11, Secondary 54A35, 54D30, 54H13, 54B30 |
25 | Yuji Yahata, Syoji Kobashi, Shigeyuki Kan, Masaya Misaki, Katsuya Kondo, Satoru Miyauchi, Yutaka Hata |
Estimation of visual axis during sleep by analyzing infrared video using artificial neural network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Montréal, Canada, 7-10 October 2007, pp. 3433-3437, 2007, IEEE, 978-1-4244-0990-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Gautam Gupta, Sanjay V. Rajopadhye |
The Z-polyhedral model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2007, San Jose, California, USA, March 14-17, 2007, pp. 237-248, 2007, ACM, 978-1-59593-602-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
equational programming, program transformation, models of computations, loop optimization |
25 | Zheng-Hua Tan |
Fuzzy Metagraph and Its Combination with the Indexing Approach in Rule-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 18(6), pp. 829-841, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
information retrieval, knowledge representation, rule-based systems, fuzzy reasoning, Fuzzy graphs |
25 | Huaji Shi, Xibin Zhao |
Implementation Issues of Authorization Mechanisms in Grid Computing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSE ![In: The 2006 International Workshop on Service Oriented Software Engineering (IW-SOSE '06), May 27-28, 2006, Shanghai, China, in conjunction with ICSE 2006, pp. 76-80, 2006, IEEE Computer Society, 0-7695-2726-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Yalin Zheng, Changshui Zhang, Xin Yao 0003 |
Type-I Topological Logic C1I and Approximate Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (1) ![In: Fuzzy Systems and Knowledge Discovery, Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part I, pp. 253-262, 2005, Springer, 3-540-28312-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Guilong Liu, Delin Qu, Rou Song |
Topological structures of rough sets over fuzzy lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GrC ![In: 2005 IEEE International Conference on Granular Computing, Beijing, China, July 25-27, 2005, pp. 535-538, 2005, IEEE, 0-7803-9017-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Thumrongsak Kosiyatrakul, Susan Older, Polar Humenn, Shiu-Kai Chin |
Implementing a Calculus for Distributed Access Control in Higher Order Logic and HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMM-ACNS ![In: Computer Network Security, Second International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2003, St. Petersburg, Russia, September 21-23, 2003, Proceedings, pp. 32-46, 2003, Springer, 3-540-40797-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Tzong-Jye Liu, Shing-Tsaan Huang |
Phase Synchronization on Asynchronous Uniform Rings with Odd Size. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 12(6), pp. 638-652, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
fault tolerance, Distributed systems, self-stabilization, transient faults, phase synchronization |
25 | Bengt Jonsson 0001, Marcus Nilsson |
Transitive Closures of Regular Relations for Verifying Infinite-State Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 220-234, 2000, Springer, 3-540-67282-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Xinfeng Ye, John A. Keane |
Collecting Cyclic Garbage in Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 1997 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN '97), 18-20 December 1997, Taipei, Taiwan, pp. 227-231, 1997, IEEE Computer Society, 0-8186-8259-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
25 | Jean-Pierre Cheiney, Yan-Nong Huang |
Set-Oriented Propagation of Updates into Transitively Closed Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOOD ![In: Deductive and Object-Oriented Databases, Second International Conference, DOOD'91, Munich, Germany, December 16-18, 1991, Proceedings, pp. 503-523, 1991, Springer, 3-540-55015-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
25 | Detlef Wotschke |
The Boolean Closures of the Deterministic and Nondeterministic Context-Free Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI Jahrestagung ![In: Gesellschaft für Informatik e.V., 3. Jahrestagung, Hamburg, Deutschland, 8.-10. Oktober 1973, pp. 113-121, 1973, Springer, 3-540-06473-7. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
25 | Shashank Prasad, Dongzi Liu, Oleg Levitsky, Dave Noice, Shailendra Srivastava |
Post Assembly Timing Closure for Multi Million Gate Chips. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: VLSI Design 2010: 23rd International Conference on VLSI Design, 9th International Conference on Embedded Systems, Bangalore, India, 3-7 January 2010, pp. 75-80, 2010, IEEE Computer Society, 978-0-7695-3928-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
optimization, Timing closure |
25 | Bo Chen |
F-Compactness in L-closure Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (6) ![In: Sixth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2009, Tianjin, China, 14-16 August 2009, 6 Volumes, pp. 199-202, 2009, IEEE Computer Society, 978-0-7695-3735-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
L-closure space, remote neighborhood family, F-compactness, a-net, r-cover |
25 | Fabian Hemmert, Danijela Djokic, Reto Wettach |
Spoken words: activating text-to-speech through eye closure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2008 Conference on Human Factors in Computing Systems, CHI 2008, Florence, Italy, April 5-10, 2008, pp. 2325-2330, 2008, ACM, 978-1-60558-012-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
eye closure, multimodal interfaces, face tracking, text editing, audiovisual |
25 | Jason Cong |
Timing closure based on physical hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPD ![In: Proceedings of 2002 International Symposium on Physical Design, ISPD 2002, Del Mar, CA, USA, April 7-10, 2002, pp. 170-174, 2002, ACM, 1-58113-460-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
interconnect planning, logic hierarchy, physical hierarchy, retiming and pipelining, sequential arrival time, interconnect optimization, timing closure, multilevel optimization |
25 | Camil Demetrescu, Giuseppe F. Italiano |
Fully Dynamic Transitive Closure: Breaking Through the O(n2) Barrier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 41st Annual Symposium on Foundations of Computer Science, FOCS 2000, 12-14 November 2000, Redondo Beach, California, USA, pp. 381-389, 2000, IEEE Computer Society, 0-7695-0850-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
fully dynamic transitive closure, unit worst-case cost, amortized time, single-operation complexity, subquadratic algorithm, computational complexity, randomized algorithm, queries, directed graphs, directed graphs, polynomials, polynomials, directed acyclic graphs, matrix multiplication, matrix multiplication, deterministic algorithms, deterministic algorithm, randomised algorithms |
25 | Monika Rauch Henzinger, Valerie King |
Fully Dynamic Biconnectivity and Transitive Closure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 36th Annual Symposium on Foundations of Computer Science, Milwaukee, Wisconsin, USA, 23-25 October 1995, pp. 664-672, 1995, IEEE Computer Society, 0-8186-7183-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
fully dynamic biconnectivity, n-node graph, edge insertion, polylogarithmic time, Las-Vegas style, computational complexity, graph theory, randomized algorithm, transitive closure, deletion, randomised algorithms, dynamic algorithm, algorithm theory |
25 | Edith Cohen |
Estimating the Size of the Transitive Closure in Linear Time ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 35th Annual Symposium on Foundations of Computer Science, Santa Fe, New Mexico, USA, 20-22 November 1994, pp. 190-200, 1994, IEEE Computer Society, 0-8186-6580-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
size-estimation algorithms, reachability information, query optimization, randomized algorithm, directed graphs, transitive closure, database applications, neighborhoods, linear time, fast matrix multiplication |
25 | Dilip Sarkar, Amar Mukherjee |
Design of Optimal Systolic Algorithms for the Transitive Closure Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 41(4), pp. 508-512, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
transitive closure problem, optimal systolic algorithms, Warshal-Floyd algorithm, pipelined parallel algorithms, RCT diagram, parallel algorithms, data dependency, systolic algorithms |
25 | Keh-Chang Guh, Clement T. Yu |
Efficient Management of Materialized Generalized Transitive Closure in Centralized and Parallel Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 4(4), pp. 371-381, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
centralised environments, materialized generalized transitive closure, computational complexity, parallel processing, data structure, data structures, expert systems, queries, time complexities, deductive databases, insertions, deletions, parallel environments, multiprocessor environment |
25 | Erich Grädel, Gregory L. McColm |
Hierarchies in Transitive Closure Logic, Stratified Datalog and Infinitary Logic ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 33rd Annual Symposium on Foundations of Computer Science, Pittsburgh, Pennsylvania, USA, 24-27 October 1992, pp. 167-176, 1992, IEEE Computer Society, 0-8186-2900-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
universal quantifiers, transitive closure logic, stratified Datalog, general hierarchy theorem, quantifier classes, infinitary logic |
25 | Johann Eder |
Extending SQL with General Transitive Closure and Extreme Value Selections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 2(4), pp. 381-390, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
general transitive closure, recursive query processing applications, general recursive capabilities, existing query languages, database language SQL, view definition mechanism, extreme value sections, special constructs, maximal values, recursively defined views, nonlinear recursion, standards, database management systems, query languages, attributes, information retrieval systems, tuples, recursive structures |
25 | Sun-Yuan Kung, Sheng-Chun Lo, Paul S. Lewis |
Optimal Systolic Design for the Transitive Closure and the Shortest Path Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 36(5), pp. 603-614, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
transitive closure problems, systolic arrays, optimal algorithms, VLSI architectures, shortest path problem, Algorithm mappings, VLSI algorithms |
25 | Lothar Schmitz |
An improved transitive closure algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 30(4), pp. 359-371, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
transitive reduction, transitive closure, Digraphs, strongly connected components |
25 | Chao-Chih Yang, Marek K. Babinski |
Comments on "Closure Partition Method for Minimizing Incomplete Sequential Machines". ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 24(1), pp. 106-108, 1975. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
Closure class, implied block, sequential machine |
Displaying result #101 - #200 of 4560 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|