Sciweavers

Share
62 search results - page 13 / 13
» A Framework for Reasoning About the Human in the Loop
Sort
View
GIS
2007
ACM
10 years 6 months ago
High-level web service for 3D building information visualization and analysis
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...
Benjamin Hagedorn, Jürgen Döllner
POPL
2016
ACM
4 years 1 months ago
Decidability of inferring inductive invariants
Induction is a successful approach for veriļ¬cation of hardware and software systems. A common practice is to model a system using logical formulas, and then use a decision proce...
Oded Padon, Neil Immerman, Sharon Shoham, Aleksand...
books