Sciweavers

2038 search results - page 335 / 408
» Probabilistic Agent Programs
Sort
View
CORR
2007
Springer
126views Education» more  CORR 2007»
14 years 12 months ago
Linear Tabling Strategies and Optimizations
Recently there has been a growing interest of research in tabling in the logic programming community because of its usefulness in a variety of application domains including progra...
Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen
SIAMSC
2010
116views more  SIAMSC 2010»
14 years 10 months ago
Recursively Accelerated Multilevel Aggregation for Markov Chains
A recursive acceleration method is proposed for multiplicative multilevel aggregation algorithms that calculate the stationary probability vector of large, sparse, and irreducible ...
Hans De Sterck, K. Miller, G. Sanders, M. Winlaw
JAR
2008
107views more  JAR 2008»
14 years 12 months ago
Differential Dynamic Logic for Hybrid Systems
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equat...
André Platzer
LPNMR
2007
Springer
15 years 6 months ago
Using Answer Sets to Solve Belief Change Problems
We describe BE, an implemented system for solving belief change problems in the presence of actions. We illustrate how we can use BE to compute the result of belief progression, be...
Aaron Hunter, James P. Delgrande, Joel Faber
C5
2005
IEEE
15 years 5 months ago
P2P e-Learning System and Its Squeak-Based User Interface
In this paper, we present a novel framework for asynchronous Web-based training. The proposed system has two distinguishing features. Firstly, it is based on P2P architecture for ...
Takao Kawamura, Ryosuke Nakatani, Kazunori Sugahar...