580 search results - page 59 / 116 » Building a Family of Compilers |
218
click to vote
CADE
2002
Springer
16 years 4 months ago
2002
Springer
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
136
click to vote
ICTIR
2009
Springer
15 years 10 months ago
2009
Springer
We introduce perturbation kernels, a new class of similarity measure for information retrieval that casts word similarity in terms of multi-task learning. Perturbation kernels mode...
134
click to vote
TLCA
2009
Springer
15 years 10 months ago
2009
Springer
We introduce a Game Semantics where strategies are partial orders, and composition is a generalization of the merging of orders. Building on this, to bridge between Game Semantics ...
107
click to vote
ACNS
2008
Springer
15 years 10 months ago
2008
Springer
We propose a light-weight protocol for authentication of low-power devices. Our construction PUF-HB merges the positive qualities of two families of authentication functions. PUF ...
127
click to vote
ISMVL
2007
IEEE
15 years 10 months ago
2007
IEEE
Extending the ideas of Quantum Braitenberg Vehicles from [14], we present here a family of Lego robots controlled by multiple-valued quantum circuits. The robots have at most 6 de...