967 search results - page 12 / 194 » Building a Calculus of Data Structures |
CVPR
2008
IEEE
13 years 9 months ago
2008
IEEE
We present a new approach for building reconstruction from a single Digital Elevation Model (DEM). It treats buildings as an assemblage of simple urban structures extracted from a...
SIGGRAPH
1997
ACM
13 years 11 months ago
1997
ACM
This paper describes the integration of the Berkeley Architectural Walkthrough Program with the National Institute of Standards and Technology’s CFAST fire simulator. The integ...
ICDE
2006
IEEE
14 years 1 months ago
2006
IEEE
Structured P2P systems based on distributed hash tables are a popular choice for building large-scaled data management systems. Generally, they only support exact match queries, b...
ENTCS
2008
13 years 7 months ago
2008
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...
LREC
2008
2008
Building a Bilingual Representation of the Roget Thesaurus for French to English Machine Translation
13 years 9 months ago
This paper describes a solution to lexical transfer as a trade-off between a dictionary and an ontology. It shows its association to a translation tool based on morpho-syntactical...