2450 search results - page 285 / 490 » Time Mapping with Hypergraphs |
137
Voted
ASPDAC
2007
ACM
15 years 7 months ago
2007
ACM
This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...
139
Voted
INCDM
2010
Springer
15 years 7 months ago
2010
Springer
This paper reports on a mechanism to identify temporal spatial trends in social networks. The trends of interest are defined in terms of the occurrence frequency of time stamped p...
133
Voted
CLOUDCOM
2009
Springer
15 years 7 months ago
2009
Springer
Workflows are modeled as hierarchically structured directed acyclic graphs in which vertices represent computational tasks, referred to as requests, and edges represent precedent c...
129
Voted
GCB
2009
Springer
15 years 7 months ago
2009
Springer
: Understanding complex biological systems requires data from manifold biological levels. Often this data is analysed in some meaningful context, for example, by integrating it int...
127
Voted
AFRIGRAPH
2001
ACM
15 years 7 months ago
2001
ACM
The distortion operator transforms 2D images in a manner similar to image warping or morphing, allowing source pixels to be mapped to any destination pixel. This operator can be i...