3172 search results - page 382 / 635 » Combining Specification Techniques for Processes, Data and T... |
199
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
We investigate how to organize a large collection of geotagged photos, working with a dataset of about 35 million images collected from Flickr. Our approach combines content analy...
163
click to vote
MOBICOM
2006
ACM
16 years 17 days ago
2006
ACM
This paper discusses the current state of the art systems of real time telemetry on oceanographic moorings and describes the design requirements for making acoustic modem data tel...
198
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
Abstract. Fitting parameterized 3D shape and general reflectance models to 2D image data is challenging due to the high dimensionality of the problem. The proposed method combines ...
157
click to vote
ECIS
2003
15 years 8 months ago
2003
While online service providers are sometimes accused of forwarding identifying customer information as name and address to untrusted third parties, comparatively little attention ...
183
click to vote
ENTCS
2002
15 years 6 months ago
2002
Abstract. We present an extension to linear-time temporal logic (LTL) that combines the temporal specification with the collection of statistical data. By collecting statistics ove...