3618 search results - page 29 / 724 » Additive functions for number systems in function fields |
152
Voted
ICFP
2012
ACM
13 years 5 months ago
2012
ACM
Programming with dependent types is a blessing and a curse. It is a blessing to be able to bake invariants into the definition of datatypes: we can finally write correct-by-cons...
128
Voted
HICSS
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper we study the modelling of consensus reaching in a ‘soft’ environment, i.e. when the individual testimonies are expressed as fuzzy preference relations. Here cons...
126
Voted
HYBRID
2009
Springer
15 years 7 months ago
2009
Springer
This paper studies the exponential stabilization problem for discrete-time switched linear systems based on a control-Lyapunov function approach. A number of versions of converse c...
99
Voted
AML
2005
15 years 2 months ago
2005
A strong reducibility relation between partial numberings is introduced which is such that the reduction function transfers exactly the numbers which are indices under the numberin...
124
Voted
DISCO
1993
15 years 6 months ago
1993
The fastest known algorithms in classical algebra make use of signature functions. That is, reducing computation with formulae to computing with the integers modulo p, by substitut...