959 search results - page 5 / 192 » Transfers between Logics and their Applications |
89
Voted
LCN
2005
IEEE
15 years 3 months ago
2005
IEEE
It is known that analytic modelling for TCP latency is a non trivial task. Recently, some significant progress has been made, such as the comprehensive result by Sikdar et al. Ho...
CAV
2012
Springer
12 years 12 months ago
2012
Springer
Abstract. In formal verification of hybrid systems, a big challenge is to incorporate continuous flow dynamics in a discrete framework. Our previous work proposed to use nonstand...
76
Voted
JURIX
2008
14 years 11 months ago
2008
The two main types of law are legislation and precedents. Both types have a corresponding reasoning pattern determining legal consequences: legislation can be applied and precedent...
115
click to vote
KI
1998
Springer
15 years 1 months ago
1998
Springer
The control of mobile robots acting autonomously in the real world is one of the long-term goals of the field of artificial intelligence. So far the field lacks methods bridging th...
ECML
2006
Springer
15 years 1 months ago
2006
Springer
We describe a reinforcement learning system that transfers skills from a previously learned source task to a related target task. The system uses inductive logic programming to ana...