Sciweavers

3733 search results - page 95 / 747
» Logics of communication and change
Sort
View
IWFM
2000
162views Formal Methods» more  IWFM 2000»
15 years 2 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
119
Voted
AIR
2004
106views more  AIR 2004»
15 years 29 days 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
ELPUB
1997
ACM
15 years 5 months ago
The slow evolution of electronic publishing
How will scholarly publishing evolve? The history of other technological innovations suggests the shift to electronic publications will be rapid, but fundamental changes in the na...
Andrew M. Odlyzko
95
Voted
AAAI
2000
15 years 2 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
136
Voted
TCSV
2008
110views more  TCSV 2008»
15 years 29 days 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