10910 search results - page 332 / 2182 » Input modeling using a computer algebra system |
151
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
Communication exploration has become a critical step during SoC design. Researchers in the CAD community have proposed fast and efficient techniques for comprehensive design space ...
176
click to vote
ICCAD
2008
IEEE
16 years 3 months ago
2008
IEEE
Abstract— This paper addresses the problem of solving finite word-length (bit-vector) arithmetic with applications to equivalence verification of arithmetic datapaths. Arithmet...
142
click to vote
BC
1998
15 years 6 months ago
1998
Abstract. Based on theoretical issues and neurobiological evidence, considerable interest has recently focused on dynamic computational elements in neural systems. Such elements re...
200
click to vote
FGR
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper proposes a method of determining human head poses from a sequence of images. The main idea is to use some features in a 3D head model to generate a virtual fronto-paral...
166
click to vote
GLOBECOM
2008
IEEE
15 years 6 months ago
2008
IEEE
Spatial correlation among received signals has a significant impact on the performance of a multipleinput multiple-output (MIMO) system. In prior research, expressions were derived...