3384 search results - page 444 / 677 » More Testable Properties |
155
click to vote
QOFIS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. An intention to adopt IP protocol for future mobile communication and subsequent extension of Internet services to the air interface calls for advanced performance modeli...
168
click to vote
CSB
2003
IEEE
15 years 12 months ago
2003
IEEE
The design of large scale DNA microarrays is a challenging problem. So far, probe selection algorithms must trade the ability to cope with large scale problems for a loss of accur...
174
click to vote
CSFW
2003
IEEE
15 years 12 months ago
2003
IEEE
To be practical, systems for ensuring secure information flow must be as permissive as possible. To this end, the author recently proposed a type system for multi-threaded progra...
155
click to vote
FOCS
2003
IEEE
15 years 12 months ago
2003
IEEE
: Can Grover’s algorithm speed up search of a physical region—for example a 2-D grid of size √ n × √ n? The problem is that √ n time seems to be needed for each query, j...
176
click to vote
ICRA
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract— This paper presents a randomized manipulation planner for a multi-fingered hand by switching contact modes. Manipulation planning for such a system should consider cha...