1982 search results - page 269 / 397 » Parametricity and dependent types |
106
Voted
MDM
2009
Springer
15 years 4 months ago
2009
Springer
Indoor navigation highly depends on context and requires flexible data structures to support the many use cases and configurations. For example, an indoor navigation system must c...
RECSYS
2009
ACM
15 years 4 months ago
2009
ACM
Collaborative Filtering (CF) recommendations are computed by leveraging a historical data set of users’ ratings for items. It assumes that the users’ previously recorded ratin...
SLIP
2009
ACM
15 years 4 months ago
2009
ACM
A novel high-level approach for estimating power consumption of global interconnects in data-path oriented designs implemented in FPGAs is presented. The methodology is applied to...
90
Voted
CISS
2008
IEEE
15 years 4 months ago
2008
IEEE
— We address the problem of exchanging broadcast packets among multiple wireless terminals through a single relay node. The objective is to evaluate the delay and throughput gain...
87
Voted
COMPSAC
2008
IEEE
15 years 4 months ago
2008
IEEE
Wireless sensor networks are often used by experts in many different fields to gather data pertinent to their work. Although their expertise may not include software engineering, ...