735 search results - page 117 / 147 » A Mechanization of Phylogenetic Trees |
168
click to vote
GG
2004
Springer
15 years 11 months ago
2004
Springer
Refactorings are transformations that change the structure of a program, while preserving the behavior. The topic has attracted a lot of attention recently, since it is a promising...
180
click to vote
SASN
2003
ACM
15 years 11 months ago
2003
ACM
In this paper we present SECTOR, a set of mechanisms for the secure verification of the time of encounters between nodes in multi-hop wireless networks. This information can be u...
170
click to vote
ILP
2003
Springer
15 years 11 months ago
2003
Springer
RRL is a relational reinforcement learning system based on Q-learning in relational state-action spaces. It aims to enable agents to learn how to act in an environment that has no ...
130
click to vote
TLCA
1997
Springer
15 years 10 months ago
1997
Springer
We present a game model for classical PCF, a nite version of PCF extended by a catch/throw mechanism. This model is build from E-dialogues, a kind of two-players game de ned by Lor...
149
click to vote
TWC
2008
15 years 6 months ago
2008
3GPP 33.246 proposes Key Management Mechanism (KMM) to distribute security keys for Universal Mobile Telecommunications System (UMTS) Multimedia Broadcast and Multicast Service (MB...