Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
18 | Marc Gyssens, Dan Suciu, Dirk Van Gucht |
The Restricted and Bounded Fixpoint Closures of the Nested Relational Algebra are Equivalent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBPL ![In: Database Programming Languages (DBPL-5), Proceedings of the Fifth International Workshop on Database Programming Languages, Gubbio, Umbria, Italy, 6-8 September 1995, pp. 5, 1995, Springer, 3-540-76086-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
18 | James P. Delgrande |
Syntactic Conditional Closures for Defeasible Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI 95, Montréal Québec, Canada, August 20-25 1995, 2 Volumes, pp. 1488-1494, 1995, Morgan Kaufmann. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
18 | Hajo Broersma, Ingo Schiermeyer |
Subgraphs, Closures and Hamiltonicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 51(1-2), pp. 39-46, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Jean-Pierre Cheiney, Yan-Nong Huang |
Efficient Maintenance of Explicit Transitive Closures with Set-Oriented Update Propagation and Parallel Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Knowl. Eng. ![In: Data Knowl. Eng. 13(3), pp. 197-220, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Dominic Duggan |
Logical Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic Programming and Automated Reasoning, 5th International Conference, LPAR'94, Kiev, Ukraine, July 16-22, 1994, Proceedings, pp. 114-128, 1994, Springer, 3-540-58216-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Masahiro Shioya |
Weakly Normal Closures of Filters on Pkappalambda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 58(1), pp. 55-63, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Leonid Libkin |
Direct product decompositions of lattices, closures and relation schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 112(1-3), pp. 119-138, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Haitze J. Broersma |
A note on K4-closures in hamiltonian graph theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 121(1-3), pp. 19-23, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Ismail H. Toroslu, Ghassan Z. Qadah |
The Efficient Computation of Strong Partial Transitive-Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the Ninth International Conference on Data Engineering, April 19-23, 1993, Vienna, Austria, pp. 530-537, 1993, IEEE Computer Society, 0-8186-3570-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Xubo Zhang |
Overlap Closures do not Suffice for Termination of General Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 37(1), pp. 9-11, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Kosaburo Hashiguchi |
Recognizable Closures and Submonoids of Free Partially Commutative Monoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 86(2), pp. 233-241, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Yan-Nong Huang, Jean-Pierre Cheiney |
Parallel Computation of Direct Transitive Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the Seventh International Conference on Data Engineering, April 8-12, 1991, Kobe, Japan, pp. 192-199, 1991, IEEE Computer Society, 0-8186-2138-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Chandon Chitale, John Sieg Jr. |
Caching transitive closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 19th annual conference on Computer Science, CSC '91, San Antonio, Texas, USA, March 4-7, 1991, pp. 154-160, 1991, ACM, 0-89791-382-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Johann Eder |
General Transitive Closures and Aggregate Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Proceedings of the International Conference on Database and Expert Systems Applications, Berlin, Germany, 1991., pp. 54-59, 1991, Springer-Verlag, Wien, 3-211-82301-8. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
18 | Bhavani Thuraisingham |
Computing Transitive Closures of Multilevel Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Rec. ![In: SIGMOD Rec. 19(3), pp. 17-23, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
18 | William J. Cook, Ravi Kannan, Alexander Schrijver |
Chvátal Closures for mixed Integer Programming Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 47, pp. 155-174, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Miki Hermann |
Chain Properties of Rule Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 2(3), pp. 207-225, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Bin Jiang |
A Suitable Algorithm for Computing Partial Transitive Closures in Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the Sixth International Conference on Data Engineering, February 5-9, 1990, Los Angeles, California, USA, pp. 264-271, 1990, IEEE Computer Society, 0-8186-2025-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Pintsang Chang |
Nonlinear versus linear recursion: a perspective from computing transitive closures of a binary relation by the join domain nested loops approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the Fourteenth Annual International Computer Software and Applications Conference, COMPSAC 1990, Chicago, IL, USA, October 31 1990 - November 2, 1990, pp. 382-390, 1990, IEEE, 0-8186-2054-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Samir Khuller |
On Computing Graph Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 31(5), pp. 249-255, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
18 | Richard J. Lipton, Jeffrey F. Naughton |
Estimating the Size of Generalized Transitive Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB ![In: Proceedings of the Fifteenth International Conference on Very Large Data Bases, August 22-25, 1989, Amsterdam, The Netherlands., pp. 165-171, 1989, Morgan Kaufmann, 1-55860-101-5. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
18 | Uday S. Reddy |
Objects as Closures: Abstract Semantics of Object-Oriented Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1988 ACM Conference on LISP and Functional Programming, LFP 1988, Snowbird, Utah, USA, July 25-27, 1988, pp. 289-297, 1988, ACM, 0-89791-273-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
18 | Paul H. Morris |
Autoepistemic Stable Closures and Contradiction Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG, June 13-15, 1988, Proceedings, pp. 60-73, 1988, Springer, 3-540-50701-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
18 | Paul Morris |
Stable Closures, Defeasible Logic and Contradiction Tolerant Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the 7th National Conference on Artificial Intelligence, St. Paul, MN, USA, August 21-26, 1988., pp. 506-511, 1988, AAAI Press / The MIT Press, 0-262-51055-3. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
18 | Thomas M. Breuel |
Lexical Closures for C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
C++ Conference ![In: Proceedings of the Conference on C++. Denver, CO, USA, October 1988, pp. 293-304, 1988, USENIX Association. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
18 | Russell Impagliazzo, Moni Naor |
Decision trees and downward closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings: Third Annual Structure in Complexity Theory Conference, Georgetown University, Washington, D. C., USA, June 14-17, 1988, pp. 29-38, 1988, IEEE Computer Society, 0-8186-0794-7. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
18 | Klaus W. Wagner |
More Complicated Questions About Maxima and Minima, and Some Closures of NP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 51, pp. 53-80, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
18 | Marc Feeley, Guy Lapalme |
Using Closures for Code Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Lang. ![In: Comput. Lang. 12(1), pp. 47-66, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
18 | Johannes A. La Poutré, Jan van Leeuwen |
Maintenance of Transitive Closures and Transitive Reductions of Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science, International Workshop, WG '87, Kloster Banz/Staffelstein, Germany, June 29 - July 1, 1987, Proceedings, pp. 106-120, 1987, Springer, 3-540-19422-3. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
18 | Ajay K. Rathi, Zoltan A. Nemeth |
A simulation model of freeway lane closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. ![In: Simul. 47(2), pp. 51-57, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
18 | H. J. C. Spencer |
Secure Splice Closures for Optical Fiber Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Areas Commun. ![In: IEEE J. Sel. Areas Commun. 4(5), pp. 726-731, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
18 | James C. Bezdek, Gautam Biswas, Li-ya Huang |
Transitive Closures of Fuzzy Thesauri for Information-Retrieval Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Man Mach. Stud. ![In: Int. J. Man Mach. Stud. 25(3), pp. 343-356, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
18 | Klaus W. Wagner |
More Complicated Questions About Maxima and Minima, and Some Closures of NP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 13th International Colloquium, ICALP86, Rennes, France, July 15-19, 1986, Proceedings, pp. 434-443, 1986, Springer, 3-540-16761-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
18 | Domenico Saccà |
Closures of Database Hypergraphs ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 32(4), pp. 774-803, October 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
18 | Jean-Louis Lassez, Michael J. Maher |
Closures and Fairness in the Semantics of Programming Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 29, pp. 167-184, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
18 | R. Dabh |
The computation of closures of dependencies in relational database schemata design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1984 |
RDF |
|
18 | Toshihide Ibaraki, Naoki Katoh |
On-Line Computation of Transitive Closures of Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 16(2), pp. 95-97, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
18 | F. Nourani |
Forcing with Universal Sentences and Genericity of Inductive Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADT ![In: Proceedings 2nd Workshop on Abstract Data Type, 1983. University of Passau, Germany, 1983, University of Passau. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
18 | John V. Guttag, Deepak Kapur, David R. Musser |
Derived Pairs, Overlap Closures, and Rewrite Dominoes: New Tools for Analyzing Term rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings, pp. 300-312, 1982, Springer, 3-540-11576-5. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
18 | Ronald V. Book, Maurice Nivat |
Linear Languages and the Intersection Closures of Classes of Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Comput. ![In: SIAM J. Comput. 7(2), pp. 167-177, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
18 | Luis E. Sanchis |
Data Types as Lattices: Retractions, Closures and Projections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Theor. Informatics Appl. ![In: RAIRO Theor. Informatics Appl. 11(4), pp. 329-344, 1977. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
18 | Peter A. Bloniarz, Michael J. Fischer, Albert R. Meyer |
A Note on the Average Time to Compute Transitive Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Third International Colloquium on Automata, Languages and Programming, University of Edinburgh, UK, July 20-23, 1976, pp. 425-434, 1976, Edinburgh University Press, 0-85224-308-1. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP BibTeX RDF |
|
18 | Robert M. Keller |
Parallel Program Schemata and Maximal Parallelism II: Construction of Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 20(4), pp. 696-710, 1973. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
18 | Ronald L. Graham, Donald E. Knuth, Theodore S. Motzkin |
Complements and transitive closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 2(1), pp. 17-29, 1972. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
18 | Gene F. Rose |
Closures which Preserve Finiteness in Families of Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 2(2), pp. 148-168, 1968. The full citation details ...](Pics/full.jpeg) |
1968 |
DBLP DOI BibTeX RDF |
|
18 | Harry J. Gray Jr. |
Propagation of Truncation Errors in the Numerical Solution of Ordinary Differential Equations by Repeated Closures ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 2(1), pp. 5-17, January 1955. The full citation details ...](Pics/full.jpeg) |
1955 |
DBLP DOI BibTeX RDF |
|
12 | Laurent D. Michel |
Parallelizing constraint programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAMP ![In: Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming, DAMP 2010, Madrid, Spain, January 19, 2010, pp. 3-4, 2010, ACM, 978-1-60558-859-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
constraint-based local search, parallel programming, constraint programming |
12 | Gunther Schmidt 0001, Rudolf Berghammer |
Contact Relations with Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings, pp. 306-321, 2009, Springer, 978-3-642-04638-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Karl Granström, Jonas Callmer, Fabio T. Ramos 0001, Juan I. Nieto 0001 |
Learning to detect loop closure from range data. ![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. 15-22, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Carles Creus, Guillem Godoy, Francesc Massanes, Ashish Tiwari 0001 |
Non-linear Rewrite Closure and Weak Normalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009, 11-14 August 2009, Los Angeles, CA, USA, pp. 365-374, 2009, IEEE Computer Society, 978-0-7695-3746-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Malgorzata Biernacka, Olivier Danvy |
Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics and Algebraic Specification ![In: Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday, pp. 186-206, 2009, Springer, 978-3-642-04163-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Martin Korp, Aart Middeldorp |
Beyond Dependency Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings, pp. 339-354, 2009, Springer, 978-3-642-02958-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Marius Bozga, Codruta Gîrlea, Radu Iosif |
Iterating Octagons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 337-351, 2009, Springer, 978-3-642-00767-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Christos Dimoulas, Mitchell Wand |
The Higher-Order Aggregate Update Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings, pp. 44-58, 2009, Springer, 978-3-540-93899-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Bin Fu, Angsheng Li, Liyu Zhang |
Separating NE from Some Nonuniform Nondeterministic Complexity Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 15th Annual International Conference, COCOON 2009, Niagara Falls, NY, USA, July 13-15, 2009, Proceedings, pp. 486-495, 2009, Springer, 978-3-642-02881-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Kurt Konolige, Motilal Agrawal |
FrameSLAM: From Bundle Adjustment to Real-Time Visual Mapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Robotics ![In: IEEE Trans. Robotics 24(5), pp. 1066-1077, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Bastian Steder, Giorgio Grisetti, Cyrill Stachniss, Wolfram Burgard |
Visual SLAM for Flying Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Robotics ![In: IEEE Trans. Robotics 24(5), pp. 1088-1093, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Pedro Pinies, Juan D. Tardós |
Large-Scale SLAM Building Conditionally Independent Local Maps: Application to Monocular Vision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Robotics ![In: IEEE Trans. Robotics 24(5), pp. 1094-1106, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Rumen D. Dimitrov |
A class of S30{Sigmas30} modular lattices embeddable as principal filters in L*(VJPY)L^{\ast}(Vinfinity). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 47(2), pp. 111-132, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03D25, 06C05, 03C57 |
12 | Randall E. Duran |
Probabilistic Sales Forecasting for Small and Medium-Size Business Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Computing Applications in Business ![In: Soft Computing Applications in Business, pp. 129-146, 2008, Springer, 978-3-540-79004-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Jevgeni Kabanov, Rein Raudjärv |
Embedded typesafe domain specific languages for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 6th International Symposium on Principles and Practice of Programming in Java, PPPJ 2008, Modena, Italy, September 9-11, 2008, pp. 189-197, 2008, ACM, 978-1-60558-223-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Olivier Danvy, Jacob Johannsen |
Inter-deriving Semantic Artifacts for Object-Oriented Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation, 15th International Workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings, pp. 1-16, 2008, Springer, 978-3-540-69936-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Anthony Widjaja To, Leonid Libkin |
Recurrent Reachability Analysis in Regular Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings, pp. 198-213, 2008, Springer, 978-3-540-89438-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Brian Patrick Williams, Mark Cummins, José Neira, Paul M. Newman, Ian D. Reid 0001, Juan D. Tardós |
An image-to-map loop closing method for monocular SLAM. ![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. 2053-2059, 2008, IEEE, 978-1-4244-2057-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Andreas Abel 0001, Thierry Coquand, Peter Dybjer |
Verifying a Semantic beta-eta-Conversion Test for Martin-Löf Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings, pp. 29-56, 2008, Springer, 978-3-540-70593-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Dali Sun, Alexander Kleiner, Thomas M. Wendt |
Multi-robot Range-Only SLAM by Active Sensor Nodes for Urban Search and Rescue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RoboCup ![In: RoboCup 2008: Robot Soccer World Cup XII [papers from the 12th annual RoboCup International Symposium, Suzhou, China, July 15-18, 2008], pp. 318-330, 2008, Springer, 978-3-642-02920-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Roberto Giacobazzi, Isabella Mastroeni |
Transforming Abstract Interpretations by Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings, pp. 1-17, 2008, Springer, 978-3-540-69163-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Supreeth Achar, C. V. Jawahar |
Adaptation and Learning for Image Based Navigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICVGIP ![In: Sixth Indian Conference on Computer Vision, Graphics & Image Processing, ICVGIP 2008, Bhubaneswar, India, 16-19 December 2008, pp. 103-110, 2008, IEEE Computer Society, 978-0-7695-3476-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Alva L. Couch, Marc Chiarini |
A Theory of Closure Operators. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMS ![In: Resilient Networks and Services, Second International Conference on Autonomous Infrastructure, Management and Security, AIMS 2008, Bremen, Germany, July 1-3, 2008, Proceedings, pp. 162-174, 2008, Springer, 978-3-540-70586-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Gianpiero Cattaneo, Davide Ciucci |
A Hierarchical Lattice Closure Approach to Abstract Rough Approximation Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, Third International Conference, RSKT 2008, Chengdu, China, May 17-19, 2008. Proceedings, pp. 363-370, 2008, Springer, 978-3-540-79720-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Xiangfu Zhao, Dantong Ouyang |
On-Line Diagnosis of Discrete-Event Systems: A Hierarchical Approach. ![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. 785-790, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Shilong Ma, Yuefei Sui, Ke Xu 0001 |
Well limit behaviors of term rewriting systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Sci. China ![In: Frontiers Comput. Sci. China 1(3), pp. 283-296, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Gröbner bases, well-foundedness, term rewriting systems, limits |
12 | Li Deng 0001, Leo J. Lee, Hagai Attias, Alex Acero |
Adaptive Kalman Filtering and Smoothing for Tracking Vocal Tract Resonances Using a Continuous-Valued Hidden Dynamic Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Speech Audio Process. ![In: IEEE Trans. Speech Audio Process. 15(1), pp. 13-23, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Kurt Konolige, Motilal Agrawal |
Frame-Frame Matching for Realtime Consistent Visual Mapping. ![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. 2803-2810, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Lipyeow Lim, Haixun Wang, Min Wang 0001 |
Semantic Data Management: Towards Querying Data with their Meaning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 23rd International Conference on Data Engineering, ICDE 2007, The Marmara Hotel, Istanbul, Turkey, April 15-20, 2007, pp. 1438-1442, 2007, IEEE Computer Society, 1-4244-0802-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Kenneth A. Ross, Peter J. Stuckey, Amélie Marian |
Practical Preference Relations for Large Data Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE Workshops ![In: Proceedings of the 23rd International Conference on Data Engineering Workshops, ICDE 2007, 15-20 April 2007, Istanbul, Turkey, pp. 229-236, 2007, IEEE Computer Society, 978-1-4244-0831-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Anthony Cowley, Camillo J. Taylor |
Orchestrating concurrency in robot swarms. ![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. 945-950, 2007, IEEE, 978-1-4244-0912-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Yangjun Chen |
Decomposing DAGs into Disjoint Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 18th International Conference, DEXA 2007, Regensburg, Germany, September 3-7, 2007, Proceedings, pp. 243-253, 2007, Springer, 978-3-540-74467-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | John G. P. Barnes |
SP1: introducing the best of ada 2005. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, November 4-8, 2007, pp. 3, 2007, ACM, 978-1-59593-876-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Henrik Björklund, Wim Martens, Thomas Schwentick |
Conjunctive Query Containment over Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBPL ![In: Database Programming Languages, 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers, pp. 66-80, 2007, Springer, 978-3-540-75986-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Claudio Lucchese, Salvatore Orlando 0001, Raffaele Perego 0001 |
Fast and Memory Efficient Mining of Frequent Closed Itemsets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 18(1), pp. 21-36, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
high-performance algorithms, Data mining, association rules, frequent itemsets, condensed representations, closed itemsets |
12 | Rallou Thomopoulos, Patrice Buche, Ollivier Haemmerlé |
Fuzzy Sets Defined on a Hierarchical Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 18(10), pp. 1397-1410, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
fuzzy” and probabilistic reasoning, uncertainty, Fuzzy set, relaxation, knowledge retrieval, object hierarchies |
12 | Philippe Cudré-Mauroux, Karl Aberer, Andras Feher |
Probabilistic Message Passing in Peer Data Management Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 22nd International Conference on Data Engineering, ICDE 2006, 3-8 April 2006, Atlanta, GA, USA, pp. 41, 2006, IEEE Computer Society, 0-7695-2570-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Vineet Kahlon, Aarti Gupta |
An Automata-Theoretic Approach for Model Checking Threads for LTL Propert. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings, pp. 101-110, 2006, IEEE Computer Society, 0-7695-2631-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Zhaozhong Ni, Zhong Shao |
Certified assembly programming with embedded code pointers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006, pp. 320-333, 2006, ACM, 1-59593-027-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
embedded code pointers, hoare logic, proof-carrying code, higher-order functions |
12 | Martin Kutrib, Andreas Malcher |
Context-Dependent Nondeterminism for Pushdown Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings, pp. 133-144, 2006, Springer, 3-540-35428-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Shin-ya Katsumata, Susumu Nishimura |
Algebraic fusion of functions with an accumulating parameter and its improvement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006, pp. 227-238, 2006, ACM, 1-59593-309-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
accumulating parameter, data contexts, higher-order removal, monoids and monoid homomorphisms, partial and infinite data structures, shortcut fusion |
12 | Matthias Blume, Umut A. Acar, Wonseok Chae |
Extensible programming with first-class cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006, pp. 239-250, 2006, ACM, 1-59593-309-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
first-class cases, duality, records, sums |
12 | Mana Taghdiri, Robert Seater, Daniel Jackson 0001 |
Lightweight extraction of syntactic specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2006, Portland, Oregon, USA, November 5-11, 2006, pp. 276-286, 2006, ACM, 1-59593-468-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
modular abstraction, symbolic summary, syntactic specification, symbolic execution |
12 | Huu-Duc Nguyen, Atsushi Ohori |
Compiling ML polymorphism with explicit layout bitmap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy, pp. 237-248, 2006, ACM, 1-59593-388-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
type-directed compilation, garbage collection, memory management, polymorphism |
12 | Laurent Michel, Andrew See, Pascal Van Hentenryck |
Distributed Constraint-Based Local Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2006, 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings, pp. 344-358, 2006, Springer, 3-540-46267-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Julien d'Orso, Tayssir Touili |
Regular Hedge Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP TCS ![In: Fourth IFIP International Conference on Theoretical Computer Science (TCS 2006), IFIP 19th World Computer Congress, TC-1 Foundations of Computer Science, August 23-24, 2006, Santiago, Chile, pp. 213-230, 2006, Springer, 0-387-34633-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Dirk Beyer 0001 |
Relational programming with CrocoPat. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, pp. 807-810, 2006, ACM, 1-59593-375-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
pattern matching, relational algebra, BDD, transitive closure, graph models, software analysis, predicate logic |
12 | Pascal Van Hentenryck, Laurent Michel |
Control Abstractions for Local Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 10(2), pp. 137-157, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
search, heuristic, constraint, control, abstraction, local search, meta-heuristic, incremental, neighborhood |
12 | Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhoták, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble |
Optimising aspectJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, IL, USA, June 12-15, 2005, pp. 117-128, 2005, ACM, 1-59593-056-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
around advice, aspect-oriented programming language, cflow pointcut, optimization, aspectJ |
12 | Sebastian Hunt, Isabella Mastroeni |
The PER Model of Abstract Non-interference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings, pp. 171-185, 2005, Springer, 3-540-28584-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
abstract interpretation, Information flow, language-based security, non-interference |
12 | Dietmar Berwanger, Giacomo Lenzi |
The Variable Hierarchy of the µ-Calculus Is Strict. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2005, 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005, Proceedings, pp. 97-109, 2005, Springer, 3-540-24998-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | N. Edenborough, Riad I. Hammoud, A. Harbach, A. Ingold, Branislav Kisacanin, Phillip Malawey, T. Newman, G. Scharenbroch, S. Skiver, Matthew R. H. Smith, Andrew Wilhelm, Gerald J. Witt, E. Yoder, Harry Zhang |
Driver State Monitor from DELPHI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR (2) ![In: 2005 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2005), 20-26 June 2005, San Diego, CA, USA, pp. 1206-1207, 2005, IEEE Computer Society, 0-7695-2372-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Tomasz Pieciukiewicz, Krzysztof Stencel, Kazimierz Subieta |
Usable Recursive Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADBIS ![In: Advances in Databases and Information Systems, 9th East European Conference, ADBIS 2005, Tallinn, Estonia, September 12-15, 2005, Proceedings, pp. 17-28, 2005, Springer, 3-540-28585-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Matthew Collinson, David J. Pym, Edmund Robinson |
On Bunched Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings, pp. 36-50, 2005, Springer, 3-540-28231-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|