6770 search results - page 420 / 1354 » How GPUs Work |
CHI
2003
ACM
16 years 5 months ago
2003
ACM
Event-based programming has been studied little, yet recent work suggests that language paradigm can predict programming strategies and performance. A contextual inquiry of four e...
137
click to vote
CHI
2002
ACM
16 years 5 months ago
2002
ACM
This work explores how comparing web navigation histories between two people and presenting the results to them might allow them to gain insight about each other. We developed a p...
105
click to vote
CHI
2001
ACM
16 years 5 months ago
2001
ACM
Software today does not help us partition our digital worlds effectively. We must organize them ourselves. This field study of users of multiple monitors examines how people with ...
140
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
Interval-based methods are commonly used for computing numerical bounds on expressions and proving inequalities on real numbers. Yet they are hardly used in proof assistants, as th...
263
click to vote
STOC
2006
ACM
16 years 5 months ago
2006
ACM
In this work we show how to use efficient online trading algorithms to price the current value of financial instruments, such as an option. We derive both upper and lower bounds f...