12289 search results - page 2034 / 2458 » computing 2006 |
128
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
This paper presents the core type system and type inference algorithm of OCamlDuce, a merger between OCaml and XDuce. The challenge was to combine two type checkers of very differ...
151
click to vote
ICFP
2006
ACM
16 years 6 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...
132
click to vote
PERCOM
2006
ACM
16 years 5 months ago
2006
ACM
The number of channels specified for IEEE 802.15.4 Low-Rate Wireless Personal Area Networks (LR-WPANs) is too few to operate many applications of WPANs in the same area. To overco...
198
click to vote
PERCOM
2006
ACM
16 years 5 months ago
2006
ACM
Routing in multi-hop wireless networks is typically greedy, with every connection attempting to establish a path that minimizes its number of hops. However, interference plays a m...
167
click to vote
PERCOM
2006
ACM
16 years 5 months ago
2006
ACM
The purpose of this study was to explore the convenient timing for information notification of the users in their daily life. Using the location and the time interval since a loca...