391 search results - page 59 / 79 » Evaluation of Length-Lex Set Variables |
PDP
2008
IEEE
14 years 5 months ago
2008
IEEE
Search engines use inverted files as index data structures to speed up the solution of user queries. The index is distributed on a set of processors forming a cluster of computer...
SECON
2008
IEEE
14 years 5 months ago
2008
IEEE
Abstract—We show that signal strength variability can be reduced by employing multiple low-cost antennas at fixed locations. We further explore the impact of this reduction on w...
VR
2007
IEEE
2007
IEEE
Active Text Drawing Styles for Outdoor Augmented Reality: A User-Based Study and Design Implications
14 years 5 months ago
A challenge in presenting augmenting information in outdoor augmented reality (AR) settings lies in the broad range of uncontrollable environmental conditions that may be present,...
ICRA
2006
IEEE
14 years 4 months ago
2006
IEEE
— This paper presents a generic kinematic modeling approach for articulated multi-monocycle mobile robots. The formulation proposed to deduce the input/output velocity equations ...
QEST
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...