17 Hits in 5.8 sec

Incorporating Usability Evaluation in Software Development Environments

Shah Rukh Humayoun
2012 Künstliche Intelligenz  
ConGolog ConGolog [18] (Concurrent Golog) is an extended version of Golog and provides the concurrent execution in resulting high-level programs that was missing in Golog.  ...  An example of a task model for a scenario of managing bank account is given in Section 4.5.3.  ...  Appendix A Golog-family based High-level Program Syntax This appendix provides implementation of the external nondeterministic constructs framework in Golog-family based high-level program syntax.  ... 
doi:10.1007/s13218-012-0184-5 fatcat:duoo5mxr2fathfmxlcehdkwtm4

A Situation Calculus Approach to Modeling and Programming Agents [chapter]

Yves Lespérance, Hector J. Levesque, Raymond Reiter
1999 Applied Logic Series  
Our first multi-agent application involved a personal banking assistant system [11, 26] .  ...  We are working to bridge this gap. Experiments in the use of Golog and ConGolog to develop various applications have been conducted.  ... 
doi:10.1007/978-94-015-9204-8_12 fatcat:3czszoh3mbd45hgzzoq33z2da4

Tibetan Range Wars: Spatial Politics and Authority on the Grasslands of Amdo

Emily T. Yeh
2003 Development and Change  
However, histories remain inscribed in the landscape and lead to unintended consequences in the implementation of new grassland policies.  ...  The author argues that understanding spatial and historical dimensions of the process through which Amdo was incorporated into the People's Republic of China (PRC) helps us make sense of these conflicts  ...  Field research was assisted in part by an International Predissertation Fellowship from the Social Science Research Council. Throughout this article, translations are mine unless otherwise noted.  ... 
doi:10.1111/1467-7660.00316 fatcat:xiepd5fu2za7zi2r5rdn7e4kmm

Robot Controllers for Highly Dynamic Environments with Real-time Constraints

Alexander Ferrein
2010 Künstliche Intelligenz  
the data needed, which external learning framework should be used, and how to abstract the experiences made during data collection.  ...  It is given in Figure 3 .2. Having a policy and acting in the environments leads to making experiences. Direct RL methods use these experiences to update the behavior policy.  ...  Dezember 1974 Geburtsort Hilden 1981 -1984 Dreikönigen Schule, Neuss 1984 Quirinus Gymnasium, Neuss 1991 Pascal-Gymnasium, Grevenbroich 1994 Abitur Schulbildung Studium -2001 Studium der Informatik an  ... 
doi:10.1007/s13218-010-0041-3 fatcat:ltrvy7pynjbs7joc5exp2khgii

Automated Service Composition Based on Behaviors: The Roman Model [chapter]

Giuseppe De Giacomo, Massimo Mecella, Fabio Patrizi
2013 Web Services Foundations  
In this chapter, we discuss the so-called "Roman model", in which services are abstracted as transition systems and the objective is to obtain a composite service that preserves a desired interaction,  ...  We will also outline its deployment in the challenging applications of smart houses, i.e., buildings pervasively equipped with sensors and actuators making their functionalities available according to  ...  More in general, Service Oriented Computing (SOC) is a computing paradigm whose basic elements are services, that can be used as building blocks to devise other services.  ... 
doi:10.1007/978-1-4614-7518-7_8 fatcat:d3mckxappjcllovdmsetvuzkl4

Web Service Composition

Angel Lagares Lemos, Florian Daniel, Boualem Benatallah
2015 ACM Computing Surveys  
This article establishes such a framework and reviews the state of the art in service composition from an unprecedented, holistic perspective.  ...  A consolidated analysis framework that advances the fundamental understanding of Web service composition building blocks in terms of concepts, models, languages, productivity support techniques, and tools  ...  Daniel et al. [2007] ), as well as extensive literature review in related areas, discussions with colleagues, experimentation with various systems and prototypes, which allowed us to identify common building  ... 
doi:10.1145/2831270 fatcat:7guhotzxiffnxnygbwdufogr4q

Domain-independent planning for services in uncertain and dynamic environments

Eirini Kaldeli, Alexander Lazovik, Marco Aiello
2016 Artificial Intelligence  
Bibliography 214 Samenvatting 215 x to start a PhD there at the first place.  ...  Following the thread that has lead me to pursuing a PhD, I ultimately find my parents, Rozina and Christophoros, who have always encouraged me to learn more.  ...  overall price of an online shopping basket, or paying in some amount to a bank account.  ... 
doi:10.1016/j.artint.2016.03.002 fatcat:ezhqok2ew5a3vjqbcyf5n53uti

Bibliography [chapter]

2021 We God's People  
Five experts on religious communities in China (three doctoral candidates, an independent researcher, and a journalist) provided research support for the report' s five chapters, but wished to remain anonymous  ...  Three China scholars who wished to remain anonymous served as academic advisers.  ...  Special thanks to Arch Puddington, Daniel Calingaert, and Robert Ruby for their comments and feedback. Gerry Fey served as graphic designer.  ... 
doi:10.1017/9781108554466.009 fatcat:6r6laey4v5csfdfijxanf5c6rm

Politics on the Football Field: An Overview of the Relationship between Ideology and Sport in Serbia

2019 Этнографическое обозрение  
Positions of the discipline itself, transformations of traditional culture and various phenomena of contemporary culture in Southeastern Europe are subjected to a theoretical scrutiny in the papers of  ...  The author focuses on changes in perception and the performativity of ethnology in the context of interdisciplinary projects, which leads to the fact that a general ethnological overview is often left  ...  decided to take a loan in the bank.  ... 
doi:10.31857/s086954150007376-3 fatcat:zn643noe55gxba7wyfjyjigari

Proceedings of the 2021 Joint Workshop of the German Research Training Groups in Computer Science. May 31–June 1, 2021

Joint Workshop Of The German Research Training Groups In Computer Science, Erlangen May 31–June 1, 2021, Felix Freiling
The goal of these workshops is to foster an interchange of ideas and experiences in order to strengthen the connection within the German computer science community.  ...  Initiated in 1996 and run regularly since 2007, researchers of the German Research and Training Groups (RTGs) funded by the Deutsche Forschungsgemeinschaft (DFG) in the field of computer science meet annually  ...  Formalisms such as Golog [6] and PDDL [7] allow the specification of a robot's behavior in an abstract manner.  ... 
doi:10.25593/opus4-fau-16426 fatcat:isoyq5lzdffxrdqzvkmfsnjgau

Proceedings of the 2022 Joint Workshop of the German Research Training Groups in Computer Science

Felix Freiling, Helmut Seidl, 2022 2022 Joint Workshop Of The German Research Training Groups In Computer Science June 12–June 15
Returning to Dagstuhl and hosting this meeting as an in-person-only event was a deliberate decision to revive interaction modes that many of the funded researchers had yet to experience: fostering personal  ...  interchange of ideas and experiences in order to strengthen the connection within the German computer science community.  ...  Layer 3 extends A E with device-local proactive assistance functionality.  ... 
doi:10.25593/opus4-fau-19321 fatcat:ry4vd32xxbgldirrvymuaxxqwi

Connecting Performance Analysis and Visualization to Advance Extreme Scale Computing (Dagstuhl Seminar 14022) Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031) Planning with Epistemic Goals (Dagstuhl Seminar 14032)

Frederik Armknecht, Helena Handschuh, Tetsu Iwata, Bart, Bernd Bremer, Valerio Mohr, Martin Pascucci, Schulz, Erika Ábrahám, Alberto Avritzer, Anne Remke, William Sanders (+13 others)
2014 unpublished
Drawing on previous experiences of building Enquiry Machines 4 , Kat Jungnickel suggested to build these ideas into a 'Failure Machine'.  ...  By introducing an experiment id as another space dimension, the data model can be used to describe the data of single performance measurement experiments as well as whole experiment series.  ...  This guideline is created using suggestions from the current literature as well as first-hand experience as an ethics adviser for a research institute dealing specifically with the research and design  ... 

Integration + Innovation: Proceedings of the 2019 Building Technology Educators' Society Conference

Caryn Brause, Peggi Clouston, M. Naomi Darling
23.8% Yes, 76.2% No (4) Have you ever observed or participated in a project coordination meeting between an architect and a structural engineering Abstract Designed landscapes are physical manifestations  ...  Sample case studies will be used as a means to support and explore this pedagogical approach to design.  ...  Acknowledgements Acknowledgements Thanks to Provost Robert Shea and Asst. Prof. Lindsey Gumb for their assistance and support in this project.  ... 
doi:10.7275/jzxn-6j92 fatcat:l5v7mv3ixjgbhbakusljnk77la

2014 Jahresbericht Annual Report

Registernummer Amtsgericht, Saarbrücken Hrb, Vorsitzender Des Aufsichtsrates, Ing, Jähnichen Stefan, Raimund Geschäftsführung, Seidel, Heike Meißner, Technisch-Administrative Geschäftsführerin, Gesellschafter
The seminar was organized into seven sessions: frameworks and languages; algorithm configuration; constraints in pattern mining; learning constraints; machine learning with constraints; applications; and  ...  Another useful property is full abstraction. 41 This property was originally introduced to connect an operational semantics to a denotational semantics -the former defines a kind of abstract machine that  ...  Consider an everyday task of a service robot, such as grasping a cup from a cupboard and bringing it to a person sitting at a table.  ... 

Semantic Web Services and Web Process Composition Volume Editors Workshop Chairs Program Committee

Jorge Cardoso, Jorge Cardoso, Amit Sheth, Jorge Cardoso, Amit Sheth, Jorge Cardoso, Amit Sheth, Jorge Cardoso, Amit Sheth, Leonid Kalinichenko, Francisco Curbera, Steffen Staab (+9 others)
2004 unpublished
Acknowledgement I would like to thank Dr. K. Vidyasankar and the referees for several valuable suggestions that helped to improve the work in this paper considerably. Acknowledgments  ...  Assistance With Site Use This function will support and guide users in using Web sites. It can be an immediate help, a help page or a feedback option.  ...  (3) Furthermore, is it possible to build a user's own personalized information warehouse (MyPortal) in her/his computer with these Web portal resources and use it conveniently, even sharing it with other  ... 
« Previous Showing results 1 — 15 out of 17 results