9359 search results - page 720 / 1872 » Generalization Algorithms for Second-Order Terms |
204
click to vote
ICFP
2003
ACM
16 years 7 months ago
2003
ACM
We propose a type system for locating the source of type errors in an applied lambda calculus with ML-style polymorphism. The system is based on discriminative sum types--known fr...
208
click to vote
MOBISYS
2007
ACM
16 years 7 months ago
2007
ACM
In response to the consistent increase of elder people living in their apartments, and the need for innovative non-obtrusive tools to connect elders to their caregivers, we starte...
204
click to vote
MOBIHOC
2008
ACM
16 years 7 months ago
2008
ACM
Channel allocation was extensively investigated in the framework of cellular networks, but it was rarely studied in the wireless ad-hoc networks, especially in the multi-hop ad-ho...
219
Voted
MOBIHOC
2007
ACM
16 years 7 months ago
2007
ACM
Outlier detection has many important applications in sensor networks, e.g., abnormal event detection, animal behavior change, etc. It is a difficult problem since global informati...
199
click to vote
WWW
2010
ACM
16 years 2 months ago
2010
ACM
Wikipedia provides an information quality assessment model with criteria for human peer reviewers to identify featured articles. For this classification task “Is an article fea...