3495 search results - page 562 / 699 » On the random satisfiable process |
173
click to vote
CP
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Alcatel-Lucent is a major player in the eld of telecommunications. One of the products it oers to network operators is wireless infrastructure such as base stations. Su...
159
click to vote
TLCA
2007
Springer
16 years 14 days ago
2007
Springer
In our previous work [17] we have shown that for any ω-algebraic meet-cpo D, if all higher-order stable function spaces built from D are ω-algebraic, then D is finitary. This ac...
147
click to vote
DATE
2006
IEEE
16 years 12 days ago
2006
IEEE
We present a dynamic bit-width adaptation scheme in DCT applications for efficient trade-off between image quality and computation energy. Based on sensitivity differences of 64 ...
142
click to vote
3DGIS
2006
Springer
16 years 10 days ago
2006
Springer
The Democratic Republic of Timor-Leste (East Timor) attained independence on 20 May 2002, marking its separation from Indonesia. As a newly independent country, East Timor is face...
174
click to vote
NORDICHI
2006
ACM
16 years 9 days ago
2006
ACM
This paper describes the design process of a modular system for supporting physical and cognitive rehabilitation in the swimming pool. In such an environment, the therapist is cal...