971 search results - page 119 / 195 » Approximate Satisfiability and Equivalence |
81
Voted
ICASSP
2008
IEEE
15 years 7 months 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...
ARITH
2007
IEEE
15 years 7 months 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...
111
Voted
GLOBECOM
2007
IEEE
15 years 7 months 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...
98
Voted
AAMAS
2007
Springer
15 years 7 months 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...
103
Voted
ICRA
2005
IEEE
15 years 6 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 ...