9231 search results - page 1617 / 1847 » informs 2008 |
128
click to vote
ASPDAC
2008
ACM
15 years 5 months ago
2008
ACM
—In this paper we describe a practical methodology to formally verify highly optimized, industrial multipliers. We a multiplier description language which abstracts from low-leve...
165
click to vote
C3S2E
2008
ACM
15 years 5 months ago
2008
ACM
Software systems bridge the gap between information processing needs and available computer hardware. As system requirements grow in complexity and hardware evolves, the gap does ...
180
click to vote
CHI
2008
ACM
15 years 5 months ago
2008
ACM
Little is known about the strategies end-user programmers use in debugging their programs, and even less is known about gender differences that may exist in these strategies. With...
157
click to vote
CHI
2008
ACM
15 years 5 months ago
2008
ACM
The keeping of secrets and practicing of deception are commonplace in everyday social interaction. They also serve an important role in encouraging social cohesion. However, for H...
132
click to vote
DIS
2008
Springer
15 years 5 months ago
2008
Springer
We consider learning tasks where multiple target variables need to be predicted. Two approaches have been used in this setting: (a) build a separate single-target model for each ta...