4894 search results - page 192 / 979 » Choices |
164
click to vote
HYBRID
2007
Springer
16 years 1 months ago
2007
Springer
The aim of this paper is twofold. On one hand we present an approach to the general problem of nonlinear control in the framework of (differentiable) groupoids, which, in our opin...
214
click to vote
ILP
2007
Springer
16 years 1 months ago
2007
Springer
Several activities related to semantically annotated resources can be enabled by a notion of similarity, spanning from clustering to retrieval, matchmaking and other forms of induc...
186
click to vote
WOLLIC
2007
Springer
16 years 1 months ago
2007
Springer
We survey several computational interpretations of classical linear logic based on two-player one-move games. The moves of the games are higherorder functionals in the language of ...
176
Voted
APCCAS
2006
IEEE
16 years 1 months ago
2006
IEEE
— We conduct a complete analysis of the effect of digit redundancy in adders on their delay, power, energy, and energy-delay product. To our knowledge, this is the first such de...
155
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
Recently, the interest about the Tate pairing over binary fields has decreased due to the existence of efficient attacks to the discrete logarithm problem in the subgroups of su...