653 search results - page 73 / 131 » BRAHMS: Novel middleware for integrated systems computation |
DAC
2009
ACM
14 years 2 months ago
2009
ACM
For a computing system to be trusted, it is equally important to verify that the system performs no more and no less functionalities than desired. Traditional testing and verifica...
DAC
2010
ACM
13 years 6 months ago
2010
ACM
Numerous algorithms to macromodel a linear time-invariant (LTI) system from its frequency-domain sampling data have been proposed in recent years [1, 2, 3, 4, 5, 6, 7, 8], among w...
TOG
2008
13 years 8 months ago
2008
We present a new discrete velocity-level formulation of frictional contact dynamics that reduces to a pair of coupled projections and introduce a simple fixed-point property of th...
MM
2009
ACM
14 years 2 months ago
2009
ACM
The following paper presents a novel audio-visual approach for unsupervised speaker locationing. Using recordings from a single, low-resolution room overview camera and a single f...
CVPR
2007
IEEE
14 years 10 months ago
2007
IEEE
Utilization of an acoustic camera for range measurements is a key advantage for 3-D shape recovery of underwater targets by opti-acoustic stereo imaging, where the associated epip...