861 search results - page 115 / 173 » Persistent Object Systems: From Technology to Market |
105
click to vote
BIRTHDAY
2010
Springer
15 years 1 days ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
WWW
2008
ACM
16 years 16 days ago
2008
ACM
The migration from desktop applications to Web-based services is scattering personal data across a myriad of Web sites, such as Google, Flickr, YouTube, and Amazon S3. This disper...
141
click to vote
CVPR
2009
IEEE
16 years 7 months ago
2009
IEEE
This paper deals with estimation of dense optical flow
and ego-motion in a generalized imaging system by exploiting
probabilistic linear subspace constraints on the flow.
We dea...
WWW
2007
ACM
16 years 16 days ago
2007
ACM
Morphbank, an on-line collection of museum-quality biological images, is an NSF funded project designed to facilitate the on-line collaboration of biologists from around the world...
108
click to vote
ASWC
2006
Springer
15 years 3 months ago
2006
Springer
Watson is a gateway to the Semantic Web: it collects, analyzes and gives access to ontologies and semantic data available online. Its objective is to support the development of ne...