Sciweavers

2694 search results - page 211 / 539
» A Description Logic of Change
Sort
View
IWFM
2000
162views Formal Methods» more  IWFM 2000»
15 years 8 months ago
Modal Logics for Reasoning about Object-based Component Composition
Component-oriented development of software supports the adaptability and maintainability of large systems, in particular if requirements change over time and parts of a system hav...
Claus Pahl
AIR
2004
106views more  AIR 2004»
15 years 6 months ago
Web-Based Adaptive Tutoring: An Approach Based on Logic Agents and Reasoning about Actions
In this paper we describe an approach to the construction of adaptive tutoring systems, based on techniques from the research area of Reasoning about Actions and Change. This appro...
Matteo Baldoni, Cristina Baroglio, Viviana Patti
AAAI
2000
15 years 8 months ago
cc-Golog: Towards More Realistic Logic-Based Robot Controllers
High-level robot controllers in realistic domains typically deal with processes which operate concurrently, change the world continuously, and where the execution of actions is ev...
Henrik Grosskreutz, Gerhard Lakemeyer
TCSV
2008
110views more  TCSV 2008»
15 years 6 months ago
Fuzzy-Logic Congestion Control of Transcoded Video Streaming Without Packet Loss Feedback
Congestion control of a variable bit-rate video stream crossing the Internet is crucial to ensuring the quality of the received video. When a fuzzy-logic congestion controller (FL...
Emmanuel Jammeh, Martin Fleury, Mohammed Ghanbari
ICSE
2007
IEEE-ACM
16 years 6 months ago
A Robust Semantic Overlay Network for Microgrid Control Applications
Abstract. Control systems for electrical microgrids rely ever more on heterogeneous off-the-shelf technology for hardware, software and networking among the intelligent electronic ...
Geert Deconinck, Koen Vanthournout, Hakem Beitolla...