128 search results - page 15 / 26 » Two-Level Modeling |
163
Voted
CIE
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. We consider an extensional version, called qmTT, of the intensional Minimal Type Theory mTT, introduced in a previous paper with G. Sambin, enriched with proof-irrelevanc...
173
Voted
PKC
2007
Springer
16 years 14 days ago
2007
Springer
We present the first identity-based traitor tracing scheme. The scheme is shown to be secure in the standard model, assuming the bilinear decision Diffie-Hellman (DBDH) is hard in...
172
Voted
RSEISP
2007
Springer
16 years 14 days ago
2007
Springer
The main objective of this paper is to provide a granular computing based interpretation of rules representing two levels of knowledge. This is done by adopting and adapting the de...
162
Voted
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
In the present paper a system for generation of topological maps is going to be presented. This system is considered as one of the deliberative skills of the mobile robots architec...
189
Voted
ICMLA
2009
15 years 4 months ago
2009
We describe a system that successfully transfers value function knowledge across multiple subdomains of realtime strategy games in the context of multiagent reinforcement learning....