9626 search results - page 1748 / 1926 » Invariant Based Programming |
123
Voted
DAGM
2010
Springer
15 years 17 days ago
2010
Springer
We present a novel method for 3D reconstruction of urban scenes extending a recently introduced heightmap model. Our model has several advantages for 3D modeling of urban scenes: i...
210
Voted
DOLAP
2010
ACM
15 years 17 days ago
2010
ACM
Relational database systems have been the dominating technology to manage and analyze large data warehouses. Moreover, the ER model, the standard in database design, has a close r...
138
Voted
EMNLP
2010
15 years 17 days ago
2010
The task of selecting information and rendering it appropriately appears in multiple contexts in summarization. In this paper we present a model that simultaneously optimizes sele...
139
Voted
EMSOFT
2010
Springer
15 years 17 days ago
2010
Springer
Nucleos is a new runtime system for ultra-lightweight embedded systems. Central to Nucleos is a dispatcher based on the concept of e threaded code, which enables layers of abstrac...
140
Voted
ESA
2010
Springer
15 years 17 days ago
2010
Springer
Abstract. We study an online version of Fisher's linear case market. In this market there are m buyers and a set of n dividable goods to be allocated to the buyers. The utilit...