• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 6,352
Next 10 →

Fast Planning Through Planning Graph Analysis

by Avrim L. Blum, Merrick L. Furst - ARTIFICIAL INTELLIGENCE , 1995
"... We introduce a new approach to planning in STRIPS-like domains based on constructing and analyzing a compact structure we call a Planning Graph. We describe a new planner, Graphplan, that uses this paradigm. Graphplan always returns a shortest possible partial-order plan, or states that no valid pla ..."
Abstract - Cited by 1171 (3 self) - Add to MetaCart
We introduce a new approach to planning in STRIPS-like domains based on constructing and analyzing a compact structure we call a Planning Graph. We describe a new planner, Graphplan, that uses this paradigm. Graphplan always returns a shortest possible partial-order plan, or states that no valid

PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains

by Maria Fox, Derek Long , 2003
"... In recent years research in the planning community has moved increasingly towards application of planners to realistic problems involving both time and many types of resources. For example, interest in planning demonstrated by the space research community has inspired work in observation scheduling, ..."
Abstract - Cited by 609 (41 self) - Add to MetaCart
the development of a modelling language capable of expressing temporal and numeric properties of planning domains. In this paper we describe the language, PDDL2.1, that was used in the competition. We describe the syntax of the language, its formal semantics and the validation of concurrent plans. We observe

USER ACCEPTANCE OF INFORMATION TECHNOLOGY: TOWARD A UNIFIED VIEW

by Viswanath Venkatesh, Michael G. Morris, Gordon B. Davis, Fred D. Davis , 2003
"... Information technology (IT) acceptance research has yielded many competing models, each with different sets of acceptance determinants. In this paper, we (1) review user acceptance literature and discuss eight prominent models, (2) empirically compare the eight models and their extensions, (3) formu ..."
Abstract - Cited by 1807 (10 self) - Add to MetaCart
) formulate a unified model that integrates elements across the eight models, and (4) empirically validate the unified model. The eight models reviewed are the theory of reasoned action, the technology acceptance model, the motivational model, the theory of planned behavior, a model combining the technology

Validating plans with continuous effects

by Richard Howey, Derek Long - In Proc. of the 22nd Workshop of the UK Planning and Scheduling Special Interest Group , 2003
"... A critical element in the use of PDDL2.1, the modelling language developed for the International Planning Competition series, has been the common understanding of the semantics of the language. The fact that this has been implemented in plan validation software was vital to the progress of the compe ..."
Abstract - Cited by 7 (5 self) - Add to MetaCart
A critical element in the use of PDDL2.1, the modelling language developed for the International Planning Competition series, has been the common understanding of the semantics of the language. The fact that this has been implemented in plan validation software was vital to the progress

Assessing coping strategies: A theoretically based approach

by Charles S. Carver, Michael F. Scheier, Jagdish Kumari Weintraub - Journal of Personality and Social Psychology , 1989
"... We developed a multidimensional coping inventory to assess the different ways in which people respond to stress. Five scales (of four items each) measure conceptually distinct aspects of problem-focused coping (active coping, planning, suppression of competing activities, restraint coping, seek-ing ..."
Abstract - Cited by 651 (5 self) - Add to MetaCart
We developed a multidimensional coping inventory to assess the different ways in which people respond to stress. Five scales (of four items each) measure conceptually distinct aspects of problem-focused coping (active coping, planning, suppression of competing activities, restraint coping, seek-ing

Validating Plans with Exogenous Events

by Richard Howey, Derek Long, Maria Fox
"... We are concerned with the problem of deciding the validity of a complex plan involving interacting continuous activity. In these situations there is a need to model and reason about the continuous processes and events that arise as a consequence of the behaviour of the physical world in which the pl ..."
Abstract - Cited by 2 (0 self) - Add to MetaCart
We are concerned with the problem of deciding the validity of a complex plan involving interacting continuous activity. In these situations there is a need to model and reason about the continuous processes and events that arise as a consequence of the behaviour of the physical world in which

An inventory for measuring depression

by A. T. Beck, C. H. Ward, J. Mock M. D - Archives of General Psychiatry , 1961
"... The difficulties inherent in obtaining con-sistent and adequate diagnoses for the pur-poses of research and therapy have been pointed out by a number of authors. Pasamanick12 in a recent article viewed the low interclinician agreement on diagnosis as an indictment of the present state of psychiatry ..."
Abstract - Cited by 1195 (0 self) - Add to MetaCart
. In the planning of the research design of a project aimed at testing certain psychoanalyt-ic formulations of depression, the necessity for establishing an appropriate system for identifying depression was recognized. Be-cause of the reports on the low degree of interclinician agreement on diagnosis,13 we could

The Meris Products Validation Plan

by Huot Brockmann Regner
"... INTRODUCTION The MERIS instrument will provide global repetitive monitoring of the top-of-atmosphere radiance in 15 visible or near infra-red bands that will be used to derive a large set of geophysical parameters of high value for science or operational applications. These parameters are subject t ..."
Abstract - Add to MetaCart
to uncertainties arising from the instrument and from imperfections in the algorithms and models used for their production. The objective of the MERIS products validation effort is therefore to quantify systematic biases in the operational products and to fine-tune the algorithms used to derive them. The full

Motivation through the Design of Work: Test of a Theory. Organizational Behavior and Human Performance,

by ] Richard Hackman , Grec R Oldham , 1976
"... A model is proposed that specifies the conditions under which individuals will become internally motivated to perform effectively on their jobs. The model focuses on the interaction among three classes of variables: (a) the psychological states of employees that must be present for internally motiv ..."
Abstract - Cited by 622 (2 self) - Add to MetaCart
in seven organizations, and results support its validity. A number of special features of the model are discussed (including its use as a basis for the diagnosis of jobs and the evaluation of job redesign projects), and the model is compared to other theories of job design. Work redesign is becoming

Enhancing the IIQP framework and validation planning

by Irena Grgic, Telenor Communication As
"... Suggested readers Managers; Experts involved in the inter-domain IP QoS provision and management; Vendors Assuring the provision of the managed IP QoS services end-to-end asks for co-operation between providers involved in the service delivery. The principles of the Inter-operator IP QoS Provisionin ..."
Abstract - Add to MetaCart
. Adopting approaches developed in the work done by other fora may give input for enhancing the IIQPF. Hence, a set of selected documents has been reviewed and compared with the requirements on the IIQPF, results of which are summarised here. In order to plan for the validation of the IIQPF, a set
Next 10 →
Results 1 - 10 of 6,352
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University