dblp.uni-trier.dewww.uni-trier.de

Richard E. Korf Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
78EEP. Alex Dow, Richard E. Korf: Duplicate Avoidance in Depth-First Search with Applications to Treewidth. IJCAI 2009: 480-485
77EEEric Huang, Richard E. Korf: New Improvements in Optimal Rectangle Packing. IJCAI 2009: 511-516
76EERichard E. Korf: Multi-Way Number Partitioning. IJCAI 2009: 538-543
2008
75 Richard E. Korf: Minimizing Disk I/O in Two-Bit Breadth-First Search. AAAI 2008: 317-324
74EERichard E. Korf: Linear-time disk-based implicit graph search. J. ACM 55(6): (2008)
2007
73 P. Alex Dow, Richard E. Korf: Best-First Search for Treewidth. AAAI 2007: 1146-1151
72 Richard E. Korf: Analyzing the Performance of Pattern Database Heuristics. AAAI 2007: 1164-1170
71EERichard E. Korf, Ariel Felner: Recent Progress in Heuristic Search: A Case Study of the Four-Peg Towers of Hanoi Problem. IJCAI 2007: 2324-2329
70EEAlex S. Fukunaga, Richard E. Korf: Bin Completion Algorithms for Multicontainer Packing, Knapsack, and Covering Problems. J. Artif. Intell. Res. (JAIR) 28: 393-429 (2007)
69EEAriel Felner, Richard E. Korf, Ram Meshulam, Robert C. Holte: Compressed Pattern Databases. J. Artif. Intell. Res. (JAIR) 30: 213-247 (2007)
2005
68 Richard E. Korf, Peter Schultze: Large-Scale Parallel Breadth-First Search. AAAI 2005: 1380-1385
67EEAlex S. Fukunaga, Richard E. Korf: Bin-Completion Algorithms for Multicontainer Packing and Covering Problems. IJCAI 2005: 117-124
66EERichard E. Korf, Weixiong Zhang, Ignacio Thayer, Heath Hohwald: Frontier search. J. ACM 52(5): 715-748 (2005)
2004
65 Ariel Felner, Ram Meshulam, Robert C. Holte, Richard E. Korf: Compressing Pattern Databases. AAAI 2004: 638-643
64 Richard E. Korf: Best-First Frontier Search with Delayed Duplicate Detection. AAAI 2004: 650-657
63 Richard E. Korf: Optimal Rectangle Packing: New Results. ICAPS 2004: 142-149
62EEAriel Felner, Richard E. Korf, Sarit Hanan: Additive Pattern Database Heuristics. J. Artif. Intell. Res. (JAIR) 22: 279-318 (2004)
2003
61 Richard E. Korf: Optimal Rectangle Packing: Initial Results. ICAPS 2003: 287-295
60 Heath Hohwald, Ignacio Thayer, Richard E. Korf: Comparing Best-First Search and Dynamic Programming for Optimal Multiple Sequence Alignment. IJCAI 2003: 1239-1245
59 Richard E. Korf: An Improved Algorithm for Optimal Bin Packing. IJCAI 2003: 1252-1258
58 Richard E. Korf: Delayed Duplicate Detection: Extended Abstract. IJCAI 2003: 1539-1541
57 Ariel Felner, Sarit Kraus, Richard E. Korf: KBFS: K-Best-First Search. Ann. Math. Artif. Intell. 39(1-2): 19-39 (2003)
2002
56 Richard E. Korf: A New Algorithm for Optimal Bin Packing. AAAI/IAAI 2002: 731-726
55EERichard E. Korf, Ariel Felner: Disjoint pattern database heuristics. Artif. Intell. 134(1-2): 9-22 (2002)
2001
54EEWeixiong Zhang, Rina Dechter, Richard E. Korf: Heuristic search in artificial intelligence. Artif. Intell. 129(1-2): 1-4 (2001)
53EERichard E. Korf, Michael Reid, Stefan Edelkamp: Time complexity of iterative-deepening-A*. Artif. Intell. 129(1-2): 199-218 (2001)
2000
52 Richard E. Korf: Recent Progress in the Design and Analysis of Admissible Heuristic Functions. AAAI/IAAI 2000: 1165-1170
51 Nathan R. Sturtevant, Richard E. Korf: On Pruning Techniques for Multi-Player Games. AAAI/IAAI 2000: 201-207
50 Richard E. Korf, Weixiong Zhang: Divide-and-Conquer Frontier Search Applied to Optimal Sequence Alignment. AAAI/IAAI 2000: 910-916
49EERichard E. Korf: Recent Progress in the Design and Analysis of Admissible Heuristic Functions. SARA 2000: 45-55
1999
48 Richard E. Korf: A Divide and Conquer Bidirectional Search: First Results. IJCAI 1999: 1184-1191
1998
47 Stefan Edelkamp, Richard E. Korf: The Branching Factor of Regular Search Spaces. AAAI/IAAI 1998: 299-304
46 Richard E. Korf, Michael Reid: Complexity Analysis of Admissible Heuristic Search. AAAI/IAAI 1998: 305-310
45EERichard E. Korf: A Complete Anytime Algorithm for Number Partitioning. Artif. Intell. 106(2): 181-203 (1998)
1997
44 Richard E. Korf: Finding Optimal Solutions to Rubik's Cube Using Pattern Databases. AAAI/IAAI 1997: 700-705
43 Richard E. Korf: Does Deep Blue use AI? Deep Blue Versus Kasparov: The Significance for Artificial Intelligence 1997: 1-2
1996
42 Richard E. Korf: Improved Limited Discrepancy Search. AAAI/IAAI, Vol. 1 1996: 286-291
41 Richard E. Korf, Larry A. Taylor: Finding Optimal Solutions to the Twenty-Four Puzzle. AAAI/IAAI, Vol. 2 1996: 1202-1207
40EEWeixiong Zhang, Richard E. Korf: A Study of Complexity Transitions on the Asymmetric Traveling Salesman Problem. Artif. Intell. 81(1-2): 223-239 (1996)
39EERichard E. Korf, David Maxwell Chickering: Best-First Minimax Search. Artif. Intell. 84(1-2): 299-337 (1996)
1995
38 Richard E. Korf: From Approximate to Optimal Solutions: A Case Study of Number Partitioning. IJCAI 1995: 266-272
37 Richard E. Korf: Space-Efficient Search Algorithms. ACM Comput. Surv. 27(3): 337-339 (1995)
36EEWeixiong Zhang, Richard E. Korf: Performance of Linear-Space Search Algorithms. Artif. Intell. 79(2): 241-292 (1995)
35EEToru Ishida, Richard E. Korf: Moving-Target Search: A Real-Time Search for Changing Goals. IEEE Trans. Pattern Anal. Mach. Intell. 17(6): 609-619 (1995)
1994
34 Richard E. Korf, David Maxwell Chickering: Best-First Minimax Search: Othello Results. AAAI 1994: 1365-1370
33 Joseph C. Pemberton, Richard E. Korf: Incremental Search Algorithms for Real-time Decision Making. AIPS 1994: 140-145
32 Weixiong Zhang, Richard E. Korf: Parallel Heap Operations on an EREW PRAM. J. Parallel Distrib. Comput. 20(2): 248-255 (1994)
1993
31 Larry A. Taylor, Richard E. Korf: Pruning Duplicate Nodes in Depth-First Search. AAAI 1993: 756-761
30 Weixiong Zhang, Richard E. Korf: Depth-First vs. Best-First Search: New Results. AAAI 1993: 769-775
29 Curt Powley, Chris Ferguson, Richard E. Korf: Depth-First Heuristic Search on a SIMD Machine. Artif. Intell. 60(2): 199-242 (1993)
28 Richard E. Korf: Linear-Space Best-First Search. Artif. Intell. 62(1): 41-78 (1993)
27EEBenjamin W. Wah, Thomas S. Huang, Aravind K. Joshi, Dan I. Moldovan, Yiannis Aloimonos, Ruzena Bajcsy, Dana H. Ballard, Doug DeGroot, Kenneth DeJong, Charles R. Dyer, Scott E. Fahlman, Ralph Grishman, Lynette Hirschman, Richard E. Korf, Stephen E. Levinson, Daniel P. Miranker, N. H. Morgan, Sergei Nirenburg, Tomaso Poggio, Edward M. Riseman, Craig Stanfil, Salvatore J. Stolfo, Steven L. Tanimoto, Charles C. Weems: Report on Workshop on High Performance Computing and Communications for Grand Challenge Applications: Computer Vision, Speech and Natural Language Processing, and Artificial Intelligence. IEEE Trans. Knowl. Data Eng. 5(1): 138-154 (1993)
1992
26 Richard E. Korf: Linear-Space Best-First Search: Summary of Results. AAAI 1992: 533-538
25 Weixiong Zhang, Richard E. Korf: An Average-Case Analysis of Branch-and-Bound with Applications: Summary of Results. AAAI 1992: 545-550
24 Weixiong Zhang, Richard E. Korf: Parallel Heap Operations on EREW PRAM: Summary of Results. IPPS 1992: 315-318
1991
23 Nageshwara Rao Vempaty, Vipin Kumar, Richard E. Korf: Depth-First Versus Best-First Search. AAAI 1991: 434-440
22 Toru Ishida, Richard E. Korf: Moving Target Search. IJCAI 1991: 204-211
21EECurt Powley, Chris Ferguson, Richard E. Korf: Parallel tree search on a SIMD machine. SPDP 1991: 249-256
20 Richard E. Korf: Multi-Player Alpha-Beta Pruning. Artif. Intell. 48(1): 99-111 (1991)
19EECurt Powley, Richard E. Korf: Single-Agent Parallel Window Search. IEEE Trans. Pattern Anal. Mach. Intell. 13(5): 466-477 (1991)
18EERichard E. Korf: Artificial Intelligence as information science. Inf. Sci. 57-58: 131-134 (1991)
1990
17 Richard E. Korf: Real-Time Heuristic Search. Artif. Intell. 42(2-3): 189-211 (1990)
16 Richard E. Korf: Depth-Limited Search for Real-Time Problem Solving. Real-Time Systems 2(1-2): 7-24 (1990)
1989
15 Richard E. Korf: Generalized Game Trees. IJCAI 1989: 328-333
14 Curt Powley, Richard E. Korf: Single-Agent Parallel Window Search: A Summary of Results. IJCAI 1989: 36-41
1988
13 Chris Ferguson, Richard E. Korf: Distributed Tree Search and Its Application to Alpha-Beta Pruning. AAAI 1988: 128-132
12 Richard E. Korf: Real-Tme Heuristic Search: New Results. AAAI 1988: 139-144
1987
11 Richard E. Korf: Real-Time Heuristic Search: First Results. AAAI 1987: 133-138
10 Bruce Abramson, Richard E. Korf: A Model of Two-Player Evaluation Functions. AAAI 1987: 90-94
9 Richard E. Korf: Planning as Search: A Quantitative Approach. Artif. Intell. 33(1): 65-88 (1987)
1986
8 Jens Christensen, Richard E. Korf: A Unified Theory of Heuristic Evaluation Functions and its Application to Learning. AAAI 1986: 148-152
1985
7 Richard E. Korf: Iterative-Deepening-A*: An Optimal Admissible Tree Search. IJCAI 1985: 1034-1036
6 Richard E. Korf: Macro-Operators: A Weak Method for Learning. Artif. Intell. 26(1): 35-77 (1985)
5 Richard E. Korf: Depth-First Iterative-Deepening: An Optimal Admissible Tree Search. Artif. Intell. 27(1): 97-109 (1985)
1983
4 Richard E. Korf: Operator Decomposability: A New Type of Problem Structure. AAAI 1983: 206-209
1982
3 Richard E. Korf: A Program That Learns to Solve Rubik's Cube. AAAI 1982: 164-167
1981
2 Richard E. Korf: Inversion of Applicative Programs. IJCAI 1981: 1007-1009
1980
1 Richard E. Korf: Toward a Model of Representation Changes. Artif. Intell. 14(1): 41-78 (1980)

Coauthor Index

1Bruce Abramson [10]
2Yiannis Aloimonos [27]
3Ruzena Bajcsy [27]
4Dana H. Ballard [27]
5David Maxwell Chickering (Max Chickering) [34] [39]
6Jens Christensen [8]
7Doug DeGroot [27]
8Kenneth DeJong [27]
9Rina Dechter [54]
10P. Alex Dow [73] [78]
11Charles R. Dyer [27]
12Stefan Edelkamp [47] [53]
13Scott E. Fahlman [27]
14Ariel Felner [55] [57] [62] [65] [69] [71]
15Chris Ferguson [13] [21] [29]
16Alex S. Fukunaga (Alex Fukunaga) [67] [70]
17Ralph Grishman [27]
18Sarit Hanan [62]
19Lynette Hirschman [27]
20Heath Hohwald [60] [66]
21Robert C. Holte (Robert Holte) [65] [69]
22Eric Huang [77]
23Thomas S. Huang [27]
24Toru Ishida [22] [35]
25Aravind K. Joshi [27]
26Sarit Kraus [57]
27Vipin Kumar [23]
28Stephen E. Levinson [27]
29Ram Meshulam [65] [69]
30Daniel P. Miranker (Dan Miranker) [27]
31Dan I. Moldovan [27]
32N. H. Morgan [27]
33Sergei Nirenburg [27]
34Joseph C. Pemberton [33]
35Tomaso Poggio [27]
36Curt Powley [14] [19] [21] [29]
37Michael Reid [46] [53]
38Edward M. Riseman [27]
39Peter Schultze [68]
40Craig Stanfil [27]
41Salvatore J. Stolfo [27]
42Nathan R. Sturtevant [51]
43Steven L. Tanimoto [27]
44Larry A. Taylor [31] [41]
45Ignacio Thayer [60] [66]
46Nageshwara Rao Vempaty [23]
47Benjamin W. Wah [27]
48Charles C. Weems [27]
49Weixiong Zhang [24] [25] [30] [32] [36] [40] [50] [54] [66]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)