1888 search results - page 287 / 378 » Proof theory and computational analysis |
GROUP
2007
ACM
15 years 3 months ago
2007
ACM
We describe the design and evaluation of K-net, a social matching system to help people learn 'who knows what' in an organization by matching people with skills with tho...
CHI
2008
ACM
16 years 8 days ago
2008
ACM
We introduce MySong, a system that automatically chooses chords to accompany a vocal melody. A user with no musical experience can create a song with instrumental accompaniment ju...
CHI
2008
ACM
16 years 8 days ago
2008
ACM
Experience sampling has been employed for decades to collect assessments of subjects' intentions, needs, and affective states. In recent years, investigators have employed au...
103
click to vote
POPL
2010
ACM
15 years 6 months ago
2010
ACM
A fully automatic, compiler-driven approach to parallelisation can result in unpredictable time and space costs for compiled code. On the other hand, a fully manual approach to pa...
110
click to vote
DAC
2009
ACM
15 years 6 months ago
2009
ACM
It is known that temperature gradients and thermal hotspots affect the reliability of microprocessors. Temperature is also an important constraint when maximizing the performance...