3280 search results - page 42 / 656 » MiTAP for real users, real data, real problems |
EUROGP
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Speech quality, as perceived by the users of Voice over Internet Protocol (VoIP) telephony, is critically important to the uptake of this service. VoIP quality can be deg...
ECBS
2009
IEEE
14 years 3 months ago
2009
IEEE
Future space missions, such as Mars Science Laboratory, are built upon computing platforms providing a high degree of autonomy and diverse functionality. The increased sophisticat...
CADE
2005
Springer
14 years 8 months ago
2005
Springer
We present a fully proof-producing implementation of a quantifier elimination procedure for real closed fields. To our knowledge, this is the first generally useful proof-producing...
ICPP
2007
IEEE
14 years 2 months ago
2007
IEEE
The real-time image forming in future, high-end synthetic aperture radar systems is an example of an application that puts new demands on computer architectures. The initial quest...
WECWIS
2006
IEEE
14 years 2 months ago
2006
IEEE
— In today's competitive environment, analysing data to predict market trends of products and services and to improve the performance of enterprise systems is an essential b...