Sciweavers

1134 search results - page 94 / 227
» Composing Tests from Examples
Sort
View
APN
2010
Springer
15 years 4 months ago
Wendy: A Tool to Synthesize Partners for Services
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...
Niels Lohmann, Daniela Weinberg
CIKM
2005
Springer
15 years 4 months ago
Maximal termsets as a query structuring mechanism
Search engines process queries conjunctively to restrict the size of the answer set. Further, it is not rare to observe a mismatch between the vocabulary used in the text of Web p...
Bruno Pôssas, Nivio Ziviani, Berthier A. Rib...
CVPR
2009
IEEE
16 years 6 months ago
A Robust Approach for Automatic Registration of Aerial Images with Untextured Aerial LiDAR Data
Airborne LiDAR technology draws increasing interest in large-scale 3D urban modeling in recent years. 3D Li- DAR data typically has no texture information. To generate photo-rea...
Lu Wang, Ulrich Neumann
ICCV
2007
IEEE
16 years 1 months ago
3D generic object categorization, localization and pose estimation
We propose a novel and robust model to represent and learn generic 3D object categories. We aim to solve the problem of true 3D object categorization for handling arbitrary rotati...
Silvio Savarese, Fei-Fei Li 0002
ICIP
2004
IEEE
16 years 25 days ago
A new similarity measure using hausdorff distance map
Image dissimilarity measure is a hot topic. The measure process is generally composed of an information mining in each image which results in an image signature and then a signatu...
Etienne Baudrier, Frédéric Nicolier,...