971 search results - page 119 / 195 » Approximate Satisfiability and Equivalence |
134
click to vote
ICASSP
2008
IEEE
16 years 24 days ago
2008
IEEE
Fundamental frequency contours for speech, as obtained by common pitch tracking algorithms, contain a great deal of fine detail that is unlikely to hold much perceptual significa...
138
click to vote
ARITH
2007
IEEE
16 years 21 days ago
2007
IEEE
The floating point unit of the next generation PowerPC is detailed. It has been tested at over 5 GHz. The design supports an extremely aggressive cycle time of 13 FO4 using a tech...
178
click to vote
GLOBECOM
2007
IEEE
16 years 21 days ago
2007
IEEE
Abstract— For MIMO broadcast systems the effects of shadowing on the channel capacity and the fairness of the system in sharing the resources amongst multiple users are important...
164
click to vote
AAMAS
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. We study optimal control in large stochastic multi-agent systems in continuous space and time. We consider multi-agent systems where agents have independent dynamics with...
167
click to vote
ICRA
2005
IEEE
15 years 12 months ago
2005
IEEE
— This paper presents the novel insight that the SLAM information matrix is exactly sparse in a delayedstate framework. Such a framework is used in view-based representations of ...