Sciweavers

5414 search results - page 172 / 1083
» Exploratory Model Building
Sort
View
3DGIS
2006
Springer
15 years 8 months ago
Improving the Realism of Existing 3D City Models
Within the paper, a novel approach for the reconstruction of geometric details of building façades is presented. It is based on 3D point clouds from terrestrial laser scanning. B...
Martin Kada, Norbert Haala, Susanne Becker
FAABS
2004
Springer
15 years 7 months ago
Two Formal Gas Models for Multi-agent Sweeping and Obstacle Avoidance
Abstract. The task addressed here is a dynamic search through a bounded region, while avoiding multiple large obstacles, such as buildings. In the case of limited sensors and commu...
Wesley Kerr, Diana F. Spears, William M. Spears, D...
103
Voted
CRYPTO
2001
Springer
106views Cryptology» more  CRYPTO 2001»
15 years 6 months ago
Oblivious Transfer in the Bounded Storage Model
Building on a previous important work of Cachin, Cr´epeau, and Marcil [15], we present a provably secure and more efficient protocol for 2 1 -Oblivious Transfer with a storage-bou...
Yan Zong Ding
MPC
1998
Springer
140views Mathematics» more  MPC 1998»
15 years 6 months ago
A Set-Theoretic Model for Real-Time Specification and Reasoning
Timed-trace formalisms have emerged as a powerful method for specifying and reasoning about concurrent real-time systems. We present a simple variant which builds methodically on s...
Colin J. Fidge, Ian J. Hayes, A. P. Martin, Axel W...
RE
2008
Springer
15 years 1 months ago
Extracting and Modeling Product Line Functional Requirements
We introduce an extractive approach to building a product line's requirements assets. We define the functional requirements profiles (FRPs) according to the linguistic charac...
Nan Niu, Steve M. Easterbrook