4930 search results - page 748 / 986 » Learning minimal abstractions |
184
Voted
FOSSACS
2005
Springer
16 years 4 days 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...
175
click to vote
FSTTCS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We consider a generalization of the set cover problem, in which elements are covered by pairs of objects, and we are required to find a minimum cost subset of objects th...
165
click to vote
HIPEAC
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. This paper presents a new security architecture for protecting software confidentiality and integrity. Different from the previous process-centric systems designed for ...
159
click to vote
ICCS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. This article presents special quadrilateral quadratic refinement elements, which provide geometry and field continuity across Tjunctions where two elements are connecte...
198
click to vote
ICSOC
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Composite web services can be orchestrated in a decentralized manner by breaking down the original service specification into a set of partitions and executing them on a...