oru.sePublications
Change search
Refine search result
13141516171819 751 - 800 of 941
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Rows per page
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sort
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
Select
The maximal number of hits you can export is 250. When you want to export more records please use the 'Create feeds' function.
  • 751.
    Renoux, Jennifer
    et al.
    University of Caen, Caen, France.
    Mouaddib, Abdel-Illah
    University of Caen, Caen, France.
    LeGloannec, Simon
    Airbus Defence and Space, Val de Reuil, France.
    Distributed Decision-Theoretic Active Perception for Multi-robot Active Information Gathering2014In: Modeling Decisions for Artificial Intelligence: 11th International Conference, MDAI 2014, Tokyo, Japan, October 29-31, 2014: Proceedings / [ed] Torra, V.; Narukawa, Y., Endo, Y., Springer , 2014, Vol. 8825, p. 60-71Conference paper (Refereed)
    Abstract [en]

    Multirobot systems have made tremendous progress in exploration and surveillance. In that kind of problem, agents are not required to perform a given task but should gather as much information as possible. However, information gathering tasks usually remain passive. In this paper, we present a multirobot model for active information gathering. In this model, robots explore, assess the relevance, update their beliefs and communicate the appropriate information to relevant robots. To do so, we propose a distributed decision process where a robot maintains a belief matrix representing its beliefs and beliefs about the beliefs of the other robots. This decision process uses entropy and Kullback-Leibler in a reward function to access the relevance of their beliefs and the divergence with each other. This model allows the derivation of a policy for gathering information to make the entropy low and a communication policy to reduce the divergence. An experimental scenario has been developed for an indoor information gathering mission.

  • 752.
    Renoux, Jennifer
    et al.
    Airbus Defence and Space,Toulouse, France.
    Mouaddib, Abdel-Illah
    Université de Caen, Caen, France.
    LeGloannec, Simon
    Airbus Defence and Space,Toulouse, France.
    Method For Obtaining A System For Active, Decentralized Multi-agent Situation Control2015Patent (Other (popular science, discussion, etc.))
  • 753.
    Rituerto, Alejandro
    et al.
    Instituto de Investigación en Ingeniería de Aragón, Deptartmento de Informática e Ingeniería de Sistemas, University of Zaragoza, Zaragoza, Spain.
    Andreasson, Henrik
    Örebro University, School of Science and Technology.
    Murillo, Ana C.
    Instituto de Investigación en Ingeniería de Aragón, Deptartmento de Informática e Ingeniería de Sistemas, University of Zaragoza, Zaragoza, Spain.
    Lilienthal, Achim
    Örebro University, School of Science and Technology.
    Jesus Guerrero, Jose
    Instituto de Investigación en Ingeniería de Aragón, Deptartmento de Informática e Ingeniería de Sistemas, University of Zaragoza, Zaragoza, Spain.
    Building an Enhanced Vocabulary of the Robot Environment with a Ceiling Pointing Camera2016In: Sensors, ISSN 1424-8220, E-ISSN 1424-8220, Vol. 16, no 4, article id 493Article in journal (Refereed)
    Abstract [en]

    Mobile robots are of great help for automatic monitoring tasks in different environments. One of the first tasks that needs to be addressed when creating these kinds of robotic systems is modeling the robot environment. This work proposes a pipeline to build an enhanced visual model of a robot environment indoors. Vision based recognition approaches frequently use quantized feature spaces, commonly known as Bag of Words (BoW) or vocabulary representations. A drawback using standard BoW approaches is that semantic information is not considered as a criteria to create the visual words. To solve this challenging task, this paper studies how to leverage the standard vocabulary construction process to obtain a more meaningful visual vocabulary of the robot work environment using image sequences. We take advantage of spatio-temporal constraints and prior knowledge about the position of the camera. The key contribution of our work is the definition of a new pipeline to create a model of the environment. This pipeline incorporates (1) tracking information to the process of vocabulary construction and (2) geometric cues to the appearance descriptors. Motivated by long term robotic applications, such as the aforementioned monitoring tasks, we focus on a configuration where the robot camera points to the ceiling, which captures more stable regions of the environment. The experimental validation shows how our vocabulary models the environment in more detail than standard vocabulary approaches, without loss of recognition performance. We show different robotic tasks that could benefit of the use of our visual vocabulary approach, such as place recognition or object discovery. For this validation, we use our publicly available data-set.

  • 754.
    Riveiro, María José
    Örebro University, School of Science and Technology.
    Visual analytics for maritime anomaly detection2011Doctoral thesis, monograph (Other academic)
    Abstract [en]

    The surveillance of large sea areas typically involves  the analysis of huge quantities of heterogeneous data.  In order to support the operator while monitoring maritime traffic, the identification of anomalous behavior or situations that might need further investigation may reduce operators' cognitive load. While it is worth acknowledging that existing mining applications support the identification of anomalies, autonomous anomaly detection systems are rarely used for maritime surveillance. Anomaly detection is normally a complex task that can hardly be solved by using purely visual or purely computational methods. This thesis suggests and investigates the adoption of visual analytics principles to support the detection of anomalous vessel behavior in maritime traffic data. This adoption involves studying the analytical reasoning process that needs to be supported,  using combined automatic and visualization approaches to support such process, and evaluating such integration. The analysis of data gathered during interviews and participant observations at various maritime control centers and the inspection of video recordings of real anomalous incidents lead to a characterization of the analytical reasoning process that operators go through when monitoring traffic. These results are complemented with a literature review of anomaly detection techniques applied to sea traffic. A particular statistical-based technique is implemented, tested, and embedded in a proof-of-concept prototype that allows user involvement in the detection process. The quantitative evaluation carried out by employing the prototype reveals that participants who used the visualization of normal behavioral models outperformed the group without aid. The qualitative assessment shows that  domain experts are positive towards providing automatic support and the visualization of normal behavioral models, since these aids may reduce reaction time, as well as increase trust and comprehensibility in the system. Based on the lessons learned, this thesis provides recommendations for designers and developers of maritime control and anomaly detection systems, as well as guidelines for carrying out evaluations of visual analytics environments.

  • 755.
    Rockel, Sebastian
    et al.
    University of Hamburg, Hamburg, Germany.
    Konečný, Štefan
    Örebro University, School of Science and Technology.
    Stock, Sebastian
    Osnabrück University, Osnabrück, Germany; DFKI Robotics Innovation Center, Osnabrück, Germany.
    Hertzberg, Joachim
    Osnabrück University, Osnabrück, Germany; DFKI Robotics Innovation Center, Osnabrück, Germany.
    Pecora, Federico
    Örebro University, School of Science and Technology.
    Zhang, Jianwei
    University of Hamburg, Hamburg, Germany.
    Integrating physics-based prediction with semantic plan execution monitoring2015In: 2015 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), IEEE , 2015, p. 2883-2888Conference paper (Refereed)
    Abstract [en]

    Real-world robotic systems have to deal with uncertain and dynamic environments to reliably perform tasks. State-of-the-art cognitive robotic systems use an abstract symbolic representation of the real world that is used for high level reasoning. Some aspects of the world, such as object dynamics, are inherently difficult to capture in an abstract symbolic form, yet they influence whether the executed action will succeed or fail. This paper presents an integrated system that uses a physics-based simulation for predicting robot action results and durations, combined with a Hierarchical Task Network (HTN) planner and semantic execution monitoring. We describe a fully integrated system performing functional imagination, which is essentially contributed by a Semantic Execution Monitor (SEM). Based on information obtained from functional imagination, the robot control decides whether it is necessary to adapt the plan that is currently being executed. As a proof of concept, we demonstrate PR2 able of carrying objects on a tray without the objects toppling. Our approach achieves this by considering the robot and object dynamics in simulation. A validation shows that robot action results in simulation can be transferred to the real world. The system improves on state-of-the-art AI plan-based systems by feeding simulated prediction results back into the execution system.

  • 756.
    Rodesten, Stephan
    Örebro University, School of Science and Technology.
    Program för frekvensanalys2017Independent thesis Basic level (professional degree), 10 credits / 15 HE creditsStudent thesis
    Abstract [en]

    This report will cover the work process behind creating a spectrum analyzer. The reader will be able to read about the chosen method but also the alternative methods. Apart from this the theoretical parts behind every moment will also be covered and compared to potential alternative solutions.

    The project has been carried out on behalf of KA Automation. The purpose of the project was to create a base for analyzing sound frequencies. The goal was to be able to identify sound properties in the form of frequencies in servo motors in for example water pumps. The idea was to be able to in a later development stage be able to identify when new frequencies have entered the audio profile which might result in the motor to be in need of service. The base is created with the help of C# and the sound library NAudio.

    From the result one can conclude that this program can analyze sound and display the magnitude of its frequency components and is therefore a suitable base for future development.

  • 757.
    Saarinen, Jari
    et al.
    Örebro University, School of Science and Technology.
    Andreasson, Henrik
    Örebro University, School of Science and Technology.
    Stoyanov, Todor
    Örebro University, School of Science and Technology.
    Ala-Luhtala, Juha
    Aalto University of Technology, Aalto, Finland.
    Lilienthal, Achim J.
    Örebro University, School of Science and Technology.
    Normal distributions transform occupancy maps: application to large-scale online 3D mapping2013In: IEEE International Conference on Robotics and Automation, New York: IEEE conference proceedings, 2013, p. 2233-2238Conference paper (Refereed)
    Abstract [en]

    Autonomous vehicles operating in real-world industrial environments have to overcome numerous challenges, chief among which is the creation and maintenance of consistent 3D world models. This paper proposes to address the challenges of online real-world mapping by building upon previous work on compact spatial representation and formulating a novel 3D mapping approach — the Normal Distributions Transform Occupancy Map (NDT-OM). The presented algorithm enables accurate real-time 3D mapping in large-scale dynamic nvironments employing a recursive update strategy. In addition, the proposed approach can seamlessly provide maps at multiple resolutions allowing for fast utilization in high-level functions such as localization or path planning. Compared to previous approaches that use the NDT representation, the proposed NDT-OM formulates an exact and efficient recursive update formulation and models the full occupancy of the map.

  • 758.
    Saarinen, Jari
    et al.
    Örebro University, School of Science and Technology.
    Andreasson, Henrik
    Örebro University, School of Science and Technology.
    Stoyanov, Todor
    Örebro University, School of Science and Technology.
    Lilienthal, Achim J.
    Örebro University, School of Science and Technology.
    3D normal distributions transform occupancy maps: an efficient representation for mapping in dynamic environments2013In: The international journal of robotics research, ISSN 0278-3649, E-ISSN 1741-3176, Vol. 32, no 14, p. 1627-1644Article in journal (Refereed)
    Abstract [en]

    In order to enable long-term operation of autonomous vehicles in industrial environments numerous challenges need to be addressed. A basic requirement for many applications is the creation and maintenance of consistent 3D world models. This article proposes a novel 3D spatial representation for online real-world mapping, building upon two known representations: normal distributions transform (NDT) maps and occupancy grid maps. The proposed normal distributions transform occupancy map (NDT-OM) combines the advantages of both representations; compactness of NDT maps and robustness of occupancy maps. One key contribution in this article is that we formulate an exact recursive updates for NDT-OMs. We show that the recursive update equations provide natural support for multi-resolution maps. Next, we describe a modification of the recursive update equations that allows adaptation in dynamic environments. As a second key contribution we introduce NDT-OMs and formulate the occupancy update equations that allow to build consistent maps in dynamic environments. The update of the occupancy values are based on an efficient probabilistic sensor model that is specially formulated for NDT-OMs. In several experiments with a total of 17 hours of data from a milk factory we demonstrate that NDT-OMs enable real-time performance in large-scale, long-term industrial setups.

  • 759.
    Saarinen, Jari
    et al.
    Örebro University, School of Science and Technology.
    Andreasson, Henrik
    Örebro University, School of Science and Technology.
    Stoyanov, Todor
    Örebro University, School of Science and Technology.
    Lilienthal, Achim J.
    Örebro University, School of Science and Technology.
    Normal distributions transform monte-carlo localization (NDT-MCL)2013In: Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), IEEE, 2013, p. 382-389Conference paper (Refereed)
  • 760.
    Saarinen, Jari
    et al.
    Örebro University, School of Science and Technology.
    Stoyanov, Todor
    Örebro University, School of Science and Technology.
    Andreasson, Henrik
    Örebro University, School of Science and Technology.
    Lilienthal, Achim J.
    Örebro University, School of Science and Technology.
    Fast 3D mapping in highly dynamic environments using normal distributions transform occupancy maps2013In: Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), IEEE, 2013, p. 4694-4701Conference paper (Refereed)
  • 761.
    Saffiotti, Alessandro
    Örebro University, Department of Technology.
    Fuzzy logic in autonomous navigation2001In: Fuzzy logic techniques for autonomous vehicle navigation / [ed] Dimiter Driankov, Alessandro Saffiotti, Heidelberg: Physica Verlag, 2001, p. 3-24Chapter in book (Refereed)
    Abstract [en]

    The development of techniques for autonomous navigation constitutes one of the major trends in the current research on mobile robotics. In this case study, we discuss how fuzzy computation techniques have be used in the SRI International mobile robot Flakey to address some of the difficult issues posed by autonomous navigation: (i) how to design basic behaviors; (ii) how to coordinate behaviors to execute full navigation plans; and (iii) how to use approximate map information. Our techniques have been validated in both in-house experiments and public events. The use of fuzzy logic has resulted in smooth motion control, robust performance in face of errors in the prior knowledge and in the sensor data, and principled integration between different layers of control

  • 762.
    Saffiotti, Alessandro
    Örebro University, Department of Technology.
    Handling uncertainty in control of autonomous robots1999In: Artificial intelligence today: recent trends and developments / [ed] Michael J. Wooldridge, Manuela Veloso, Berlin: Springer Berlin/Heidelberg, 1999, Vol. 1600, p. 381-407Chapter in book (Refereed)
    Abstract [en]

    Autonomous robots need the ability to move purposefully and without human intervention in real-world environments that have not been specifically engineered for them. These environments are characterized by the pervasive presence of uncertainty: the need to cope with this uncertainty constitutes a major challenge for autonomous robots. In this note, we discuss this challenge, and present some specific solutions based on our experience on the use of fuzzy logic in mobile robots. We focus on three issues: how to realize robust motion control; how to flexibly execute navigation plans; and how to approximately estimate the robot's location.

  • 763.
    Saffiotti, Alessandro
    Örebro University, School of Science and Technology.
    The Concept of Peis-Ecology: Integrating Robots in Smart Environments.2009In: Acta Futura, E-ISSN 2309-1940, no 3, p. 35-42Article in journal (Refereed)
    Abstract [en]

    The concept of Ecology of Physically Embedded Intelligent Systems, or PEIS-Ecology, combines insights from the fields of ubiquitous robotics and ambient intelligence to provide a new solution to building intelligent robots in the service of people. In this note I introduce this concept, summarize its main technological aspects, and speculate on its potential impact for space exploration.

  • 764.
    Saffiotti, Alessandro
    et al.
    Örebro University, School of Science and Technology.
    Broxvall, Mathias
    Örebro University, School of Science and Technology.
    Affordances in an ecology of physically embedded intelligent systems2008In: Towards affordance-based robot control, SPRINGER-VERLAG BERLIN, HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY , 2008, p. 106-121Conference paper (Refereed)
    Abstract [en]

    The concept of Ecology of Physically Embedded Intelligent Systems, or PFIS-Ecology, combines insights from the fields of autonomous robotics and ambient intelligence to provide a new solution to building intelligent robotic systems in the service of people. The concept of PEIS-Ecology also offers an interesting setting to study the applicability of Gibson's notion of affordances to an ecology of robots. In this paper we introduce this concept, and discuss its potential and implications both from an application point of view and from an ecological (Gibsonian) point of view. We also discuss some new scientific challenges introduced by a PEIS-Ecology, present our current steps toward its realization, and point at a few experimental results that show the viability of this concept.

  • 765.
    Saffiotti, Alessandro
    et al.
    Örebro University, School of Science and Technology.
    Broxvall, Mathias
    Örebro University, School of Science and Technology.
    Affordances in an ecology of physically embedded intelligent systems2008In: Towards affordance-based robot control / [ed] E. Rome, J. Hertzberg, G. Dorffner, Berlin: Springer , 2008, p. 106-121Chapter in book (Other academic)
    Abstract [en]

    The concept of Ecology of Physically Embedded Intelligent Systems, or PEIS-Ecology, combines insights fromthe fields of autonomous robotics and ambient intelligence to provide a new solution to building intelligent robotic systems in the service of people. The concept of PEIS- Ecology also offers an interesting setting to study the applicability of Gibson's notion of affordances to an ecology of robots. In this paper we introduce this concept, and discuss its potential and implications both from an application point of view and from an ecological (Gibsonian) point of view. We also discuss some new scientific challenges introduced by a Peis- Ecology, present our current steps toward its realization, and point at a few experimental results that show the viability of this concept.

  • 766.
    Saffiotti, Alessandro
    et al.
    Örebro University, Department of Technology.
    Broxvall, Mathias
    Örebro University, Department of Technology.
    PEIS ecologies: ambient intelligence meets autonomous robotics2005In: Proceedings of the 2005 joint conference on Smart objects and ambient intelligence: innovative context-aware services: usages and technologies, 2005, p. 275-280Conference paper (Refereed)
    Abstract [en]

    A common vision in the field of autonomous robotics is to create a skilled robot companion that is able to live in our homes and to perform physical tasks to help us in our everyday life. Another vision, coming from the field of ambient intelligence, is to create a network of intelligent devices that provides us with information, communication, and entertainment. We propose to combine these two visions into the new concept of an ecology of networked Physically Embedded Intelligent Systems (PEIS). In this paper, we define this concept, discuss ways to implement it, and illustrate it on a simple example involving some real robotic devices.

  • 767.
    Saffiotti, Alessandro
    et al.
    Örebro University, School of Science and Technology.
    Broxvall, Mathias
    Örebro University, School of Science and Technology.
    Gritti, Marco
    Örebro University, School of Science and Technology.
    LeBlanc, Kevin
    Örebro University, School of Science and Technology.
    Lundh, Robert
    Örebro University, School of Science and Technology.
    Rashid, Jayedur
    Örebro University, School of Science and Technology.
    Seo, Beom-Su
    Cho, Young-Jo
    The PEIS-ecology project: vision and results2008In: IEEE/RSJ international conference on intelligent robots and systems, IROS 2008, New York: IEEE , 2008, p. 2329-2335Conference paper (Refereed)
    Abstract [en]

    The vision of an Ecology of Physically Embedded Intelligent Systems, or PEIS-Ecology, combines insights from the fields of autonomous robotics and ambient intelligence to provide a new approach to building robotic systems in the service of people. In this paper, we present this vision, and we report the results of a four-year collaborative research project between Sweden and Korea aimed at the concrete realization of this vision. We focus in particular on three results: a robotic middleware able to cope with highly heterogeneous systems; a technique for autonomous self-configuration and re-configuration; and a study of the problem of sharing information of both physical and digital nature.

  • 768.
    Saffiotti, Alessandro
    et al.
    Örebro University, Department of Technology.
    Driankov, Dimiter
    Örebro University, Department of Technology.
    Duckett, Tom
    Örebro University, Department of Technology.
    A system for vision based human-robot interaction2004Conference paper (Refereed)
    Abstract [en]

    We describe our initial steps toward the realization of a robotic system for assisting fire-fighting and rescue services. The system implements the concept of shared autonomy between the robot and the human operator: the mobile robot performs local navigation, sensing and mapping, while the operator interprets the sensor data and provides strategic navigation goals.

  • 769.
    Saffiotti, Alessandro
    et al.
    Örebro University, Department of Technology.
    LeBlanc, Kevin
    Örebro University, Department of Technology.
    Active perceptual anchoring of robot behavior in a dynamic environment2000In: IEEE international conference on robotics and automation, ICRA '00: proceedings, 2000, p. 3796-3802Conference paper (Refereed)
    Abstract [en]

    Perceptual anchoring is the process of linking action to the appropriate objects in the environment via perception. The pivot of anchoring is the inclusion of micro-models of the world, or anchors, into a controller. In this paper, we propose to use anchors to focus the perceptual effort according to the current needs of the controller. We describe an active gaze control strategy able to maintain anchoring of several objects in a dynamic environment, and show how we have used it in a team of legged robots in the RoboCup'99 international robot soccer competition

  • 770.
    Saffiotti, Alessandro
    et al.
    Örebro University, School of Science and Technology.
    Pecora, Federico
    Örebro University, School of Science and Technology.
    SOFTEC: the Swedish open facility for technology in elder care2010Conference paper (Other academic)
  • 771.
    Saffiotti, Alessandro
    et al.
    Örebro University, Department of Technology.
    Ruspini, Enrique H.
    Global team coordination by local computation2001Conference paper (Refereed)
    Abstract [en]

    Desirability functions are an effective way to define group and individual objectives of a team of cooperating mobile robots. By combining desirability functions, we can identify the individual actions that best satisfy both sets of objectives. Combination, however, is global, posing high demands in terms of communication and computation resources. In this paper, we investigate a technique to perform this combination using local computations. Simulated experiments suggest that, under conditions of spatial locality, team control by local computation achieves the same performance than using a global technique

  • 772.
    Saffiotti, Alessandro
    et al.
    Örebro University, Department of Technology.
    Ruspini, Enrique H.
    Konolige, Kurt
    Using fuzzy logic for mobile robot control1999In: Practical applications of fuzzy technologies / [ed] Hans-Jürgen Zimmermann, Kluwer Academic, MA , 1999, p. 185-205Chapter in book (Other academic)
    Abstract [en]

    The development of techniques for autonomous operation in real-world, unstructured environments constitutes one of the major trends in the current research on mobile robotics. In spite of recent advances, a number of fundamental difficulties remain. In this chapter, we discuss how fuzzy logic techniques can be used to address some of these difficulties. To illustrate the discussion, we describe the fuzzy-logic solutions developed on Flakey, the mobile robot of SRI International

  • 773.
    Saffiotti, Alessandro
    et al.
    Örebro University, School of Science and Technology.
    van der Zant, Tijn
    CEO at RoboLect, CTO at SIM-CI, the Netherlands.
    The Impact of RoCKIn on Robotics2017In: RoCKIn: Benchmarking Through Robot Competitions / [ed] Pedro Lima, INTECH, 2017, p. 1-5Chapter in book (Refereed)
  • 774.
    Saffiotti, Alessandro
    et al.
    Örebro University, Department of Technology.
    Wasik, Zbigniew
    Örebro University, Department of Technology.
    Using hierarchical fuzzy behaviors in the RoboCup domain2003In: Autonomous robotic systems / [ed] Changjiu Zhou, Dario Maravall, Da Ruan, Janusz Kacprzyk, Heidelberg: Physica Verlag, 2003, Vol. 116, p. 235-262Chapter in book (Refereed)
    Abstract [en]

    An important reason for the popularity of the behavior-based paradigm in autonomous robotics is the possibility to design complex robot behaviors in an incremental way. We propose a fuzzy hierarchical behavior-based architecture, in which rules and meta-rules are used in a uniform way at all levels of the control hierarchy. This architecture has been successfully used in a number of robots performing autonomous navigation tasks. In this paper, we show the use of hierarchical fuzzy behaviors to implement a set of navigation and ball control behaviors for a Sony four-legged robot operating in the RoboCup domain. We also show that the logical structure of the rules and the hierarchical decomposition simplify the design of very complex behaviors, like the "GoalKeeper" behavior.

  • 775.
    Saffiotti, Alessandro
    et al.
    Örebro University, Department of Technology.
    Zumel, N. B.
    Ruspini, Enrique H.
    Multi-robot team coordination using desirabilities2000In: Proceedings of the 6th international conference on intelligent autonomous systems: IAS, 2000, p. 107-114Conference paper (Refereed)
    Abstract [en]

    Desirability functions are an effective way to express and implement complex behavior coordination strategies inside a single robot. In this paper, we extend the desirability function approach to deal with behaviors of teams of robots. We show that desirability functions offer a convenient tool to incorporate and blend individual objectives and team objectives. We illustrate our approach on two significant problems of team coordination: reactive formation motion control, and collaborative searching and tracking.

  • 776.
    Sahlin, Anders
    et al.
    Örebro University, School of Science and Technology.
    Särner, Erik
    Örebro University, School of Science and Technology.
    UTVECKLING AV SPEL I XNA TILL SWEDISH GAME AWARDS 20092009Independent thesis Basic level (degree of Bachelor), 10 credits / 15 HE creditsStudent thesis
    Abstract [en]

    The report is centered on the development of a game with the goal to participate in the national game development competition for students, Swedish Game Awards 2009. Some of the things discussed are the theory behind, as well as the design and implementation of a two dimensional platform game created with XNA. The report also comments on the pitfalls and difficulties we encountered during the process of development. The reader is expected to have basic understanding of expressions and some knowledge concerning object oriented programming. We have tried to limit the use of technical terms in order to reach a wider audience.

  • 777.
    Sandahl, Thomas
    et al.
    Örebro University, School of Science and Technology.
    Reyes, Rafael
    Örebro University, School of Science and Technology.
    Mobilapplikation för Norrlandskontakten.se2011Independent thesis Basic level (professional degree), 10 credits / 15 HE creditsStudent thesis
    Abstract [en]

    Smartphones have hit it big in the market recently and a need for websites to promote themselves on the market has also increased. The goal of this project is to enhance the dating site Norrlandskontakten.se’s role on the market. This is done by developing an application for the iPhone.

    This report describes the development of this application and the type of code design we chose to follow, in other words how the application is built and its functionality. Most of the work of developing this application has been about network communications and how this is linked to a web service. Given that this is an application based on the interaction between people with its primary goal to establish contact, it requires a lot of communication with the server.

    It has been important for the navigation and the use of the application to keep high availability and that the user is not tied down during load times. And at the same time keeping down the amount of data downloaded from the server down to reduce the load on its bandwidth.

    The project is made on behalf of the Company Sailsoft AB, which has developed Norrlandskontakten.se, the webpage this application is based on.

  • 778.
    Sandberg, Erik
    Örebro University, School of Science and Technology.
    Mjukvaruoptimering med fokus på prestanda och kodeffektivitet2009Independent thesis Basic level (professional degree), 10 credits / 15 HE creditsStudent thesis
    Abstract [en]

    This project is about analyzing and optimizing Generic Mobile’s messaging services with respect to performance (priority 1) and code efficiency (priority 2). The aim is to speed up the system so that a message will transit through as quickly as possible, while the load on software, hardware and database is minimal. To begin with, I will focus on optimizing the service "SMS via E-post" and then a more general approach to store-and-forward optimization will be discussed. Finally, an optimal method that works in similar systems is presented. 

    In order to demonstrate the effectiveness of the new system, a couple of analytical methods and how to analyze the data dynamically will be discussed.

  • 779.
    Sanfeliu, Alberto
    et al.
    Institut de Robòtica I Informàtica Industrial (UPC-CSIC), Universitat Politècnica de Catalunya, Barcelona, Spain.
    Hagita, Norihiro
    Saffiotti, Alessandro
    Örebro University, School of Science and Technology.
    Network Robot Systems2008In: Robotics and Autonomous Systems, ISSN 0921-8890, E-ISSN 1872-793X, Vol. 56, no 10, p. 793-797Article in journal (Refereed)
    Abstract [en]

     This article introduces the definition of Network Robot Systems (NRS) as is understood in Europe, USA and Japan. Moreover, it describes some of the NRS projects in Europe and Japan and presents a summary of the papers of this Special Issue.  

  • 780. Sanfeliu, Alberto
    et al.
    Hagita, Norihiro
    Saffiotti, Alessandro
    Örebro University, School of Science and Technology.
    Special issue: Network robot systems2008In: Robotics and Autonomous Systems, ISSN 0921-8890, E-ISSN 1872-793X, Vol. 56, no 10, p. 791-791Article in journal (Refereed)
  • 781.
    Sari, Anny Kartika
    et al.
    Department of Computer Science and Computer Engineering, La Trobe University, Victoria, Australia; Department of Computer Science and Electronics, Gadjah Mada University, Yogyakarta, Indonesia.
    Rahayu, J. Wenny
    Department of Computer Science and Computer Engineering, La Trobe University, Victoria, Australia.
    Bhatt, Mehul
    SFB/TR 8 Spatial Cognition, Informatics, University of Bremen, Bremen, Germany.
    An approach for sub-ontology evolution in a distributed health care enterprise2013In: Information Systems, ISSN 0306-4379, E-ISSN 1873-6076, Vol. 38, no 5, p. 727-744Article in journal (Refereed)
    Abstract [en]

    In response to the changing nature of health issues, standardized health ontologies such as SNOMED CT and UMLS incline to change more frequently than most other domain ontologies. Yet, semantic interoperability shared among institutions within a distributed health care enterprise relies heavily on the availability of a valid and up-to-date standardized ontology. In this paper, we propose the creation and preservation of sub-ontologies to deal with the frequent changes in health ontologies. Our approach focuses on the nature and characteristics of standard health ontologies, however it can also be applied to other domain ontologies with similar characteristics. Our sub-ontology evolution approach defines ways to create valid sub-ontologies for each specific health application, and to effectively develop a series of propagation mechanism when the main ontology changes. Our approach will (i) isolate the required change propagation to the relevant health applications that utilized the changing concepts only, and (ii) optimize the propagation mechanism to include the minimum number of operations only. Since a sub-ontology should be a valid ontology by itself, the change propagation approach used in this process should contain the rules to assure the validity of the produced sub-ontology while keeping the consistency of the sub-ontology to the evolved base ontology. A change identification process, which considers the nature of the health ontology change logs, is conducted to identify the semantics of the changes. From the evaluation, it is shown that the content of the evolved sub-ontologies produced using our approach is consistent to the evolved base ontology. Moreover, the propagation process can be performed more efficiently because the number of operations required for our change propagation method is lower than the number of operations required for direct re-extraction from the evolved base ontology.

  • 782.
    Sari, Anny Kartika
    et al.
    Department of Computer Science and Computer Engineering, La Trobe University, Victoria, Australia; Department of Computer Science and Electronics, Gadjah Mada University, Yogyakarta, Indonesia.
    Rahayu, J. Wenny
    Department of Computer Science and Computer Engineering, La Trobe University, Victoria, Australia.
    Bhatt, Mehul
    SFB/TR 8 Spatial Cognition, Informatics, University of Bremen, Bremen, Germany.
    Archetype sub-ontology: Improving constraint-based clinical knowledge model in electronic health records2012In: Knowledge-Based Systems, ISSN 0950-7051, E-ISSN 1872-7409, Vol. 26, p. 75-85Article in journal (Refereed)
    Abstract [en]

    The global effort in the standardization of electronic health records has driven the need for a model to allow medical practitioners to interact with the newly standardized medical information system by focusing on the actual medical concepts/processes rather than the underlying data representations. An archetype has been introduced as a model that represents functional health concepts or processes such as admission record, which enables capturing all information relevant to the processes transparently to the users. However, it is necessary to ensure that the archetypes capture accurately all information relevant to the archetype concepts. Therefore, a semantic backbone is required for each of the archetype.

    In this paper, we propose the development of an archetype sub-ontology for each archetype to represent the semantic content of the corresponding archetype. The sub-ontology is semi-automatically extracted from a standard health ontology, in this case SNOMED CT. Two steps performed to build an archetype sub-ontology are the annotation process and the extraction process, in which some rules have to be applied to maintain the validity of sub-ontology. The approach is evaluated by utilizing the archetype sub-ontologies produced in the development of a new archetype to ensure that only relevant archetypes can be linked to the archetype being developed, so that the only relevant data are captured using the particular archetype. It is shown that the method produces better results than the current approach in which an archetype sub-ontology is not used. We conclude that the archetype sub-ontology can represent well the semantic content of archetype.

  • 783.
    Scandurra, Isabella
    et al.
    Uppsala University, Uppsala, Sweden.
    Holgersson, Jesper
    Skövde University, Skövde, Sweden.
    Lind, Thomas
    Uppsala University, Uppsala, Sweden.
    Myreteg, Gunilla
    Uppsala University, Uppsala, Sweden.
    Development of Patient Access to Electronic Health Records as a Step Towards Ubiquitous Public eHealth2013In: European Journal of ePractice, ISSN 1988-625X, E-ISSN 1988-625X, Vol. 20, p. 21-36Article in journal (Refereed)
  • 784.
    Scandurra, Isabella
    et al.
    APRI eHealth, Själevad, Sweden..
    Hägglund, Maria
    A collaborative design method to support integrated care.: An ICT development method containing continuous user validation improves the entire care process and the individual work situation2009In: International Journal of Integrated Care, ISSN 1568-4156, E-ISSN 1568-4156, Vol. 9, no Suppl.Article in journal (Refereed)
    Abstract [en]

    Introduction

    Integrated care involves different professionals, belonging to different care provider organizations and requires immediate and ubiquitous access to patient-oriented information, supporting an integrated view on the care process [1].

    Purpose

    To present a method for development of usable and work process-oriented information and communication technology (ICT) systems for integrated care.

    Theory and method

    Based on Human-computer Interaction Science and in particular Participatory Design [2], we present a new collaborative design method in the context of health information systems (HIS) development [3]. This method implies a thorough analysis of the entire interdisciplinary cooperative work and a transformation of the results into technical specifications, via user validated scenarios, prototypes and use cases, ultimately leading to the development of appropriate ICT for the variety of occurring work situations for different user groups, or professions, in integrated care.

    Results and conclusions

    Application of the method in homecare of the elderly resulted in an HIS that was well adapted to the intended user groups. Conducted in multi-disciplinary seminars, the method captured and validated user needs and system requirements for different professionals, work situations, and environments not only for current work; it also aimed to improve collaboration in future (ICT supported) work processes. A holistic view of the entire care process was obtained and supported through different views of the HIS for different user groups, resulting in improved work in the entire care process as well as for each collaborating profession.

  • 785.
    Scandurra, Isabella
    et al.
    Centre for eHealth, Uppsala University, Uppsala, Sweden .
    Hägglund, Maria
    Koch, Sabine
    Karolinska University.
    Application of the Multi-disciplinary Thematic Seminar Method in two Homecare Cases: A Comparative Study2008In: EHealth Beyond the Horizon – Get IT There: Proceedings of MIE2008 / [ed] Stig Kjær Andersen; Gunnar O. Klein; Stefan Schulz; Jos Aarts; M. Cristina Mazzoleni, Amsterdam: IOS Press, 2008, Vol. 136, p. 597-602Conference paper (Refereed)
    Abstract [en]

    A significant problem with current health information technologies is that they poorly support collaborative work of healthcare professionals, sometimes leading to a fragmentation of workflow and disruption of healthcare processes. Objective: This paper presents two homecare cases, both applying multi-disciplinary thematic seminars (MdTS) as a collaborative method for user needs elicitation and requirements specification. Methods: This study describes the MdTS application to elicit user needs from different perspectives to coincide with collaborative professions' work practices in two cases. Results: Despite different objectives, the two cases validated that MdTS emphasized the "points of intersection" in cooperative work. Different user groups with similar, yet distinct needs reached a common understanding of the entire work process, agreed upon requirements and participated in the design of prototypes supporting cooperative work. Conclusion: MdTS was applicable in both exploratory and normative studies aiming to elicit the specific requirements in a cooperative environment.

  • 786.
    Scandurra, Isabella
    et al.
    Centre for eHealth, Uppsala University, University Hospital, Uppsala, Sweden.
    Hägglund, Maria
    Koch, Sabine
    Karolinska University.
    From user needs to system specifications: Multi-disciplinary thematic seminars as a collaborative design method for development of health information systems2008In: Journal of Biomedical Informatics, ISSN 1532-0464, E-ISSN 1532-0480, Vol. 41, no 4, p. 557-569Article in journal (Refereed)
    Abstract [en]

    This paper presents a new multi-disciplinary method for user needs analysis and requirements specification in the context of health information systems based on established theories from the fields of participatory design and computer supported cooperative work (CSCW). Whereas conventional methods imply a separate, sequential needs analysis for each profession, the “multi-disciplinary thematic seminar” (MdTS) method uses a collaborative design process. Application of the method in elderly homecare resulted in prototypes that were well adapted to the intended user groups. Vital information in the points of intersection between different care professions was elicited and a holistic view of the entire care process was obtained. Health informatics-usability specialists and clinical domain experts are necessary to apply the method. Although user needs acquisition can be time-consuming, MdTS was perceived to efficiently identify in-context user needs, and transformed these directly into requirements specifications. Consequently the method was perceived to expedite the entire ICT implementation process.

  • 787.
    Scandurra, Isabella
    et al.
    Centre for eHealth, Uppsala University, Uppsala, Sweden.
    Hägglund, Maria
    Koch, Sabine
    Karolinska University.
    Usability Laboratory Test of a Novel Mobile Healthcare Application with Experienced Home Help Service Staff2008In: Open Medical Informatics Journal, ISSN 1874-4311, Vol. 2, p. 117-128Article in journal (Refereed)
    Abstract [en]

    Using participatory design, we developed and deployed a mobile Virtual Health Record (VHR) on a personal digital assistant (PDA) together with experienced homecare staff. To assess transferability to a second setting and usability when used by novice users with limited system education the application was tested in a usability lab. Eight participants from another homecare district performed tasks related to daily homecare work using the VHR. Test protocols were analyzed with regard to effectiveness, potential usability problems and user satisfaction. Usability problems having impact on system performance and contextual factors affecting system transferability were uncovered. Questionnaires revealed that the participants frequently used computers, but never PDAs. Surprisingly there were only minor differences in input efficiency between novice and experienced users. The participants were overall satisfied with the application. However, transfer to another district can not be performed, unless by means of careful field observations of contextual differences.

  • 788.
    Scandurra, Isabella
    et al.
    Uppsala universitet, Institutionen för medicinska vetenskaper, Uppsala, Sweden.
    Hägglund, Maria
    Uppsala universitet, Institutionen för medicinska vetenskaper, Uppsala, Sweden.
    Moström, Dennis
    Koch, Sabine
    Uppsala universitet, Institutionen för medicinska vetenskaper, Uppsala, Sweden.
    Old@Home: Tekniskt stöd till mobil närvård2004In: Proceedings of Sundsvall 42: ADB i verksamhetens tjänst, 2004, p. 108-110Conference paper (Other academic)
  • 789.
    Scandurra, Isabella
    et al.
    Centre for eHealth, Uppsala University, Sweden.
    Moström, Dennis
    Hägglund, Maria
    Introducing a Mobile ICT system in Homecare: Evaluation of a Socio-technical Implementation Process 2008In: Journal on Information Technology in Healthcare, ISSN 1479-649X, Vol. 6, no 5, p. 356-366Article in journal (Refereed)
  • 790.
    Scandurra, Isabella
    et al.
    Division of Visual Information and Interaction, Department of Information Technology, Uppsala University, Uppsala, Sweden.
    Sjölinder, Marie
    Swedish Institute of Computer Science (ICT/SICS), Stockholm, Sweden.
    Participatory design with seniors: Design of future services and iterative refinements of interactive eHealth Services for old citizens2013In: Medicine 2.0, ISSN 1923-2195Article in journal (Refereed)
    Abstract [en]

    Background: There is an increasing social isolation among the elderly today. This will be an even larger issue in the future with growing numbers of elderly and less resources, for example, in terms of economy and staff. Loneliness and social isolation can, however, be addressed in several ways using different interactive eHealth services.

    Objective: This case study investigated novel eHealth services for the elderly, and their usage of a social interactive device designed especially for them.

    Methods: In this work, we used an innovative mobile communication device connected to the television (TV), which worked as a remotely controlled large interactive screen. The device was tested by 8 volunteers who visited a senior center. They were between 65 and 80 years of age and lived in their own homes. Throughout the 1.5 year-long project, 7 design workshops were held with the seniors and the staff at the center. During these workshops, demands and preferences regarding existing and new services were gathered. At the end of the project the participants’ experience of the device and of the services was elaborated in 3 workshops to get ideas for improved or new meaningful services. During the data analyses and development process, what seniors thought would be useful in relation to what was feasible was prioritized by the development company.

    Results: Regarding daily usage, the seniors reported that they mainly used the service for receiving information from the senior center and for communication with other participants in the group or with younger relatives. They also read information about events at the senior center and they liked to perform a weekly sent out workout exercise. Further, they played games such as Memory and Sudoku using the device. The service development focused on three categories of services: cognitive activities, social activities, and physical activities. A cognitive activity service that would be meaningful to develop was a game for practicing working memory. In the social activities category, the seniors wanted different quizzes and multi-player games. For physical activities, the seniors desired more workout exercises and suggestions for guided walking routes. A new category, “information and news”, was suggested since they lacked services like senior-customized global and local news.

    Conclusions: This study showed the importance of input from a group of seniors when designing new services for elderly citizens. Besides input to interactive eHealth service development for seniors, this study showed the importance of a social context around such work. The seniors were very engaged throughout the project and workshops were frequently visited and the seniors became friends. The high amount of input from the seniors could be explained in terms of social inclusion; they belonged to a group and each member was considered important for the work. The friendly workshop atmosphere facilitated new ideas and redesign of the services.

  • 791.
    Schabert, Antek
    Örebro University, School of Science and Technology.
    Integrating the use of prior information into Graph-SLAM with NDTregistration for loop detection2017Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
  • 792.
    Schattenberg, Bernd
    et al.
    Universität Ulm, Ulm, Germany.
    Bidot, Julien
    Universität Ulm, Ulm, Germany.
    Biundo, Susanne
    Universität Ulm, Ulm, Germany.
    On the construction and evaluation of flexible plan-refinement strategies2007In: KI 2007: advances in artificial intelligence / [ed] Joachim Hertzberg, Michael Beetz, Roman Englert, 2007, p. 367-381Conference paper (Refereed)
    Abstract [en]

    This paper describes a system for the systematic construction and evaluation of planning strategies. It is based on a proper formal account of refinement planning and allows us to decouple plan-deficiency detection, refinement computation, and search control. In adopting this methodology, planning strategies can be explicitly described and easily deployed in various system configurations.

    We introduce novel domain-independent planning strategies that are applicable to a wide range of planning capabilities and methods. These so-called HotSpot strategies are guided by information about current plan defects and solution options. The results of a first empirical performance evaluation are presented in the context of hybrid planning.

  • 793.
    Schattenberg, Bernd
    et al.
    Universität Ulm, Ulm, Germany.
    Bidot, Julien
    Universität Ulm, Ulm, Germany.
    Geßler, Sascha
    Universität Ulm, Ulm, Germany.
    Biundo, Susanne
    Universität Ulm, Ulm, Germany.
    A framework for interactive hybrid planning2009In: KI 2009: advances in artificial intelligence / [ed] Bärbel Mertsching, Marcus Hund, Zaheer Aziz, Springer, 2009, p. 17-24Conference paper (Refereed)
    Abstract [en]

    Hybrid planning provides a powerful mechanism to solve real-world planning problems. We present a domain-independent, mixed-initiative approach to plan generation that is based on a formal concept of hybrid planning. It allows any interaction modalities and models of initiative while preserving the soundness of the planning process. Adequately involving the decision competences of end-users in this way will improve the application potential as well as the acceptance of the technology.

  • 794.
    Schougaard, Daniel
    et al.
    DTU Compute, Technical University of Denmark, Lyngby, Denmark.
    Dragoni, Nicola
    Örebro University, School of Science and Technology. DTU Compute, Technical University of Denmark, Lyngby, Denmark.
    Spognardi, Angelo
    DTU Compute, Technical University of Denmark, Lyngby, Denmark.
    Evaluation of Professional Cloud Password Management Tools2016In: Current Trends in Web Engineering: ICWE 2016 International Workshops, 2016, p. 16-28Conference paper (Refereed)
    Abstract [en]

    Strong passwords have been preached since decades. However, lot of the regular users of IT systems resort to simple and repetitive passwords, especially nowadays in the "service era". To help alleviate this problem, a new class of software grew popular: password managers. Since their introduction, password managers have slowly been migrating into the cloud. In this paper we review and analyze current professional password managers in the cloud. We discuss several functional and nonfunctional requirements to evaluate existing solutions and we sum up their strengths and weaknesses. The main conclusion is that a silver bullet solution is not available yet and that this type of tools still deserve a significant research effort from the privacy and security community.

  • 795.
    Schultz, Carl
    et al.
    University of Münster, Münster, Germany; The DesignSpace Group, Bremen, Germany.
    Bhatt, Mehul
    University of Bremen, Bremen, Germany; The DesignSpace Group, Bremen, Germany.
    A Numerical Optimisation Based Characterisation of Spatial Reasoning2016In: Rule Technologies. Research, Tools, and Applications: 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings / [ed] Jose Julio Alferes, Leopoldo Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman, Springer, 2016, p. 199-207Conference paper (Refereed)
    Abstract [en]

    We present a novel numerical optimisation based characterisation of spatial reasoning in the context of constraint logic programming (CLP). The approach —formalised and implemented within CLP— is developed as an extension to CLP(QS), a declarative spatial reasoning framework providing a range of mixed quantitative-qualitative spatial representation and reasoning capabilities. We demonstrate the manner in which the numerical optimisation based extensions further enhance the declarative spatial reasoning capabilities of CLP(QS).

  • 796.
    Schultz, Carl
    et al.
    The Design Space Group, Germany; University of Münster, Germany.
    Bhatt, Mehul
    The Design Space Group, Germany; University of Bremen, Germany.
    Constructive Geometric Constraint Solving as a General Framework for KR-Based Declarative Spatial Reasoning2016In: Declarative Learning Based Programming: Technical Report WS-16-07, AI Access Foundation , 2016, p. 417-423Conference paper (Refereed)
    Abstract [en]

    We present a robust and scalable KR-centered foundation for modularly supporting general declarative spatial representation and reasoning within diverse declarative programming AI frameworks. Based on Constructive Geometric Constraint Solving, our approach provides the foundations for mixed qualitative-quantitative reasoning about space - mereotopology, relative orientation, size, proximity - encompassing key application-driven capabilities such as qualification, spatial consistency solving, quantification, and dynamic geometry. The paper also demonstrates: (a) the framework with benchmark problems (e.g., contact and orientation problems) and applications in spatial Q/A; (b) integration with constraint logic programming, and (c) empirical results illustrating how the proposed encodings outperform existing methods by orders of magnitude on the selected problems.

  • 797.
    Schultz, Carl
    et al.
    The DesignSpace Group, Germany; Spatial Intelligence Lab (SIL), University of Münster, Germany.
    Bhatt, Mehul
    The DesignSpace Group, Germany; Department of Computer Science, University of Bremen, Germany.
    Borrmann, André
    Chair of Computational Modeling and Simulation, Technische Universität München, Germany.
    Bridging qualitative spatial constraints and feature-based parametric modelling: Expressing visibility and movement constraints2017In: Advanced Engineering Informatics, ISSN 1474-0346, E-ISSN 1873-5320, Vol. 31, p. 2-17Article in journal (Refereed)
    Abstract [en]

    We present a concept for integrating state-of-the-art methods in geometric and qualitative spatial representation and reasoning with feature-based parametric modelling systems. Using a case-study involving a combination of topological, visibility, and movement constraints, we demonstrate the manner in which a parametric model may be constrained by the spatial aspects of conceptual design specifications and higher-level semantic design requirements. We demonstrate the proposed methodology by applying it to architectural floor plan layout design, where a number of spaces with well defined functionalities have to be arranged such that particular functional design constraints are maintained. The case-study is developed by an integration of the declarative spatial reasoning system CLP(QS) (CLP(QS) - a declarative spatial reasoning system. www.spatial-reasoning.com.) with the parametric CAD system FreeCAD.

  • 798.
    Schultz, Carl
    et al.
    University of Münster, Münster, Germany; The DesignSpace Group, Bremen, Germany.
    Bhatt, Mehul
    University of Bremen, Bremen, Germany; The DesignSpace Group, Bremen, Germany.
    Suchan, Jakob
    University of Bremen, Bremen, Germany; The DesignSpace Group, Bremen, Germany.
    Probabilistic Spatial Reasoning in Constraint Logic Programming2016In: Scalable Uncertainty Management: 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings / [ed] Steven Schockaert, Pierre Senellart, Springer, 2016, p. 289-302Conference paper (Refereed)
    Abstract [en]

    In this paper we present a novel framework and full implementation of probabilistic spatial reasoning within a Logic Programming context. The crux of our approach is extending Probabilistic Logic Programming (based on distribution semantics) to support reasoning over spatial variables via Constraint Logic Programming. Spatial reasoning is formulated as a numerical optimisation problem, and we implement our approach within ProbLog 1. We demonstrate a range of powerful features beyond what is currently provided by existing probabilistic and spatial reasoning tools.

  • 799.
    Schultz, Carl P. L.
    et al.
    SFB/TR 8 Spatial Cognition, University of Bremen, Bremen, Germany.
    Bhatt, Mehul
    SFB/TR 8 Spatial Cognition, University of Bremen, Bremen, Germany.
    A multi-modal data access framework for spatial assistance systems: Use-cases with the industry foundation classes (IFC)2010In: Proceedings of the 2nd ACM SIGSPATIAL International Workshop on Indoor Spatial Awareness: ISA 2010, Association for Computing Machinery (ACM), 2010, p. 39-46Conference paper (Refereed)
    Abstract [en]

    Spatial assistance systems are computational embodiments of spatial decision-making and other forms of analytical abilities that otherwise typically require extensive domain-specific training, knowledge, and expertise. Broadly, such systems are essentially instruments of assistance, assurance and empowerment. Whereas these systems may vary in the domain of application and the precise manner of intelligent assistance, there exist several fundamental similarities from a systemic and information-theoretic viewpoint with regard to the ontological and computational foundations that underlie their practical design and implementation.

    We present a multi-modal spatial data access framework designed to serve the informational and computational requirements of the class of spatial assistance systems that are intended to provide intelligent spatial decision-making capabilities. The framework focuses on multi-perspective semantics, qualitative and artefactual abstractions, and industrial conformance and interoperability. We position the framework, and also provide use-cases with distinct application domains.

  • 800.
    Schultz, Carl P. L.
    et al.
    Cognitive Systems (CoSy) University of Bremen, Bremen, Germany.
    Bhatt, Mehul
    Cognitive Systems (CoSy) University of Bremen, Bremen, Germany.
    Declarative Computing with Shapes and Shadows2013In: SHAPES 2013: Proceedings of the Second Interdisciplinary Workshop The Shape of Things, Rio de Janeiro, Brazil, April 3-4, 2013, CEUR Workshop Proceedings , 2013, Vol. 1007, p. 143-150Conference paper (Refereed)
    Abstract [en]

    We present a preliminary concept and a prototypical implementation of a declarative computing framework that is capable of reasoning about 3D physical entities, and the shadows that they cast in open or uniformly lit environments. For this paper, we restrict our scope of 'uniform lighting' to sunlight, and its incidence on a given geospatially and temporally referenced location. The model extends traditional techniques from computational geometry and computer graphics that are primarily motivated by simulation or visualisation. In particular, our declarative framework is capable of deriving and reasoning about the objects and their cast shadows in a knowledge processing sense, e.g., involving qualitative abstraction and semantic specification of requirements, query capability, ensuring conceptual consistency of design requirements. Our ontology of objects and shadows, and the resulting computational framework serves as a foundational engine for high-level conceptual (spatial) design assistance technology. The capabilities demonstrated in this paper are aimed at applications in spatial design, chiefly encompassing Computer-Aided Architecture Design (CAAD), Urban Planning, and Interior Design.

13141516171819 751 - 800 of 941
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf