Sciweavers

3533 search results - page 396 / 707
» Information theory and Thermodynamics
Sort
View
ICVS
2003
Springer
15 years 12 months ago
Automatic Mapping of Settlement Areas Using a Knowledge-Based Image Interpretation System
Abstract. We introduce the knowledge-based image interpretation system GeoAIDA and give examples for an image operator, extracting trees from aerial imagery. Moreover we present a ...
Bernd-Michael Straub, Markus Gerke, Martin Pahl
191
Voted
ECCV
2010
Springer
15 years 12 months ago
Shape from Second-bounce of Light Transport
This paper describes a method to recover scene geometry from the second-bounce of light transport. We show that form factors (up to a scaling ambiguity) can be derived from the sec...
AGP
2010
IEEE
15 years 11 months ago
Proof-Theoretic and Higher-Order Extensions of Logic Programming
We review the Italian contribution to proof-theoretic and higher-order extensions of logic programming; this originated from the realization that Horn clauses lacked standard abstr...
Alberto Momigliano, Mario Ornaghi
WOLLIC
2010
Springer
15 years 11 months ago
On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations
Recently, an axiomatization for functional dependencies (FDs) and multivalued dependencies (MVDs) has been established where arbitrary attributes can be specified as NOT NULL. Tha...
Flavio Ferrarotti, Sven Hartmann, Sebastian Link
HICSS
2002
IEEE
91views Biometrics» more  HICSS 2002»
15 years 11 months ago
The Planet Method for Designing Relationships in B2B E-commerce
Business to Business (B2B) relationships in Ecommerce are becoming increasingly important. However, there is little guidance available for managers about how relationships should ...
Alistair G. Sutcliffe, Norma Lammont