Sciweavers

1902 search results - page 119 / 381
» Differential Dynamic Logics
Sort
View
AIR
2004
106views more  AIR 2004»
15 years 5 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
ARTCOM
2009
IEEE
16 years 13 days ago
ANFIS Approach for Navigation of Mobile Robots
— This paper, discusses about navigation control of mobile robot using adaptive neuro-fuzzy inference system (ANFIS) in a real word dynamic environment. In the ANFIS controller a...
Mukesh Kumar Singh, Dayal R. Parhi, Jayanta Kumar ...
DSD
2002
IEEE
90views Hardware» more  DSD 2002»
15 years 10 months ago
Simplifying Instruction Issue Logic in Superscalar Processors
Modern microprocessors schedule instructions dynamically in order to exploit instruction-level parallelism. It is necessary to increase instruction window size for improving instr...
Toshinori Sato, Itsujiro Arita
CORR
2010
Springer
74views Education» more  CORR 2010»
15 years 5 months ago
RAFDA: Middleware Supporting the Separation of Application Logic from Distribution Policy
Middleware technologies, often limit the way in which object classes may be used in distributed applications due to the fixed distribution policies imposed by the Middleware system...
Alan Dearle, Scott M. Walker, Stuart J. Norcross, ...
KR
2010
Springer
15 years 10 months ago
One Hundred Prisoners and a Lightbulb - Logic and Computation
This is a case-study in knowledge representation. We analyze the ‘one hundred prisoners and a lightbulb’ puzzle. In this puzzle it is relevant what the agents (prisoners) know...
Hans P. van Ditmarsch, Jan van Eijck, William Wu