|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3318 occurrences of 2001 keywords
|
|
|
Results
Found 9999 publication records. Showing 9999 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Hing Kai Chan, Felix T. S. Chan |
Early order completion contract approach to minimize the impact of demand uncertainty on supply chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Informatics ![In: IEEE Trans. Ind. Informatics 2(1), pp. 48-58, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Teofilo F. Gonzalez, Joseph Y.-T. Leung, Michael L. Pinedo |
Minimizing total completion time on uniform machines with deadline constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Algorithms ![In: ACM Trans. Algorithms 2(1), pp. 95-115, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Mean flow time, uniform machines, polynomial-time algorithms, deadline constraints |
14 | Nandita Dukkipati, Nick McKeown |
Why flow-completion time is the right metric for congestion control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. Rev. ![In: Comput. Commun. Rev. 36(1), pp. 59-62, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Mark Scharbrodt, Thomas Schickinger, Angelika Steger |
A new average case analysis for completion time scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 53(1), pp. 121-146, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
average case analysis, Scheduling theory |
14 | Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri |
Completion Rules for Uncertainty Reasoning with the Description Logic ALC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSWWS ![In: Canadian Semantic Web, CSWWS 2006, first Canadian Semantic Web Working Symposium, June 2006, Quebec, Canada, pp. 205-225, 2006, Springer, 978-0-387-29815-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Vardhman Jain, P. J. Narayanan |
Video Completion for Indoor Scenes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICVGIP ![In: Computer Vision, Graphics and Image Processing, 5th Indian Conference, ICVGIP 2006, Madurai, India, December 13-16, 2006, Proceedings, pp. 409-420, 2006, Springer, 3-540-68301-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Guoqing Wang, Hongyi Sun, Chengbin Chu |
Preemptive Scheduling with Availability Constraints to Minimize Total Weighted Completion Times. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 133(1-4), pp. 183-192, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Michael Breen |
Combinatorial completion by rule definition with interactive value colouring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(2), pp. 1-6, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Georg Struth |
Knuth-Bendix Completion as a Data Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relational Methods in Computer Science, 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers, pp. 225-236, 2005, Springer, 3-540-33339-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Nicholas J. A. Harvey, David R. Karger, Kazuo Murota |
Deterministic network coding by matrix completion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Sixteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2005, Vancouver, British Columbia, Canada, January 23-25, 2005, pp. 489-498, 2005, SIAM, 0-89871-585-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
14 | Jean-Paul M. Arnaout, Ghaith Rabadi |
Minimizing the total weighted completion time on unrelated parallel machines with stochastic times. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 37th Winter Simulation Conference, Orlando, FL, USA, December 4-7, 2005, pp. 2141-2147, 2005, IEEE Computer Society, 0-7803-9519-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Ernesto Sánchez 0001, Matteo Sonza Reorda, Giovanni Squillero |
Automatic Completion and Refinement of Verification Sets for Microprocessor Cores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EvoWorkshops ![In: Applications of Evolutionary Computing, EvoWorkshops 2005: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC, Lausanne, Switzerland, March 30 - April 1, 2005, Proceedings, pp. 205-214, 2005, Springer, 3-540-25396-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Bin Zhu, H. D. Li |
Image Completion from Low-Level Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DICTA ![In: Proceedings of the International Conference on Digital Image Computing: Techniques and Applications, DICTA 2005, 6-8 December 2005, Cairns, Australia, pp. 37, 2005, IEEE Computer Society, 0-7695-2467-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Andrei Sharf, Marc Alexa, Daniel Cohen-Or |
Context-based surface completion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 23(3), pp. 878-887, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Wojciech Bozejko, Mieczyslaw Wodecki |
Parallel Genetic Algorithm for Minimizing Total Weighted Completion Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAISC ![In: Artificial Intelligence and Soft Computing - ICAISC 2004, 7th International Conference, Zakopane, Poland, June 7-11, 2004, Proceedings, pp. 400-405, 2004, Springer, 3-540-22123-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Paul Curzon, Ann Blandford |
Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings, pp. 461-480, 2004, Springer, 3-540-21377-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
user error, formal verification, Cognitive architecture, design rules |
14 | Alexander Souza, Angelika Steger |
The Expected Competitive Ratio for Weighted Completion Time Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2004, 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, Proceedings, pp. 620-631, 2004, Springer, 3-540-21236-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Gamal Attiya, Yskandar Hamam |
Task Allocation for Minimizing Programs Completion Time in Multicomputer Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (2) ![In: Computational Science and Its Applications - ICCSA 2004, International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part II, pp. 97-106, 2004, Springer, 3-540-22056-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Mark D. Aagaard, Vlad C. Ciubotariu, Jason T. Higgins, Farzad Khalvati |
Combining Equivalence Verification and Completion Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings, pp. 98-112, 2004, Springer, 3-540-23738-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Christelle Scharff, Leo Bachmair |
On the Combination of Congruence Closure and Completion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings, pp. 103-117, 2004, Springer, 3-540-23212-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Toshikazu Samura, Motonobu Hattori |
Memory Modification Induced by Pattern Completion and STDP in Hippocampal CA3 Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONIP ![In: Neural Information Processing, 11th International Conference, ICONIP 2004, Calcutta, India, November 22-25, 2004, Proceedings, pp. 37-43, 2004, Springer, 3-540-23931-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Aleksei V. Fishkin, Klaus Jansen, Monaldo Mastrolilli |
On Minimizing Average Weighted Completion Time: A PTAS for the Job Shop Problem with Release Dates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 14th International Symposium, ISAAC 2003, Kyoto, Japan, December 15-17, 2003, Proceedings, pp. 319-328, 2003, Springer, 3-540-20695-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
scheduling, Approximation, PTAS, job shop |
14 | Chang-Shing Perng, David Thoenen, Genady Grabarnik, Sheng Ma, Joseph L. Hellerstein |
Data-driven validation, completion and construction of event relationship networks. ![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. 729-734, 2003, ACM, 1-58113-737-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
ERN Construction, ERN Validation, action oriented-analysis, event management methodology, event relationship networks, proactive management, root cause analysis |
14 | Nicole Megow, Andreas S. Schulz |
Scheduling to Minimize Average Completion Time Revisited: Deterministic On-Line Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAOA ![In: Approximation and Online Algorithms, First International Workshop, WAOA 2003, Budapest, Hungary, September 16-18, 2003, Revised Papers, pp. 227-234, 2003, Springer, 3-540-21079-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Stanislaw Gawiejnowicz, Wieslaw Kurc, Lidia Pankowska |
Minimizing Time-Dependent Total Completion Time on Parallel Identical Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPAM ![In: Parallel Processing and Applied Mathematics, 5th International Conference, PPAM 2003, Czestochowa, Poland, September 7-10, 2003. Revised Papers, pp. 89-96, 2003, Springer, 3-540-21946-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Iván Dotú, Alvaro del Val, Manuel Cebrián |
Redundant Modeling for the QuasiGroup Completion Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings, pp. 288-302, 2003, Springer, 3-540-20202-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Sungho Ryu, Jin Hyung Kim |
Automatic Completion of Korean Words for Open Vocabulary Pen Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Document Analysis Systems ![In: Document Analysis Systems V, 5th International Workshop, DAS 2002, Princeton, NJ, USA, August 19-21, 2002, Proceedings, pp. 111-114, 2002, Springer, 3-540-44068-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Mao-cheng Cai, Xiaotie Deng, Haodi Feng, Guojun Li, Guizhen Liu |
A PTAS for Minimizing Total Completion Time of Bounded Batch Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCO ![In: Integer Programming and Combinatorial Optimization, 9th International IPCO Conference, Cambridge, MA, USA, May 27-29, 2002, Proceedings, pp. 304-314, 2002, Springer, 3-540-43676-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Edward J. Anderson, Chris N. Potts |
On-line scheduling of a single machine to minimize total weighted completion time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Thirteenth Annual ACM-SIAM Symposium on Discrete Algorithms, January 6-8, 2002, San Francisco, CA, USA., pp. 548-557, 2002, ACM/SIAM, 0-89871-513-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
14 | Nguyen Huong Lam |
Finite Completion of Comma-Free Codes. Part I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 6th International Conference, DLT 2002, Kyoto, Japan, September 18-21, 2002, Revised Papers, pp. 357-368, 2002, Springer, 3-540-40431-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Harri Lampinen, Olli Vainio |
Current-sensing completion detection method for standard cell based digital system design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (5) ![In: Proceedings of the 2002 International Symposium on Circuits and Systems, ISCAS 2002, Scottsdale, Arizona, USA, May 26-29, 2002, pp. 117-120, 2002, IEEE, 0-7803-7448-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Mark Scharbrodt, Thomas Schickinger, Angelika Steger |
A new average case analysis for completion time scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings on 34th Annual ACM Symposium on Theory of Computing, May 19-21, 2002, Montréal, Québec, Canada, pp. 170-178, 2002, ACM, 1-58113-495-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Gerhard J. Woeginger |
On the Approximability of Average Completion Time Scheduling under Precedence Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings, pp. 887-897, 2001, Springer, 3-540-42287-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Robert G. Stockton, Rahul Sukthankar |
JKanji: Wavelet-Based Interactive Kanji Completion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: 15th International Conference on Pattern Recognition, ICPR'00, Barcelona, Spain, September 3-8, 2000., pp. 4442-4446, 2000, IEEE Computer Society, 0-7695-0750-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Stephen H. Muggleton, Christopher H. Bryant |
Theory Completion Using Inverse Entailment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP ![In: Inductive Logic Programming, 10th International Conference, ILP 2000, London, UK, July 24-27, 2000, Proceedings, pp. 130-146, 2000, Springer, 3-540-67795-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Foto N. Afrati, Evripidis Bampis, Aleksei V. Fishkin, Klaus Jansen, Claire Kenyon |
Scheduling to Minimize the Average Completion Time of Dedicated Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 20th Conference, FST TCS 2000 New Delhi, India, December 13-15, 2000, Proceedings., pp. 454-464, 2000, Springer, 3-540-41413-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
14 | David Peleg |
Distributed Matroid Basis Completion via Elimination Upcast and Distributed Correction of Minimum-Weight Spanning Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings, pp. 164-175, 1998, Springer, 3-540-64781-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Serge J. Belongie, Jitendra Malik |
Finding Boundaries in Natural Images: A New Method Using Point Descriptors and Area Completion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV (1) ![In: Computer Vision - ECCV'98, 5th European Conference on Computer Vision, Freiburg, Germany, June 2-6, 1998, Proceedings, Volume I, pp. 751-766, 1998, Springer, 3-540-64569-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Jun Sun 0002, Mark K. Gardner, Jane W.-S. Liu |
Bounding Completion Times of Jobs with Arbitrary Release Times, Variable Execution Times and Resource Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 23(10), pp. 603-615, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Real-time systems, schedulability analysis, resource sharing, precedence constraints |
14 | Deepak Kapur |
Shostak's Congruence Closure as Completion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997, Proceedings, pp. 23-37, 1997, Springer, 3-540-62950-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
14 | Uwe Schwiegelshohn |
Preemptive Weighted Completion Time Scheduling of Parallel Jobs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA '96, Fourth Annual European Symposium, Barcelona, Spain, September 25-27, 1996, Proceedings, pp. 39-51, 1996, Springer, 3-540-61680-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
14 | Thomas Hillenbrand, Arnim Buch, Roland Fettig |
On Gaining Efficiency in Completion-Based Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996, Proceedings, pp. 432-435, 1996, Springer, 3-540-61464-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
14 | Su-Hui Chiang, Rajesh K. Mansharamani, Mary K. Vernon |
Use of Application Characteristics and Limited Preemption for Run-to-Completion Parallel Processor Scheduling Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS ![In: Proceedings of the 1994 ACM SIGMETRICS conference on Measurement and modeling of computer systems, Vanderbilt University, Nashville, Tennessee, USA, May 16-20, 1994, pp. 33-44, 1994, ACM, 0-89791-659-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
14 | Bernhard Beckert |
A Completion-Based Method for Mixed Universal and Rigid E-Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings, pp. 678-692, 1994, Springer, 3-540-58156-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
14 | Christine Hubert |
Design of Fully and Partially Connected Random Neural Networks for Pattern Completion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN ![In: New Trends in Neural Computation, International Workshop on Artificial Neural Networks, IWANN '93, Sitges, Spain, June 9-11, 1993, Proceedings, pp. 137-142, 1993, Springer, 3-540-56798-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Rosa Montalbano |
Local Automata and Completion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 93, 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993, Proceedings, pp. 333-342, 1993, Springer, 3-540-56503-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Rolf Socher-Ambrosius |
A Goal Oriented Strategy Based on Completion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALP ![In: Algebraic and Logic Programming, Third International Conference, Volterra, Italy, September 2-4, 1992, Proceedings, pp. 435-445, 1992, Springer, 3-540-55873-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Hubert Comon |
Completion of Rewrite Systems with Membership Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 19th International Colloquium, ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings, pp. 392-403, 1992, Springer, 3-540-55719-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Claude Marché |
On Ground AC-Completion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991, Proceedings, pp. 411-422, 1991, Springer, 3-540-53904-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
14 | Reinhard Bündgen |
Simulation Buchberger's Algorithm by Knuth-Bendix Completion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991, Proceedings, pp. 386-397, 1991, Springer, 3-540-53904-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
14 | Ronald F. Ayres |
Completely automatic completion of VLSI designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 9(2), pp. 194-202, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
14 | A. C. Norman |
A Critical-Pair/Completion Based Integration Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC '90, Tokyo, Japan, August 20-24, 1990, pp. 201-205, 1990, ACM, 0-201-54892-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
REDUCE |
14 | Harald Ganzinger |
Order-Sorted Completion: The Many-Sorted Way (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.1 ![In: TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP'89), pp. 244-258, 1989, Springer, 3-540-50939-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
14 | Wadoud Bousdira |
A Completion Procedure for Hierarchical Conditional Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALP ![In: Algebraic and Logic Programming, International Workshop, Gaussig, GDR, November 14-18, 1988, Proceedings, pp. 93-107, 1988, Springer, 3-540-50667-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
14 | Paul Jacquet |
Program Synthesis by Completion with Dependent Subtypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings, pp. 550-562, 1988, Springer, 3-540-19343-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Conditional and Order Sorted Rewriting, Program Synthesis |
14 | Isabelle Gnaedig, Claude Kirchner, Hélène Kirchner |
Equational Completion in Order-Sorted Algebras (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '88, 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988, Proceedings, pp. 165-184, 1988, Springer, 3-540-19021-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
14 | Volker Diekert |
On the Knuth-Bendix Completion for Concurrent Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 14th International Colloquium, ICALP87, Karlsruhe, Germany, July 13-17, 1987, Proceedings, pp. 42-53, 1987, Springer, 3-540-18088-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
14 | Leo Bachmair, Nachum Dershowitz |
Completion for Rewriting Modulo a Congruence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 2nd International Conference, RTA-87, Bordeaux, France, May 25-27, 1987, Proceedings, pp. 192-203, 1987, Springer, 3-540-17220-3. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
14 | Chunxia Xiao, Meng Liu, Yongwei Nie, Zhao Dong 0001 |
Fast Exact Nearest Patch Matching for Patch-Based Image Editing and Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 17(8), pp. 1122-1134, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
Nearest patch search, texture synthesis, image denoising, image completion, image summarization |
14 | Stefano Pini, Sangmok Han, David R. Wallace |
Text entry for mobile devices using ad-hoc abbreviation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVI ![In: Proceedings of the International Conference on Advanced Visual Interfaces, AVI 2010, Roma, Italy, May 26-28, 2010, pp. 181-188, 2010, ACM Press, 978-1-4503-0076-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
support vector machine, mobile devices, Hidden Markov model, text input, auto-completion, abbreviation |
14 | Lena Geiger, Michael Popp, Berthold Färber, Jordi Artigas, Philipp Kremer |
Is a telepresence-system an effective alternative to manned missions? ![Search on Bibsonomy](Pics/bibsonomy.png) |
HRI ![In: Proceedings of the 5th ACM/IEEE International Conference on Human Robot Interaction, HRI 2010, Osaka, Japan, March 2-5, 2010, pp. 145-146, 2010, ACM, 978-1-4244-4893-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
on-orbit servicing, simulated extra-vehicular activity, telepresence, completion time |
14 | Clayton W. Commander, Michelle A. Ragle, Yinyu Ye 0001 |
Semidefinite Programming and the Sensor Network Localization Problem, SNLP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 3384-3390, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Sensor network localization problem, Euclidean distance matrix completion problem [2, 3], Graph realization problem |
14 | Connelly Barnes, Eli Shechtman, Adam Finkelstein, Dan B. Goldman |
PatchMatch: a randomized correspondence algorithm for structural image editing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 28(3), pp. 24, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
patch-based synthesis, reshuffling, completion, image editing, retargeting, approximate nearest neighbor |
14 | Huamin Wang, Miao Liao, Qing Zhang 0017, Ruigang Yang, Greg Turk |
Physically guided liquid surface modeling from videos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 28(3), pp. 90, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
image-based reconstruction, physically-based fluid simulation, space-time model completion |
14 | Mohammad Anbar, Deo Prakash Vidyarthi |
GA-Based on Demand Bandwidth Reservation for Real-Time Traffic in Cellular IP Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCM ![In: International Conference on Networked Computing and Advanced Information Management, NCM 2009, Fifth International Joint Conference on INC, IMS and IDC: INC 2009: International Conference on Networked Computing, IMS 2009: International Conference on Advanced Information Management and Service, IDC 2009: International Conference on Digital Content, Multimedia Technology and its Applications, Seoul, Korea, August 25-27, 2009, pp. 1935-1942, 2009, IEEE Computer Society, 978-0-7695-3769-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Cellular IP networks, Connection Completion Probability, Genetic Algorithm, Quality of Service, Bandwidth Reservation |
14 | Zhaosheng Zhang |
Fuzzy Batching Scheduling Problem and its Heuristics. ![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. 208-211, 2009, IEEE Computer Society, 978-0-7695-3735-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Fuzzy processing time, BWSPT rule, Batch scheduling, Completion time |
14 | Matthias Heinrich 0001, Antje Boehm-Peters, Martin Knechtel |
A platform to automatically generate and incorporate documents into an ontology-based content repository. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on Document Engineering ![In: Proceedings of the 2009 ACM Symposium on Document Engineering, Munich, Germany, September 16-18, 2009, pp. 43-46, 2009, ACM, 978-1-60558-575-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
ontology completion, semantic annotation, software documentation, text generation |
14 | James Welch, David Faitelson, Jim Davies |
Automatic maintenance of association invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 7(3), pp. 287-301, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Model, Integrity, Maintenance, Completion, Invariants, Association |
14 | Johannes Kopf 0001, Boris Neubert, Billy Chen, Michael F. Cohen, Daniel Cohen-Or, Oliver Deussen, Matthew Uyttendaele, Dani Lischinski |
Deep photo: model-based photograph enhancement and viewing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 27(5), pp. 116, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
dehazing, image-based rendering, image-based modeling, relighting, photo browsing, image completion |
14 | Daniel G. Aliaga, Alvin J. Law, Yu Hong Yeung |
A virtual restoration stage for real-world objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 27(5), pp. 149, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
radiometric calibration, energy minimization, digitization, restoration, image completion, light transport |
14 | Jeroen Janssen, Stijn Heymans, Dirk Vermeir, Martine De Cock |
Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings, pp. 362-376, 2008, Springer, 978-3-540-89981-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Clark’s completion, fuzzy ASSAT, fuzzy logic, answer set programming |
14 | Eun-Gu Jung, Jeong-Gun Lee, Kyoung-Son Jhang, Jeong-A Lee, Dong-Soo Har |
Asynchronous Layered Interface of Multimedia SoCs for Multiple Outstanding Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 46(2-3), pp. 133-151, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
multiple outstanding transactions, in-order/out-of-order transaction completion, asynchronous on-chip bus, GALS |
14 | Julien Robert, Nicolas Schabanel |
Non-clairvoyant Batch Sets Scheduling: Fairness Is Fair Enough. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA 2007, 15th Annual European Symposium, Eilat, Israel, October 8-10, 2007, Proceedings, pp. 741-753, 2007, Springer, 978-3-540-75519-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Non-clairvoyant algorithm, Equi-partition, Makespan and Overall Set Completion Time minimization, Fairness, Online scheduling, Batch scheduling |
14 | Michael J. Muller |
Comparing tagging vocabularies among four enterprise tag-based services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GROUP ![In: Proceedings of the 2007 International ACM SIGGROUP Conference on Supporting Group Work, GROUP 2007, Sanibel Island, Florida, USA, November 4-7, 2007, pp. 341-350, 2007, ACM, 978-1-59593-845-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
tagging, social software, corpus, tag-suggestion, auto-completion |
14 | Jarno Ralli, Francisco J. Pelayo, Javier Díaz 0001 |
Increasing Efficiency in Disparity Calculation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BVAI ![In: Advances in Brain, Vision, and Artificial Intelligence, Second International Symposium, BVAI 2007, Naples, Italy, October 10-12, 2007, Proceedings, pp. 298-307, 2007, Springer, 978-3-540-75554-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Dense disparity map, visual completion, interpolation, computation efficiency |
14 | Huang Ting, Shifeng Chen, Jianzhuang Liu, Xiaoou Tang |
Image inpainting by global structure and texture propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 15th International Conference on Multimedia 2007, Augsburg, Germany, September 24-29, 2007, pp. 517-520, 2007, ACM, 978-1-59593-702-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
markov random fields, belief propagation, inpainting, image completion |
14 | Maryam Kamvar, Shumeet Baluja |
The role of context in query input: using contextual signals to complete queries on mobile devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile HCI ![In: Proceedings of the 9th Conference on Human-Computer Interaction with Mobile Devices and Services, Mobile HCI 2007, Singapore, September 9-12, 2007, pp. 405-412, 2007, ACM, 978-1-59593-862-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
query prediction, context, web search, query, mobile search, word completion |
14 | Maria Emilia Maietti |
Quotients over Minimal Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings, pp. 517-531, 2007, Springer, 978-3-540-73000-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Dependent type theory, quotient completion, intuitionistic logic |
14 | Bernhard Banaschewski, Ales Pultr |
A General View of Approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 14(2), pp. 165-190, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
(Scott) information systems, nearness and uniform frames, Approximation, completion |
14 | Leo J. Grady |
Random Walks for Image Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 28(11), pp. 1768-1783, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
combinatorial Dirichlet problem, boundary completion, Image segmentation, graph theory, random walks, graph cuts, Laplace equation, harmonic functions, interactive segmentation |
14 | Washington Mio, Anuj Srivastava, Xiuwen Liu |
Contour Inferences for Image Understanding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 69(1), pp. 137-144, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
elastica, shape completion, partial occlusions, curve interpolation |
14 | Andrey Nechypurenko, Egon Wuchner, Jules White, Douglas C. Schmidt |
Applying Model Intelligence Frameworks for Deployment Problem in Real-Time and Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Workshops) ![In: Models in Software Engineering, Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers, pp. 143-151, 2006, Springer, 978-3-540-69488-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
model completion, modeling, model checking, Prolog, automotive, constraint solver |
14 | Rong-Chi Chang, Louis H. Lin, Chia-Ton Tian, Timothy K. Shih |
Video inpainting and restoration techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 13th ACM International Conference on Multimedia, Singapore, November 6-11, 2005, pp. 804-805, 2005, ACM, 1-59593-044-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
motion estimation, software tool, defect detection, inpainting, image completion, video inpainting, object removal |
14 | Timothy K. Shih, Rong-Chi Chang, Yu-Ping Chen |
Motion picture inpainting on aged films. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 13th ACM International Conference on Multimedia, Singapore, November 6-11, 2005, pp. 319-322, 2005, ACM, 1-59593-044-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
motion estimation, software tool, defect detection, inpainting, image completion, video inpainting |
14 | Stuart Garner |
The use of a code restructuring tool in the learning of programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2004, Leeds, UK, June 28-30, 2004, pp. 277, 2004, ACM, 1-58113-836-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
completion method, learning, programming |
14 | Worthen Hunsaker, Jorge Picado |
Frames with Transitive Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 10(1), pp. 63-79, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
zero-dimensional frames resp. biframes, (quasi-)uniform frames, transitive (quasi-)uniform frames, totally bounded coreflection, universal zero-dimensional compactification, completion |
14 | Philippe Langlais, Guy Lapalme |
Trans Type: Development-Evaluation Cycles to Boost Translator's Productivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Transl. ![In: Mach. Transl. 17(2), pp. 77-98, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
machine-assisted human translation, interactive machine translation, target-text mediation, statistical language models, word completion, statistical translation models |
14 | Dorin Bogdan Petriu, C. Murray Woodside |
Analysing software requirements specifications for performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Software and Performance ![In: Third International Workshop on Software and Performance, WOSP@ISSTA 2002, July 24-26, 2002, Rome, Italy., pp. 1-9, 2002, ACM, 1-58113-563-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
performance, specifications, completion, nonfunctional requirements, use case maps |
14 | R. Rother |
Realizations of Topological Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 9(5), pp. 497-504, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
initial completion, concrete universal category, topologically universal category, universal complete lattice |
14 | Jirí Adámek, Lurdes Sousa |
Constructions of Solid Hulls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 9(1), pp. 1-13, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
concrete category, MacNeille completion, solid hull, limit closure |
14 | Pao-Ann Hsiung |
POSE: a parallel object-oriented synthesis environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 6(1), pp. 67-92, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
design-completion check, synthesis rollback, object-oriented technology, hardware synthesis, parallel design |
14 | Sudipto Guha |
Nested Graph Dissection and Approximation Algorithms. ![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. 126-135, 2000, IEEE Computer Society, 0-7695-0850-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
nested graph dissection, nested dissection paradigm, chordal completion size, polynomial term, vertex ranking, approximation algorithms, computational geometry, graph theory, polynomials, upper bound, approximation theory, planar embedding |
14 | Jan A. Bergstra, T. B. Dinesh, John Field, Jan Heering |
Toward a Complete Transformational Toolkit for Compilers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 19(5), pp. 639-684, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
compiler intermediate representation, program transformation, completion, partial evaluation, term-rewriting, imperative language |
14 | Yiqun Ge, David Y. Y. Yun |
Simultaneous Compression of Makespan and Number of Processors Using CRP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '96, The 10th International Parallel Processing Symposium, April 15-19, 1996, Honolulu, Hawaii, USA, pp. 332-338, 1996, IEEE Computer Society, 0-8186-7255-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
2D Compression, Constrained Resource Planning, Dependency, Resource Management, Granularity, Multiprocessor Scheduling, Completion Time, Inherent Parallelism, Parallel Programming Tool |
14 | Guy Even, Joseph Naor, Satish Rao, Baruch Schieber |
Divide-and-Conquer Approximation Algorithms via Spreading Metrics (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 36th Annual Symposium on Foundations of Computer Science, Milwaukee, Wisconsin, USA, 23-25 October 1995, pp. 62-71, 1995, IEEE Computer Society, 0-8186-7183-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
divide-and-conquer approximation algorithms, spreading metrics, NP-hard graph optimization problems, graph optimization problems, fractional spreading metric, fractional lengths, optimisation problem, spreading metric, interval graph completion, storage-time product, computational complexity, optimisation, directed graphs, directed graphs, polynomial time, vertices, divide and conquer methods, multicuts, polynomial time approximation algorithm |
14 | Tein-Hsiang Lin, Kang G. Shin |
An Optimal Retry Policy Based on Fault Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 43(9), pp. 1014-1025, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
optimal retry policy, fault characteristics, mission lifetime, system status, Bayesian decision problem, prior distributions, fault-related parameter updating, temporal fault type, fault parameter estimation, optimal retry period, mean task completion time minimization, fault tolerant computing, parameter estimation, fault detection, error detection, decision theory, system recovery, Bayes methods, minimisation, error recovery, transient faults, failure analysis, intermittent faults, permanent faults, fault classification |
14 | Olof Henricsson, Friedrich Heitger |
The Role of Key-Points in Finding Contours. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV (2) ![In: Computer Vision - ECCV'94, Third European Conference on Computer Vision, Stockholm, Sweden, May 2-6, 1994, Proceedings, Volume II, pp. 371-382, 1994, Springer, 3-540-57957-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
key-point detection, edge linking, contour completion, edge detection |
14 | Jean H. Gallier, Paliath Narendran, David A. Plaisted, Stan Raatz, Wayne Snyder |
An Algorithm for Finding Canonical Sets of Ground Rewrite Rules in Polynomial Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 40(1), pp. 1-16, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
completion procedures, congruence closure, term rewriting, equational logic |
14 | Chi-lok Chan, Gilbert H. Young |
Scheduling Algorithms for a Chain-like Task System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 4th International Symposium, ISAAC '93, Hong Kong, December 15-17, 1993, Proceedings, pp. 496-505, 1993, Springer, 3-540-57568-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
bottleneck processor, chain-like task system, contiguity constraint, feasible length- schedule, layered graph, merged module, schedule length, un-mergeable modules, optimal schedule, completion time |
14 | Ramesh Krishnamurti |
An Approximation Algorithm for Scheduling Tasks on Varying Partition Sizes in Partitionable Multiprocessor Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 41(12), pp. 1572-1579, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
parameter dependent bound, asymptotically tight bound, partition sizes, partitionable multiprocessor systems, multiple partitions, minimum completion time schedule, worst-case performance bound, scheduling, parallel algorithms, computational complexity, approximation algorithm, parallelization, controller, multiprocessing systems, NP-hard, task scheduling, polynomial time algorithm, processors, multiprocessing programs |
Displaying result #401 - #500 of 9999 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|