Sciweavers

2557 search results - page 58 / 512
» Structures of the Environment in Colonies
Sort
View
ICPR
2002
IEEE
14 years 8 months ago
Fusion of Range and Visual Data for the Extraction of Scene Structure Information
In this paper, a method for inferring 3D structure information based on both range and visual data is proposed. Data fusion is achieved by validating assumptions formed according ...
Haris Baltzakis, Antonis A. Argyros, Panos E. Trah...
AISC
2004
Springer
13 years 11 months ago
Four Approaches to Automated Reasoning with Differential Algebraic Structures
While implementing a proof for the Basic Perturbation Lemma (a central result in Homological Algebra) in the theorem prover Isabelle one faces problems such as the implementation o...
Jesús Aransay, Clemens Ballarin, Julio Rubi...
WOWMOM
2006
ACM
128views Multimedia» more  WOWMOM 2006»
14 years 1 months ago
Enabling Engineering Document in Mobile Computing Environment
A multi-level hierarchical content organization and on-demand delivery framework is presented in this paper. This framework enables engineering content representation and exchange...
Xiaoyong Su, Chi-Cheng Peter Chu, B. S. Prabhu, Ra...
DEXA
2000
Springer
82views Database» more  DEXA 2000»
14 years 3 days ago
A Qualitative Formalization of Built Environments
Abstract. In this paper I argue that a qualitative formalization of built environments needs to take into account: (1) the ontological distinction between bonafide and fiat bound...
Thomas Bittner
DOLAP
1999
ACM
14 years 3 days ago
Event-Entity-Relationship Modeling in Data Warehouse Environments
We use the event-entity-relationship model (EVER) to illustrate the use of entity-based modeling languages for conceptual schema design in data warehouse environments. EVER is a g...
Lars Bækgaard