902 search results - page 142 / 181 » Modeling and Reasoning about Uncertainty in Context-Aware Sy... |
202
click to vote
GIS
2007
ACM
16 years 1 months ago
2007
ACM
This paper presents an approach to visualize and analyze 3D building information models within virtual 3D city models. Building information models (BIMs) formalize and represent d...
135
click to vote
FLOPS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Assertion-based contracts provide a powerful mechanism for stating invariants at module boundaries and for enforcing them uniformly. In 2002, Findler and Felleisen showed...
115
click to vote
TLDI
2009
ACM
15 years 9 months ago
2009
ACM
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
97
Voted
IADIS
2008
15 years 2 months ago
2008
The goal of this work is to study the feasibility of a Heterogeneous Data Classification and Search (HDCS) system and to provide a possible design for its implementing. In order t...
116
click to vote
SEMWEB
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We present a method for rapid development of benchmarks for Semantic Web knowledge base systems. At the core, we have a synthetic data generation approach for OWL that is...