3229 search results - page 500 / 646 » Theories with the Independence Property |
182
click to vote
FOSSACS
2005
Springer
16 years 1 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...
167
click to vote
ICDT
2005
ACM
16 years 18 hour ago
2005
ACM
The existence of a language expressing precisely the PTIME queries on arbitrary structures remains the central open problem in the theory of database query languages. As it turns o...
178
click to vote
WAC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In this paper, we present and analyze a framework for selfevolving autonomic services in a wireless nomadic environment. We present a disconnected network architecture, w...
151
click to vote
COMPGEOM
2004
ACM
15 years 12 months ago
2004
ACM
Robustness problems due to the substitution of the exact computation on real numbers by the rounded floating point arithmetic are often an obstacle to obtain practical implementa...
157
click to vote
HT
2004
ACM
15 years 12 months ago
2004
ACM
ZigZag is a paradigm of hypermedia that consists of a multidimensional system of principled interconnections. Its basic features and specifications are now well known, but despite...