Follow

Submissions from 1996

Using anytime algorithms in intelligent systems, S Zilberstein

Submissions from 1995

SUPERLINEAR LOWER BOUNDS FOR BOUNDED-WIDTH BRANCHING PROGRAMS, DAM Barrington and H STRAUBING

LEARNING TO ACT USING REAL-TIME DYNAMIC-PROGRAMMING, AG BARTO, SJ BRADTKE, and SP SINGH

PDF

Adaptive Critics and the Basal Ganglia, Andrew G. Barto

THE TURING-AWARD WINNERS CONTRIBUTIONS TO COMPUTER-SCIENCE - FEIGENBAUM,EDWARD,A. AND REDDY,RAJ, BG BUCHANAN and V Lesser

PDF

Coordination Assistance for Mixed Human and Computational Agent Systems, Keith S. Decker and Victor R. Lesser

MEMORY SYSTEM PERFORMANCE OF PROGRAMS WITH INTENSIVE HEAP ALLOCATION, A DIWAN, D TARDITI, and E MOSS

REACHABILITY AND THE POWER OF LOCAL ORDERING, K ETESSAMI and N Immerman

DISTRIBUTED CONTROL REPRESENTATION FOR MANIPULATION TASKS, RA Grupen, M HUBER, JA COELHO, and K SOUCCAR

ENPASSANT - AN ENVIRONMENT FOR EVALUATION MASSIVELY-PARALLEL ARRAY ARCHITECTURES FOR SPATIALLY MAPPED APPLICATIONS, MC HERBORDT and CC Weems

PDF

Lightweight write detection and checkpointing for fine-grained persistence, Antony L. Hosking and J. Eliot B. Moss

On-call processing delay in high speed networks, RH Hwang, JF Kurose, and D Towsley

THE COMPLEXITY OF ITERATED MULTIPLICATION, N Immerman and S LANDAU

A WORD OF THANKS TO OUR REFEREES, J Kurose

INDUCTIVE TEXT CLASSIFICATION FOR MEDICAL APPLICATIONS, W Lehnert, S SODERLAND, D ARONOW, FF FENG, and A SHMUELI

Multiagent systems: An emerging subdiscipline of AI, VR Lesser

IPUS - AN ARCHITECTURE FOR THE INTEGRATED PROCESSING AND UNDERSTANDING OF SIGNALS, VR LESSER, SH NAWAB, and FI KLASSNER

PDF

Adaptive Tracking and Model Registration Across Distinct Aspects, S. Ravela

SELECTIVE TEXT UTILIZATION AND TEXT TRAVERSAL, G SALTON and J Allan

PDF

CRYSTAL: Inducing a Conceptual Dictionary, Stephen Soderland

PDF

Large Deviations and the Generalized Processor Sharing Scheduling: Upper and Lower Bounds Part I: Two-Queue Systems, Zhi-Li Zhang

STATISTICAL-ANALYSIS OF THE GENERALIZED PROCESSOR SHARING SCHEDULING DISCIPLINE, ZL ZHANG, D TOWSLEY, and J Kurose

OPERATIONAL RATIONALITY THROUGH COMPILATION OF ANYTIME ALGORITHMS, S Zilberstein

PDF

APPROXIMATE REASONING USING ANYTIME ALGORITHMS, Shlomo Zilberstein

Submissions from 1994

AUTOMATED DERIVATION OF TIME-BOUNDS IN UNIPROCESSOR CONCURRENT SYSTEMS, GS AVRUNIN, JC CORBETT, LK DILLON, and JC Wileden

PDF

Domain-Specific Knowledge Acquisition for Conceptual Sentence Analysis, Claire Cardie

EVOLUTION OF BLACKBOARD CONTROL ARCHITECTURES, N CARVER and V Lesser

HIGH-RATE DRIFT CHAMBERS, DC CHRISTIAN, MC BERISSO, G GUTIERREZ, SD HOLMES, A WEHMANN, C AVILEZ, J FELIX, G MORENO, M ROMERO, M SOSA, M FORBUSH, FR HUSON, JA WIGHTMAN, A GARA, BC KNAPP, W SIPPACH, EP HARTOUNI, DA JENSEN, MN KREISLER, S LEE, K MARKIANOS, and D WESSON

PDF

ISR3: Communication and Data Storage for an Unmanned Ground Vehicle*, Bruce A. Draper, Gökhan Kutlu, Edward M. Riseman, and Allen R. Hanson

SOME RESULTS ON UNIFORM ARITHMETIC CIRCUIT COMPLEXITY, GS FRANDSEN, M VALENCE, and DAM Barrington

A SURVEY OF RESEARCH IN DELIBERATIVE REAL-TIME ARTIFICIAL-INTELLIGENCE, A GARVEY and V Lesser

New results on the analysis of concurrent systems with an indefinite number of processes, M Girkar and R Moll

INTEGRATED CONTROL FOR INTERPRETING AND MANIPULATING THE ROBOT ENVIRONMENT, RA Grupen and RS WEISS

PRECISE MEASUREMENT OF THE LAMBDA-0 AND LAMBDA-OVER-BAR(0) MASSES AND A TEST OF CPT INVARIANCE, EP HARTOUNI, DA JENSEN, MN KREISLER, J URIBE, MD CHURCH, EE GOTTSCHALK, BC KNAPP, BJ STERN, LR WIENCKE, DC CHRISTIAN, G GUTIERREZ, A WEHMANN, C AVILEZ, M FORBUSH, FR HUSON, and JT WHITE

PRACTICAL ALGORITHMS FOR ONLINE ROUTING ON FIXED AND RECONFIGURABLE MESHES, MC HERBORDT, JC CORBETT, and CC Weems

2-D CONTACT DETECTION AND LOCALIZATION USING PROPRIOCEPTIVE INFORMATION, M HUBER and RA Grupen

ASSOCIATIVE PROCESSING AND PROCESSORS, A KRIKELIS and CC Weems

PDF

Connectivity and Performance Tradeoffs in the Cascade Correlation Learning Architecture, D. S. Phatak and I. Koren

INFORMATION EXTRACTION AS A BASIS FOR HIGH-PRECISION TEXT CLASSIFICATION, E RILOFF and W Lehnert

Link

Experience With an Approach to Comparing Software-Design Methodologies, XP SONG and LJ OSTERWEIL

PION-PION CORRELATIONS AT LOW RELATIVE MOMENTUM PRODUCED IN P-P COLLISIONS AT 27.5 GEV/C, J URIBE, EP HARTOUNI, DA JENSEN, MN KREISLER, MD CHURCH, EE GOTTSCHALK, BC KNAPP, W SIPPACH, BJ STERN, LR WIENCKE, DC CHRISTIAN, G GUTIERREZ, SD HOLMES, A WEHMANN, C AVILEZ, M FORBUSH, FR HUSON, and JT WHITE

Submissions from 1993

DISTRIBUTED REPRESENTATION OF LIMB MOTOR PROGRAMS IN ARRAYS OF ADJUSTABLE PATTERN GENERATORS, NE BERTHIER, SP SINGH, AG BARTO, and JC HOUK

A PLANNER FOR THE CONTROL OF PROBLEM-SOLVING SYSTEMS, N CARVER and V Lesser

THE APPLICATIONS OF HARMONIC-FUNCTIONS TO ROBOTICS, CI CONNOLLY and RA Grupen

DESIGN-TO-TIME REAL-TIME SCHEDULING, AJ GARVEY and VR LESSER

DISTRIBUTED MOTOR COMMANDS IN THE LIMB PREMOTOR NETWORK, JC HOUK, J KEIFER, and AG BARTO

Submissions from 1992

Semantics-Based Concurrency Control: Beyond Commutativity, B. R, Badrinath and Krithi Ramamritham

REGULAR LANGUAGES IN NC, DAM Barrington, K COMPTON, H STRAUBING, and D THERIEN

COMPLEX POLYNOMIALS AND CIRCUIT LOWER BOUNDS FOR MODULAR COUNTING, DAM Barrington and H STRAUBING

AN OPTIMAL LOWER BOUND ON THE NUMBER OF VARIABLES FOR GRAPH IDENTIFICATION, JY CAI, M FURER, and N Immerman

COMPILER SUPPORT FOR GARBAGE COLLECTION IN A STATICALLY TYPED LANGUAGE, A DIWAN, E MOSS, and R HUDSON

PERFORMANCE BOUND FOR BOTTOM-LEFT GUILLOTINE PACKING OF RECTANGLES, M GIRKAR, B MACLEOD, and R Moll

HIGH-SPEED SIMULTANEOUS MEASUREMENT OF PULSE AREA AND TIME-OF-FLIGHT FOR PHOTOMULTIPLIER SIGNALS, EP HARTOUNI, DA JENSEN, B KLIMA, MN KREISLER, S LEE, K MARKIANOS, M NORDBERG, MSZ RABIN, J URIBE, D WESSON, M CHURCH, A GARA, E GOTTSCHALK, R HYLTON, BC KNAPP, W SIPPACH, B STERN, L WIENCKE, D CHRISTIAN, MCB ETCHEGOYEN, G GUTIERREZ, S HOLMES, J STRAIT, A WEHMANN, C AVILEZ, W CORREA, J FELIX, H FLORES, G MORENO, M ROMERO, M SOSA, M FORBUSH, FR HUSON, JT WHITE, and JA WIGHTMAN

IN DEFENSE OF ARTIFICIAL-INTELLIGENCE, WG LEHNERT

A PROPOSED TESTING AND ANALYSIS RESEARCH INITIATIVE, L OSTERWEIL and LA CLARKE

IMAGE UNDERSTANDING ARCHITECTURE - EXPLOITING POTENTIAL PARALLELISM IN MACHINE VISION, CC Weems, EM RISEMAN, and AR HANSON

Submissions from 1991

A NOTE ON SOME LANGUAGES IN UNIFORM ACC0, DAM Barrington and J CORBETT

ORACLE BRANCHING PROGRAMS AND LOGSPACE VERSUS P, DAM Barrington and P MCKENZIE

LEARNING AND INCREMENTAL DYNAMIC-PROGRAMMING, AG BARTO

LINEAR-SYSTEMS ANALYSIS OF THE RELATIONSHIP BETWEEN FIRING OF DEEP CEREBELLAR NEURONS AND THE CLASSICALLY-CONDITIONED NICTITATING-MEMBRANE RESPONSE IN RABBITS, NE BERTHIER, AG BARTO, and JW MOORE

A PROOF LATTICE-BASED TECHNIQUE FOR ANALYZING LIVENESS OF RESOURCE CONTROLLERS, U BUY and R Moll

MULTISTAGE NEGOTIATION FOR DISTRIBUTED CONSTRAINT SATISFACTION, SE CONRY, K KUWABARA, VR LESSER, and RA MEYER

PARTIAL GLOBAL PLANNING - A COORDINATION FRAMEWORK FOR DISTRIBUTED HYPOTHESIS FORMATION, EH DURFEE and VR LESSER

PDF

A Language-Independent Garbage Collector Toolkit, Richard L. Hudson

KNOWLEDGE-BASED CONFLICT-RESOLUTION FOR COOPERATION AMONG EXPERT AGENTS, SE LANDER, VR LESSER, and ME CONNELL

A PERFORMANCE EVALUATION OF TEXT-ANALYSIS TECHNOLOGIES, W Lehnert and B SUNDHEIM

A RETROSPECTIVE VIEW OF FA/C DISTRIBUTED PROBLEM-SOLVING, VR LESSER

THE RESULTS OF THE EDAP MULTICENTER TRIAL OF BILIARY LITHOTRIPSY IN THE UNITED-STATES, CK MCSHERRY, A MOSS, R BARRON, T MAYNARD, M BOUZOUKI, H MEKHJIAN, R FIDDIANGREEN, A DAVIDOFF, H FROMM, M ALBERT, P HASKIN, D Jensen, D DEZIEL, J COOPER, E MACK, M SPERLING, E FRAIBERG, H KERR, S CRANE, V MOSHAL, and J MACHO

CABARET - RULE INTERPRETATION IN A HYBRID ARCHITECTURE, EL Rissland and DB SKALAK

PDF

Two Kinds of Training Information for Evaluation Function Learning, Paul Utgoff

ARCHITECTURAL REQUIREMENTS OF IMAGE UNDERSTANDING WITH RESPECT TO PARALLEL PROCESSING, CC Weems

PARALLEL PROCESSING IN THE DARPA STRATEGIC COMPUTING VISION PROGRAM, CC Weems, C BROWN, JA WEBB, T POGGIO, and JR KENDER

THE DARPA IMAGE UNDERSTANDING BENCHMARK FOR PARALLEL COMPUTERS, C WEEMS, E RISEMAN, A HANSON, and A ROSENFELD

COMPLETED SLI EXPERIMENT, JC Wileden

SPECIFICATION-LEVEL INTEROPERABILITY, JC Wileden, AL WOLF, WR ROSENBLATT, and PL TARR

Submissions from 1990

EXTENSIONS OF AN IDEA OF MCNAUGHTON, DAM Barrington

ON UNIFORMITY WITHIN NC1, DAM Barrington, N IMMERMAN, and H STRAUBING

NONUNIFORM AUTOMATA OVER GROUPS, DAM Barrington, H STRAUBING, and D THERIEN

EXTENDING A BLACKBOARD ARCHITECTURE FOR APPROXIMATE PROCESSING, KS DECKER, VR LESSER, and RC WHITEHAIR

LOGICAL BEHAVIORS, TC HENDERSON and R GRUPEN

CASE-BASED REASONING, W Lehnert

REAL-TIME ARTIFICIAL-INTELLIGENCE - INTRODUCTION, V Lesser

A FORMAL MODEL OF PROGRAM DEPENDENCES AND ITS IMPLICATIONS FOR SOFTWARE TESTING, DEBUGGING, AND MAINTENANCE, A PODGURSKI and LA Clarke

A COMPARATIVE-EVALUATION OF OBJECT DEFINITION TECHNIQUES FOR LARGE PROTOTYPE SYSTEMS, JC WILEDEN, LA Clarke, and AL WOLF

ENVIRONMENT OBJECT MANAGEMENT TECHNOLOGY - EXPERIENCES, OPPORTUNITIES AND RISKS, JC Wileden and AL WOLF

Submissions from 1989

BOUNDED-WIDTH POLYNOMIAL-SIZE BRANCHING PROGRAMS RECOGNIZE EXACTLY THOSE LANGUAGES IN NC, DA BARRINGTON

ON THE RELATIVE COMPLEXITY OF SOME LANGUAGES IN NC1, DAM Barrington and J CORBETT

A FORMAL EVALUATION OF DATA FLOW PATH SELECTION CRITERIA, LA Clarke, A PODGURSKI, DJ RICHARDSON, and SJ ZEIL

TEAM - A SUPPORT ENVIRONMENT FOR TESTING, EVALUATION, AND ANALYSIS, LA Clarke, DJ RICHARDSON, and SJ ZEIL

A SURVEY OF GENERAL-PURPOSE MANIPULATION, RA Grupen, TC HENDERSON, and ID MCCAMMON

A NEW TECHNIQUE FOR ONLINE AND OFF-LINE HIGH-SPEED COMPUTATION, EP HARTOUNI, DA JENSEN, B KLIMA, MN KREISLER, MSZ RABIN, J URIBE, M CHURCH, A GARA, E GOTTSCHALK, R HYLTON, BC KNAPP, FW SIPPACH, B STERN, L WIENCKE, D CHRISTIAN, G GUTIERREZ, SD HOLMES, JB STRAIT, A WEHMANN, C AVILEZ, W CORREA, A ROSALES, M FORBUSH, FR HUSON, and J WHITE

A PLAN-BASED INTELLIGENT ASSISTANT THAT SUPPORTS THE SOFTWARE-DEVELOPMENT PROCESS, KE HUFF and VR LESSER

COMPLEXITY CLASSES, N Immerman

RELATIVIZING RELATIVIZED COMPUTATIONS, N Immerman and SR MAHANEY

PDF

BOOK REVIEWS, Robert Moll

PANEL - INHERITANCE - CAN WE HAVE OUR CAKE AND EAT IT, TOO - DISCUSSION, E MOSS, R JOHNSON, A SNYDER, D STEMPLE, and D UNGAR

OROS - TOWARD A TYPE MODEL FOR SOFTWARE-DEVELOPMENT ENVIRONMENTS, WR ROSENBLATT, JC Wileden, and AL WOLF

FOUNDATIONS FOR THE ARCADIA ENVIRONMENT ARCHITECTURE, RN TAYLOR, FC BELZ, LA CLARKE, L OSTERWEIL, RW SELBY, JC WILEDEN, AL WOLF, and M YOUNG

THE IMAGE UNDERSTANDING ARCHITECTURE, CC Weems, SP LEVITAN, AR HANSON, EM RISEMAN, DB SHU, and JG NASH

NATURAL-LANGUAGE PROCESSING, R WEISCHEDEL, J CARBONELL, B GROSZ, W Lehnert, M MARCUS, R PERRAULT, and R WILENSKY