3591 search results - page 565 / 719 » Typing linear constraints |
196
click to vote
PLDI
2006
ACM
16 years 13 days 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...
159
click to vote
ICMCS
2005
IEEE
16 years 2 days 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...
157
click to vote
ICPPW
2005
IEEE
16 years 2 days 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,...
164
click to vote
ACISP
2005
Springer
16 years 1 days 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...
180
click to vote
FOSSACS
2005
Springer
16 years 6 hour 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...