9425 search results - page 235 / 1885 » Some Notes on Models and Modelling |
138
Voted
ASPDAC
1999
ACM
15 years 8 months ago
1999
ACM
A method is introduced for model order reduction of large circuits extracted from layout. The algorithm, which is based on balanced realization, can be used for reducing the order ...
119
Voted
HASE
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper deals with the modelling and evaluation of mission-phased systems devoted to space applications. We propose a two level hierarchical method that allows to model such sy...
148
Voted
EWDW
1990
15 years 7 months ago
1990
The formal description of the semantics of object-oriented data models is still an open problem. Some characteristic features of object-oriented data models, such as methods and i...
151
Voted
BIRTHDAY
2004
Springer
15 years 7 months ago
2004
Springer
A quantified Boolean formula is true, if for any existentially quantified variable there exists a Boolean function depending on the preceding universal variables, such that substi...
119
Voted
CW
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper discusses a method to watermark a 3D shape model defined as a set of unoriented points. Our approach is to perform frequency domain analysis of the shape of the 3D poin...