10462 search results - page 134 / 2093 » Towards a |
ICFP
2006
ACM
14 years 10 months ago
2006
ACM
Generic libraries, such as the C++ Standard Template Library (STL), provide flexible, high-performance algorithms and data types, along with functional specifications and performa...
ICFP
2005
ACM
14 years 10 months ago
2005
ACM
ICFP
2005
ACM
14 years 10 months ago
2005
ACM
High-level formalisms for reasoning about names and binding such uijn indices, various flavors of higher-order abstract syntax, ry of Contexts, and nominal abstract syntax address...
PERCOM
2008
ACM
14 years 9 months ago
2008
ACM
Low cost devices such as RFIDs, sensor network nodes, and smartcards are crucial for building the next generation pervasive and ubiquitous networks. The inherent power and footpri...
PERCOM
2008
ACM
14 years 9 months ago
2008
ACM
Abstract--Analytical models to evaluate and predict "precision" performance of indoor positioning systems based on location fingerprinting are lacking. Such models can be...