875 search results - page 152 / 175 » Extending the CG Model by Simulations |
GLVLSI
2009
IEEE
13 years 6 months ago
2009
IEEE
To assist in dynamic assertion-based verification, we present a method to automatically build a test vector generator from a temporal property. Based on the duality between monito...
ICRA
2009
IEEE
13 years 6 months ago
2009
IEEE
Mapping opaque and confined environments such as caves and pipes is a challenging problem for mobile robots because sensor information is severely limited to the immediate proximit...
JCNS
2010
13 years 3 months ago
2010
Optimal filtering of noisy voltage signals on dendritic trees is a key problem in computational cellular neuroscience. However, the state variable in this problem -- the vector of...
TITS
2010
13 years 3 months ago
2010
The agent computing paradigm is rapidly emerging as one of the powerful technologies for the development of largescale distributed systems to deal with the uncertainty in a dynamic...
ICASSP
2011
IEEE
13 years 14 days ago
2011
IEEE
Due to multipath delay spread and relatively high sampling rate in OFDM systems, the channel estimation is formulated as a sparse recovery problem, where a hybrid compressed sensi...