729 search results - page 73 / 146 » Multisensor Integration for Building Modeling |
126
click to vote
IFM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present an industrial project conducted at Ericsson Danmark A/S, Telebit where formal methods in the form of Coloured Petri Nets (CP-nets or CPNs) have been used for t...
135
click to vote
EUROMICRO
2009
IEEE
15 years 6 months ago
2009
IEEE
Model-driven application engineering builds on the concept of model transformations. To weave additional refinement parts into an application model, so-called refinement transform...
120
click to vote
CRITIS
2007
15 years 3 months ago
2007
Security Management is a complex task. It requires several interconnected activities: designing, implementing and maintaining a robust technical infrastructure, developing suitable...
97
Voted
ICASSP
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper investigates unsupervised vocabulary and language model self-adaptation (VLA) from just one speech file using the web as a knowledge source and without prior knowledge...
154
Voted
JHSN
2006
15 years 2 months ago
2006
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard ...