5302 search results - page 117 / 1061 » Learning How to Separate |
105
Voted
CAV
2006
Springer
15 years 7 months ago
2006
Springer
We present lookahead widening, a novel technique for using existing widening and narrowing operators to improve the precision of static analysis. This technique is both self-contai...
142
Voted
ETFA
2008
IEEE
15 years 5 months ago
2008
IEEE
In this paper we discuss the separation between attributes on functionality and on structure following an approach based on Model Driven Engineering (MDE). We adopt a methodologic...
129
click to vote
DLOG
2009
15 years 4 months ago
2009
Relation Based Access Control (RelBAC) is an access control model designed for the new scenarios of access control on Web 2.0. Under this model, we discuss in this paper how to for...
140
Voted
ILP
2007
Springer
15 years 9 months ago
2007
Springer
In reinforcement learning problems, an agent has the task of learning a good or optimal strategy from interaction with his environment. At the start of the learning task, the agent...
168
Voted
ITS
1998
Springer
15 years 7 months ago
1998
Springer
We define a learning tutor as being an intelligent agent that learns from human tutors and then tutors human learners. The notion of a learning tutor provides a conceptual framewor...