Relevant bibliographies by topics / Description of action

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Description of action'

Author: Grafiati
Published: 3 June 2025
Last updated: 1 August 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Description of action.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Description of action"

1

Fernandez-Campos, Beatriz, and Katia Bravo-Jaimes. "From Description to Action." JACC: Advances 2, no. 8 (2023): 100595. http://dx.doi.org/10.1016/j.jacadv.2023.100595.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Varzinczak, I. J. "On Action Theory Change." Journal of Artificial Intelligence Research 37 (February 27, 2010): 189–246. http://dx.doi.org/10.1613/jair.2959.

Full text
Abstract:
As historically acknowledged in the Reasoning about Actions and Change community, intuitiveness of a logical domain description cannot be fully automated. Moreover, like any other logical theory, action theories may also evolve, and thus knowledge engineers need revision methods to help in accommodating new incoming information about the behavior of actions in an adequate manner. The present work is about changing action domain descriptions in multimodal logic. Its contribution is threefold: first we revisit the semantics of action theory contraction proposed in previous work, giving more robu
APA, Harvard, Vancouver, ISO, and other styles
3

Zeleny, Milan. "Strategy as Action." International Journal of Strategic Decision Sciences 1, no. 1 (2010): 1–22. http://dx.doi.org/10.4018/jsds.2010103001.

Full text
Abstract:
In the post-crisis era, new concepts are emerging, while some old and dysfunctional ones are being discarded. Strategy is about making series of decisions that drive corporate action under specific coupling with company’s environment and context. Because decisions are actions, the strategy itself is action, not just a description of action. In the world of traditional strategy, descriptions (information) have replaced action (knowledge), and talk has replaced walk. We start from the premise that strategy is what company does, and what company does is its strategy. One cannot run a company just
APA, Harvard, Vancouver, ISO, and other styles
4

ARTALE, ALESSANDRO, and ENRICO FRANCONI. "Representing a robotic domain using temporal description logics." Artificial Intelligence for Engineering Design, Analysis and Manufacturing 13, no. 2 (1999): 105–17. http://dx.doi.org/10.1017/s0890060499132050.

Full text
Abstract:
A temporal logic for representing and reasoning on a robotic domain is presented. Actions are represented by describing what is true while the action itself is occurring, and plans are constructed by temporally relating actions and world states. The temporal language is a member of the family of Description Logics, which are characterized by high expressivity combined with good computational properties. The logic is used to organize the domain actions and plans in a taxonomy. The classification and recognition tasks, together with the subsumption task form the basis for action management. An a
APA, Harvard, Vancouver, ISO, and other styles
5

Smolnik, Maksymilian. "An Attempt to Characterise the Reliability of an Action Considering the Type of Its Result." Journal of KONBiN 52, no. 1 (2022): 107–30. http://dx.doi.org/10.2478/jok-2022-0008.

Full text
Abstract:
Abstract The paper presents the results of research related to one of the problems identified in the previous work, which included the analysis of selected elements of the concept of reliability of action description in the systems of action engineering developed by Józef Konieczny. The aim of this study is to analyse the possibility of using the praxiological classification of results in a partially formalised description of the reliability of action. In the first stage of considerations, observations were made regarding the description of the reliability of actions presented as isolated simp
APA, Harvard, Vancouver, ISO, and other styles
6

Tugwell, Peter, and Betsy Kristjansson. "Moving from Description to Action." Canadian Journal of Public Health 95, no. 2 (2004): 85–89. http://dx.doi.org/10.1007/bf03405772.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Bagheri Hariri, B., D. Calvanese, M. Montali, G. De Giacomo, R. De Masellis, and P. Felli. "Description Logic Knowledge and Action Bases." Journal of Artificial Intelligence Research 46 (April 26, 2013): 651–86. http://dx.doi.org/10.1613/jair.3826.

Full text
Abstract:
Description logic Knowledge and Action Bases (KAB) are a mechanism for providing both a semantically rich representation of the information on the domain of interest in terms of a description logic knowledge base and actions to change such information over time, possibly introducing new objects. We resort to a variant of DL-Lite where the unique name assumption is not enforced and where equality between objects may be asserted and inferred. Actions are specified as sets of conditional effects, where conditions are based on epistemic queries over the knowledge base (TBox and ABox), and effects
APA, Harvard, Vancouver, ISO, and other styles
8

Lestou, Vaia, Frank E. Pollick, and Zoe Kourtzi. "Neural Substrates for Action Understanding at Different Description Levels in the Human Brain." Journal of Cognitive Neuroscience 20, no. 2 (2008): 324–41. http://dx.doi.org/10.1162/jocn.2008.20021.

Full text
Abstract:
Understanding complex movements and abstract action goals is an important skill for our social interactions. Successful social interactions entail understanding of actions at different levels of action description, ranging from detailed movement trajectories that support learning of complex motor skills through imitation to distinct features of actions that allow us to discriminate between action goals and different action styles. Previous studies have implicated premotor, parietal, and superior temporal areas in action understanding. However, the role of these different cortical areas in acti
APA, Harvard, Vancouver, ISO, and other styles
9

Carvilhe, Claudio, and Martin Musicante. "Object-Oriented Action Semantics Specifications." JUCS - Journal of Universal Computer Science 9, no. (8) (2003): 910–34. https://doi.org/10.3217/jucs-009-08-0910.

Full text
Abstract:
Action Semantics is a framework for the formal specification of programming languages. Two different, recently proposed approaches provide modularity to the framework, allowing for specification reusability and extension. In this work, we analyze the previous approaches, and introduce Object-Oriented Action Semantics, a new form of modular organization of Action Semantics descriptions. Object-oriented Action Semantics does not modify the syntax in which actions are written, the addition of object-oriented features (like classes and objects) is done as an upper layer to the semantic entities an
APA, Harvard, Vancouver, ISO, and other styles
10

Jiang, Wenhui, Yibo Cheng, Linxin Liu, Yuming Fang, Yuxin Peng, and Yang Liu. "Comprehensive Visual Grounding for Video Description." Proceedings of the AAAI Conference on Artificial Intelligence 38, no. 3 (2024): 2552–60. http://dx.doi.org/10.1609/aaai.v38i3.28032.

Full text
Abstract:
The grounding accuracy of existing video captioners is still behind the expectation. The majority of existing methods perform grounded video captioning on sparse entity annotations, whereas the captioning accuracy often suffers from degenerated object appearances on the annotated area such as motion blur and video defocus. Moreover, these methods seldom consider the complex interactions among entities. In this paper, we propose a comprehensive visual grounding network to improve video captioning, by explicitly linking the entities and actions to the visual clues across the video frames. Specif
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Description of action"

1

Milicic, Maja. "Action, Time and Space in Description Logics." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2008. http://nbn-resolving.de/urn:nbn:de:bsz:14-ds-1220871815669-38852.

Full text
Abstract:
Description Logics (DLs) are a family of logic-based knowledge representation (KR) formalisms designed to represent and reason about static conceptual knowledge in a semantically well-understood way. On the other hand, standard action formalisms are KR formalisms based on classical logic designed to model and reason about dynamic systems. The largest part of the present work is dedicated to integrating DLs with action formalisms, with the main goal of obtaining decidable action formalisms with an expressiveness significantly beyond propositional. To this end, we offer DL-tailored solutions to
APA, Harvard, Vancouver, ISO, and other styles
2

Liu, Hongkai. "Computing Updates in Description Logics." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2010. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-26699.

Full text
Abstract:
Description Logics (DLs) form a family of knowledge representation formalisms which can be used to represent and reason with conceptual knowledge about a domain of interest. The knowledge represented by DLs is mainly static. In many applications, the domain knowledge is dynamic. This observation motivates the research on how to update the knowledge when changes in the application domain take place. This thesis is dedicated to the study of updating knowledge, more precisely, assertional knowledge represented in DLs. We explore whether the updated knowledge can be expressed in several standard D
APA, Harvard, Vancouver, ISO, and other styles
3

Whiten, Christopher J. "Probabilistic Shape Parsing and Action Recognition Through Binary Spatio-Temporal Feature Description." Thèse, Université d'Ottawa / University of Ottawa, 2013. http://hdl.handle.net/10393/24006.

Full text
Abstract:
In this thesis, contributions are presented in the areas of shape parsing for view-based object recognition and spatio-temporal feature description for action recognition. A probabilistic model for parsing shapes into several distinguishable parts for accurate shape recognition is presented. This approach is based on robust geometric features that permit high recognition accuracy. As the second contribution in this thesis, a binary spatio-temporal feature descriptor is presented. Recent work shows that binary spatial feature descriptors are effective for increasing the efficiency of obj
APA, Harvard, Vancouver, ISO, and other styles
4

Varzinczak, Ivan. "What Is a Good Domain Description? Evaluating & Revising Action Theories in Dynamic Logic." Phd thesis, Université Paul Sabatier - Toulouse III, 2006. http://tel.archives-ouvertes.fr/tel-00319220.

Full text
Abstract:
Traditionally, consistency is the only criterion for the quality of a theory in logic-based approaches to reasoning about actions. This work goes beyond that and contributes to the meta-theory of actions by investigating what other properties a good domain description should satisfy. Having Propositional Dynamic Logic (PDL) as background, we state some meta-theoretical postulates <br />concerning this sore spot. When all postulates are satisfied, we call the action theory modular. We point out the problems that arise when the postulates about modularity are violated, and propose algorithmic ch
APA, Harvard, Vancouver, ISO, and other styles
5

Humphries, Mark Daniel. "The basal ganglia and action selection : a computational study at multiple levels of description." Thesis, University of Sheffield, 2002. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.269305.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Jacobs, Mark Solomon. "A description of entry level tertiary students' mathematical achievement: towards an analysis of student texts." Thesis, University of the Western Cape, 2006. http://etd.uwc.ac.za/index.php?module=etd&action=viewtitle&id=gen8Srv25Nme4_5279_1190371690.

Full text
Abstract:
<p>This research provided insights into the mathematical achievement of a cohort of tertiary mathematics students. The context for the study was an entry level mathematics course, set in an engineering programme at a tertiary institution, the Cape Peninsula University of Technology (CPUT). This study investigated the possibilities of providing a bridge between the assessment of students by means of tests scores and a taxonomy of mathematical objectives, on the one hand, and the critical analysis of student produced texts, on the other hand. This research revealed that even in cases of wrong so
APA, Harvard, Vancouver, ISO, and other styles
7

Nekkar, François. "L'action ludique dans les pratiques d'enseignement ? : le cas de la description d'images en cours de français au collège." Thesis, Aix-Marseille, 2018. http://www.theses.fr/2018AIXM0446.

Full text
Abstract:
Le jeu fait partie de l’éducation de l’enfant depuis toujours, et bien que les activités ludique et d’apprentissage aient des fins éloignées (le plaisir pour l’un, le savoir pour l’autre), nous montrons des conditions de possibilités pour qu’une activité d’apprentissage scolaire rencontre une activité ludique. Pour ce faire, notre méthodologie, fondée sur l’action didactique conjointe, met en perspective l’apprentissage pendant le jeu : un élève de 5e décrit une image cachée aux autres élèves qui la dessinent pour la deviner ; c’est le but du jeu et le but de l’enseignement-apprentissage. À pa
APA, Harvard, Vancouver, ISO, and other styles
8

Oliveira, Fábio Luiz Marinho de. "Video motion description based on histograms of sparse trajectories." Universidade Federal de Juiz de Fora (UFJF), 2016. https://repositorio.ufjf.br/jspui/handle/ufjf/4838.

Full text
Abstract:
Submitted by Renata Lopes (renatasil82@gmail.com) on 2017-06-06T19:12:19Z No. of bitstreams: 1 fabioluizmarinhodeoliveira.pdf: 1410854 bytes, checksum: cb71ee666cda7d462ce0dd33963a988c (MD5)<br>Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-06-07T13:33:08Z (GMT) No. of bitstreams: 1 fabioluizmarinhodeoliveira.pdf: 1410854 bytes, checksum: cb71ee666cda7d462ce0dd33963a988c (MD5)<br>Made available in DSpace on 2017-06-07T13:33:08Z (GMT). No. of bitstreams: 1 fabioluizmarinhodeoliveira.pdf: 1410854 bytes, checksum: cb71ee666cda7d462ce0dd33963a988c (M
APA, Harvard, Vancouver, ISO, and other styles
9

Fakir, Zaida. "The relationship between career anchors and job satisfaction amongst employees within a leading Retail organisation in the Western Cape." Thesis, University of the Western Cape, 2010. http://etd.uwc.ac.za/index.php?module=etd&action=viewtitle&id=gen8Srv25Nme4_7220_1361367676.

Full text
Abstract:
<p>In the current recessionary cycle in which individuals finds themselves, it is interesting to see whether organisations and individuals have changed their strategies or whether they pursued their tried and tested inherent mechanisms of recruitment/work selection. In recessionary times, organisations would usually have a bigger pool to select from whilst employees, in turn, would try to position themselves in a stable work environment. From an organisational perspective, organisations have also undergone major transitions such as downsizing, merges and acquisitions, right sizing, restructuri
APA, Harvard, Vancouver, ISO, and other styles
10

Desmeules, Marie-Hélène. "De la description à la prescription : recherches pour une phénoménologie de la normativité à partir de l'oeuvre de Husserl." Doctoral thesis, Université Laval, 2017. http://hdl.handle.net/20.500.11794/27800.

Full text
Abstract:
"Thèse en cotutelle"<br>Si certains héritiers de la phénoménologie ont cherché à libérer l’apparaître des normes qui lui étaient imposées, il en allait autrement chez Husserl. Les normes étaient d’abord appliquées aux visées de sens elles-mêmes, lesquelles étaient dites « correctes » ou « incorrectes ». Autre façon de dire que la phénoménologie ne pouvait faire l’économie des normes : point de description sans prescription, et sans prescription à la description. Dire que le projet phénoménologique est essentiellement descriptif, c’est cependant admettre que les normes s’y tiennent en retrait.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Description of action"

1

Hitches, Max William. Man and action. Max William Hitches, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Edinburgh Old Town Renewal Trust. 1995 Action plan review. Edinburgh Old Town Renewal Trust, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

author, Nedelcu Marius, Bălășoiu Dodu 1949-, and Bălășoiu Dodu 1949-, eds. Bucureşti, filmăm!: Bucharest, action! Editura UCIN, 2016.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

George, Susan. Getting things done in Naples: Action, language, and context in discourse description. Editrice CLUEB, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Pioneer Valley Planning Commission (Mass.). Connecticut River 2020 strategy: Part two : action strategy for riverfront revitilization. The Commission, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Maryland. Chesapeake and Coastal Watershed Service., ed. Lower Eastern Shore conservation and restoration action strategy: Phase I : program description and atlas of environmental indicators. The Dept., 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Charles, Jennings. Up North. Abacus, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Niagara Parks Commission (Ont.). Ontario's Niagara Parks: Planning a second century : a 100-year vision, a 20-year plan and five-year action plan. Prepared for the Niagara Parks Commission, by Moriyama & Teshima Planners Ltd., 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Daphne, Du Maurier. I'll never be young again. Arrow, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Daphne, Du Maurier. Proshchaĭ, molodostʹ: [roman]. Amfora, 2005.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Description of action"

1

Weik, Martin H. "action description." In Computer Science and Communications Dictionary. Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_223.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Thorne, Sally. "Knowledge in Action." In Interpretive Description, 3rd ed. Routledge, 2025. https://doi.org/10.4324/9781003503538-20.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Rock, Frances. "Description, Action and Uptake." In Communicating Rights. Palgrave Macmillan UK, 2007. http://dx.doi.org/10.1057/9780230286504_13.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Sinha, Medha, and Anshu Yadav. "Job Description: A Document of Significant Importance." In Management in Action. Routledge, 2023. http://dx.doi.org/10.4324/9781003403043-12.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Courtiat, J. P., and D. E. Saïdouni. "Relating Maximality-based Semantics to Action Refinement in Process Algebras." In Formal Description Techniques VII. Springer US, 1995. http://dx.doi.org/10.1007/978-0-387-34878-0_24.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

van Deursen, Arie, and Peter D. Mosses. "ASD: The action semantic description tools." In Algebraic Methodology and Software Technology. Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/bfb0014346.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

McVee, Mary B., Lynn E. Shanahan, H. Emily Hayden, Fenice B. Boyd, P. David Pearson, and Jennifer Reichenberg. "Taking the Long View by Focusing on Description." In Video Pedagogy in Action. Routledge, 2017. http://dx.doi.org/10.4324/9781315175638-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Bourbon, Brett. "A Parable of Action and Event." In Jane Austen and the Ethics of Description. Routledge, 2022. http://dx.doi.org/10.4324/9781003331445-14.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Nakata, Akio, Teruo Higashino, and Kenichi Taniguchi. "Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence." In Formal Description Techniques IX. Springer US, 1996. http://dx.doi.org/10.1007/978-0-387-35079-0_17.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Alferes, José Júlio, Federico Banti, and Antonio Brogi. "From Logic Programs Updates to Action Description Updates." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11533092_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Description of action"

1

Claes, Walter P., Y. Tony Lin, and Peter S. Zisson. "Computerized Expert Monitoring and Process Control of Cooling Water Systems." In CORROSION 1993. NACE International, 1993. https://doi.org/10.5006/c1993-93401.

Full text
Abstract:
Abstract Over the past 25 years, computerized process controllers have become more sophisticated in optimizing production. With increased understanding of the "process" of cooling water chemistry, it is now possible to apply the same computerized techniques to the control of open recirculating cooling water systems. This paper describes an integrated expert system for the monitoring and process control of cooling water systems based on the real-time input of on-line, as well as off-line, data and parameters. This single computer program is capable of gathering and storing water quality and sys
APA, Harvard, Vancouver, ISO, and other styles
2

Howell, Andrew G. "Comparison and Contrast: Hydrogen Damage vs. Creep Failure in Waterwall Tubes." In CORROSION 1997. NACE International, 1997. https://doi.org/10.5006/c1997-97462.

Full text
Abstract:
Abstract A description of the distinctions between hydrogen damage and metal creep failures of waterwall boiler tubes is given. These two failure modes have many similarities in their origin and superficial characteristics, but the failure mechanisms are very different. In some instances, both mechanisms may occur in the same failure, and may each contribute, to some extent, to the failure. The presence of each failure mechanism results from distinctive root causes, and proper recognition of the failure mode(s) will influence the course of action prescribed to minimize future failures.
APA, Harvard, Vancouver, ISO, and other styles
3

Beedu, Apoorva, Harish Haresamudram, and Irfan Essa. "Text Descriptions of Actions and Objects Improve Action Anticipation." In ICASSP 2025 - 2025 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). IEEE, 2025. https://doi.org/10.1109/icassp49660.2025.10888324.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Liu, Wenping, Yongfeng Jiang, Haili Wang, and Liang Zhang. "Action description using point clouds." In Second International Workshop on Pattern Recognition, edited by Xudong Jiang, Masayuki Arai, and Guojian Chen. SPIE, 2017. http://dx.doi.org/10.1117/12.2280342.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Xiang, Wangmeng, Chao Li, Yuxuan Zhou, Biao Wang, and Lei Zhang. "Generative Action Description Prompts for Skeleton-based Action Recognition." In 2023 IEEE/CVF International Conference on Computer Vision (ICCV). IEEE, 2023. http://dx.doi.org/10.1109/iccv51070.2023.00943.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Feng, Wenfeng, Hankz Hankui Zhuo, and Subbarao Kambhampati. "Extracting Action Sequences from Texts Based on Deep Reinforcement Learning." In Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}. International Joint Conferences on Artificial Intelligence Organization, 2018. http://dx.doi.org/10.24963/ijcai.2018/565.

Full text
Abstract:
Extracting action sequences from texts is challenging, as it requires commonsense inferences based on world knowledge. Although there has been work on extracting action scripts, instructions, navigation actions, etc., they require either the set of candidate actions be provided in advance, or action descriptions are restricted to a specific form, e.g., description templates. In this paper we aim to extract action sequences from texts in \emph{free} natural language, i.e., without any restricted templates, provided the set of actions is unknown. We propose to extract action sequences from texts
APA, Harvard, Vancouver, ISO, and other styles
7

Reiss, S. P. "JIVE: visualizing Java in action demonstration description." In 25th International Conference on Software Engineering, 2003. Proceedings. IEEE, 2003. http://dx.doi.org/10.1109/icse.2003.1201303.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Mademlis, Ioannis, Alexandros Iosifidis, Anastasios Tefas, Nikos Nikolaidis, and Ioannis Pitas. "Stereoscopic video description for human action recognition." In 2014 IEEE Symposium on Computational Intelligence for Multimedia, Signal and Vision Processing (CIMSIVP). IEEE, 2014. http://dx.doi.org/10.1109/cimsivp.2014.7013263.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

"Human Action Description Based on Temporal Pyramid Histograms." In International Conference on Pattern Recognition Applications and Methods. SCITEPRESS - Science and and Technology Publications, 2014. http://dx.doi.org/10.5220/0004825206290636.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Cheng, Fang-Hsuan, and Cheng-Yuan Chang. "Human Behavior Description Model Based on Action Recognition." In 2009 Fifth International Conference on Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP). IEEE, 2009. http://dx.doi.org/10.1109/iih-msp.2009.104.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Description of action"

1

Baader, Franz, Anees ul Mehdi, and Hongkai Liu. Integrate Action Formalisms into Linear Temporal Description Logics. Technische Universität Dresden, 2009. http://dx.doi.org/10.25368/2022.172.

Full text
Abstract:
The verification problem for action logic programs with non-terminating behaviour is in general undecidable. In this paper, we consider a restricted setting in which the problem becomes decidable. On the one hand, we abstract from the actual execution sequences of a non-terminating program by considering infinite sequences of actions defined by a Büchi automaton. On the other hand, we assume that the logic underlying our action formalism is a decidable description logic rather than full first-order predicate logic.
APA, Harvard, Vancouver, ISO, and other styles
2

Baader, Franz, and Benjamin Zarrieß. Verification of Golog Programs over Description Logic Actions. Technische Universität Dresden, 2013. http://dx.doi.org/10.25368/2022.198.

Full text
Abstract:
High-level action programming languages such as Golog have successfully been used to model the behavior of autonomous agents. In addition to a logic-based action formalism for describing the environment and the effects of basic actions, they enable the construction of complex actions using typical programming language constructs. To ensure that the execution of such complex actions leads to the desired behavior of the agent, one needs to specify the required properties in a formal way, and then verify that these requirements are met by any execution of the program. Due to the expressiveness of
APA, Harvard, Vancouver, ISO, and other styles
3

Baader, Franz, Conrad Drescher, Hongkai Liu, et al. Putting ABox Updates into Action. Technische Universität Dresden, 2009. http://dx.doi.org/10.25368/2022.170.

Full text
Abstract:
When trying to apply recently developed approaches for updating Description Logic ABoxes in the context of an action programming language, one encounters two problems. First, updates generate so-called Boolean ABoxes, which cannot be handled by traditional Description Logic reasoners. Second, iterated update operations result in very large Boolean ABoxes, which, however, contain a huge amount of redundant information. In this paper, we address both issues from a practical point of view.
APA, Harvard, Vancouver, ISO, and other styles
4

Koopmann, Patrick. Actions with Conjunctive Queries: Projection, Conflict Detection and Verification. Technische Universität Dresden, 2018. http://dx.doi.org/10.25368/2022.243.

Full text
Abstract:
Description Logic actions specify adaptations of description logic interpretations based on some preconditions defined using a description logic. We consider DL actions in which preconditions can be specified using DL axioms as well as using conjunctive queries, and combinatiosn thereof. We investigate complexity bounds for the executability and the projection problem for these actions, which respectively ask whether an action can be executed on models of an interpretation, and which entailments are satisfied after an action has been executed on this model. In addition, we consider a set of ne
APA, Harvard, Vancouver, ISO, and other styles
5

Baader, Franz, Marcel Lippmann, and Hongkai Liu. Adding Causal Relationships to DL-based Action Formalisms. Technische Universität Dresden, 2010. http://dx.doi.org/10.25368/2022.174.

Full text
Abstract:
In the reasoning about actions community, causal relationships have been proposed as a possible approach for solving the ramification problem, i. e., the problem of how to deal with indirect effects of actions. In this paper, we show that causal relationships can be added to action formalisms based on Description Logics without destroying the decidability of the consistency and the projection problem.
APA, Harvard, Vancouver, ISO, and other styles
6

Liu, Hongkai, Carsten Lutz, Maja Miličić, and Frank Wolter. Description Logic Actions with general TBoxes: a Pragmatic Approach. Aachen University of Technology, 2006. http://dx.doi.org/10.25368/2022.156.

Full text
Abstract:
Action formalisms based on description logics (DLs) have recently been introduced as decidable fragments of well-established action theories such as the Situation Calculus and the Fluent Calculus. However, existing DL action formalisms fail to include general TBoxes, which are the standard tool for formalising ontologies in modern description logics. We define a DL action formalism that admits general TBoxes, propose an approach to addressing the ramification problem that is introduced in this way, and perform a detailed investigation of the decidability and computational complexity of reasoni
APA, Harvard, Vancouver, ISO, and other styles
7

Baader, Franz, Carsten Lutz, Maja Miličić, Ulrike Sattler, and Frank Wolter. Integrating Description Logics and Action Formalisms for Reasoning about Web Services. Aachen University of Technology, 2004. http://dx.doi.org/10.25368/2022.145.

Full text
Abstract:
Motivated by the need for semantically well-founded and algorithmically managable formalism that is based on description logics (DLs), but is also firmly grounded on research in the reasoning about action community. Our main contribution is an analysis of how the choice of the DL influences the complexity of standard reasoning tasks such as projection and executability, which are important for Web service discovery and composition.
APA, Harvard, Vancouver, ISO, and other styles
8

Baader, Franz, Carsten Lutz, Maja Miličić, and Frank Wolter. Integrating Description Logics and Action Formalisms for Reasoning about Web Services. Technische Universität Dresden, 2005. http://dx.doi.org/10.25368/2010.145.

Full text
Abstract:
Motivated by the need for semantically well-founded and algorithmically managable formalism that is based on description logics (DLs), but is also firmly grounded on research in the reasoning about action community. Our main contribution is an analysis of how the choice of the DL influences the complexity of standard reasoning tasks such as projection and executability, which are important for Web service discovery and composition.
APA, Harvard, Vancouver, ISO, and other styles
9

Zarrieß, Benjamin, and Jens Claßen. Verification of Knowledge-Based Programs over Description Logic Actions. Technische Universität Dresden, 2015. http://dx.doi.org/10.25368/2022.216.

Full text
Abstract:
A knowledge-based program defines the behavior of an agent by combining primitive actions, programming constructs and test conditions that make explicit reference to the agent’s knowledge. In this paper we consider a setting where an agent is equipped with a Description Logic (DL) knowledge base providing general domain knowledge and an incomplete description of the initial situation. We introduce a corresponding new DL-based action language that allows for representing both physical and sensing actions, and that we then use to build knowledge-based programs with test conditions expressed in t
APA, Harvard, Vancouver, ISO, and other styles
10

VONGARGEN BH. DESCRIPTION OF MODELING ANALYSES IN SUPPORT OF THE 200-ZP-1 REMEDIAL DESIGN/REMEDIAL ACTION. Office of Scientific and Technical Information (OSTI), 2009. http://dx.doi.org/10.2172/968316.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Description of action' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography