6756 search results - page 993 / 1352 » The Structure of Visual Spaces |
190
click to vote
ASPDAC
2007
ACM
15 years 10 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...
157
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
In today's designs, when functional verification fails, engineers perform debugging using the provided error traces. Reducing the length of error traces can help the debugging...
191
click to vote
ECAL
2007
Springer
15 years 10 months ago
2007
Springer
Energy flows in ecological systems which are determined by the structure of the ecological network influence the evolution of the network itself. The total system energy throughflo...
206
click to vote
GBRPR
2007
Springer
15 years 10 months ago
2007
Springer
We propose in this article an image classification technique based on kernel methods and graphs. Our work explores the possibility of applying marginalized kernels to image process...
187
click to vote
GCB
2009
Springer
15 years 10 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...