3591 search results - page 565 / 719 » Typing linear constraints |
181
click to vote
PLDI
2006
ACM
15 years 12 months ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...
149
click to vote
ICMCS
2005
IEEE
15 years 11 months ago
2005
IEEE
Super-Resolution is the problem of generating one or a set of high-resolution images from one or a sequence of lowresolution frames. Most methods have been proposed for super-reso...
147
click to vote
ICPPW
2005
IEEE
15 years 11 months ago
2005
IEEE
We report on a £rst parallel implementation of a recent algorithm to factor positive dimensional solution sets of polynomial systems. As the algorithm uses homotopy continuation,...
157
Voted
ACISP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Multivariate public-key cryptosystems (sometimes polynomial-based PKC’s or just multivariates) handle polynomials of many variables over relatively small fields instea...
166
click to vote
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...