729 search results - page 59 / 146 » Multisensor Integration for Building Modeling |
109
Voted
COMPSAC
1997
IEEE
15 years 6 months ago
1997
IEEE
Many large software systems are tightly integrated with their physical environments and must be adapted when their environment changes. Typically, software development methodologi...
117
click to vote
DAC
2006
ACM
16 years 3 months ago
2006
ACM
In this paper, a Triangularization Based Structure preserving (TBS) model order reduction is proposed to verify power integrity of on-chip structured power grid. The power grid is...
137
click to vote
CLIMA
2010
15 years 3 months ago
2010
In this paper we present an agent language that combines agent functionality with an action theory and model-theoretic semantics. The language is based on abductive logic programmi...
115
click to vote
ISEMANTICS
2010
15 years 3 months ago
2010
The project SESAME uses semantic modeling and reasoning to support home owners and building managers in saving energy and in optimizing their energy costs while maintaining their ...
154
click to vote
ASE
1998
15 years 2 months ago
1998
Software process improvement requires high level formalisms for describing project-specific, organizational and quality aspects. These formalisms must be convenient not only for ...