1937 search results - page 293 / 388 » Rule Based Updates on Simple Knowledge Bases |
154
click to vote
TC
2002
15 years 3 months ago
2002
Abstract--Mobile systems increasingly are being used for production-grade datacentered applications which require system support for transactional properties. For mobile applicatio...
150
Voted
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
— Reinforcement learning (RL) is one of the most general approaches to learning control. Its applicability to complex motor systems, however, has been largely impossible so far d...
139
click to vote
NFM
2011
14 years 11 months ago
2011
Program verifiers based on first-order theorem provers model the program heap as a collection of mutable maps. In such verifiers, preserving unmodified facts about the heap acr...
134
Voted
IUI
2010
ACM
16 years 25 days ago
2010
ACM
We present an extension of a computational cognitive model of social tagging and exploratory search called the semantic imitation model. The model assumes a probabilistic represen...
169
click to vote
LWA
2004
15 years 5 months ago
2004
In this paper we present a flexible assessment framework for eLearning based on semantic web technologies. The assessment techniques are formalized as reasoning rules. These rules...