9581 search results - page 1420 / 1917 » On Ubiquitous Integrated Computing |
187
click to vote
ECCV
1992
Springer
15 years 11 months ago
1992
Springer
Projective distortion of surface texture observed in a perspective image can provide direct information about the shape of the underlying surface. Previous theories have generally...
187
click to vote
PLILP
1993
Springer
15 years 11 months ago
1993
Springer
Abstract. Solving equations in equational theories is a relevant programming paradigm which integrates logic and equational programming into one unified framework. Efficient metho...
173
click to vote
SAC
1994
ACM
15 years 11 months ago
1994
ACM
Traditional database technology may be extended by taking advantage of the facilities of an integrated persistent programming environment. This paper focuses on how such an enviro...
196
click to vote
TLCA
1993
Springer
15 years 11 months ago
1993
Springer
d abstract) Giorgio Ghelli1 F≤ is a type system used to study the integration of inclusion and parametric polymorphism. F≤ does not include a notion of recursive types, but ext...
253
click to vote
NOSSDAV
1992
Springer
15 years 11 months ago
1992
Springer
: We present an overview of a "best-effort" transport protocol that supports conferencing with digital audio and video across interconnected packet switched networks. The...