2794 search results - page 118 / 559 » A New Architecture for Automated Modelling |
ARC
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. This paper presents a novel dynamically reconfigurable hardware architecture for lossless compression and its optimization for space imagery. The proposed system makes us...
TOG
2010
14 years 6 months ago
2010
We present a method for automated generation of building layouts for computer graphics applications. Our approach is motivated by the layout design process developed in architectu...
ECSQARU
2001
Springer
15 years 3 months ago
2001
Springer
The term “changes in structure,” originating from work in econometrics, refers to structural modifications invoked by actions on a causal model. In this paper we formalize the...
ISCAS
2007
IEEE
15 years 5 months ago
2007
IEEE
— An important property of embedded systems is dependability. Today this addresses mostly safety and reliability. Guaranteeing these properties is normally done by adding redunda...
LICS
2000
IEEE
15 years 3 months ago
2000
IEEE
We introduce a new model based on coherence spaces for interpreting large impredicative type systems such as the Extended Calculus of Constructions (ECC). Moreover, we show that t...