1011 search results - page 90 / 203 » The three dimensions of proofs |
184
click to vote
PVLDB
2008
15 years 5 months ago
2008
In this paper we propose a novel document retrieval model in which text queries are augmented with multi-dimensional taxonomy restrictions. These restrictions may be relaxed at a ...
178
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
— This paper describes the design and testing of a technique to enable long-range autonomous navigation using a stereo camera as the only sensor. During a learning phase, the rov...
142
click to vote
SIAMAM
2010
15 years 4 months ago
2010
Above the critical temperature for the order-disorder transition, diblock copolymer melts have been observed to exhibit localized structures that exist within the homogeneous mixtu...
161
click to vote
VTC
2010
IEEE
15 years 4 months ago
2010
IEEE
— In this paper, a 2-dimensional water-filling (2D-WF) based transmit weight that maximizes the channel capacity is theoretically derived for the downlink transmit diversity of s...
277
click to vote
PDPTA
2010
15 years 4 months ago
2010
Lattice gas cellular automata (LGCA) models provide a relatively fast means of simulating fluid flow and can give both quantitative and qualitative insights into flow patterns aro...