6020 search results - page 1140 / 1204 » A New Approach to Model Counting |
145
click to vote
HRI
2006
ACM
15 years 10 months ago
2006
ACM
Programming robots to carry out useful tasks is both a complex and non-trivial exercise. A simple and intuitive method to allow humans to train and shape robot behaviour is clearl...
141
click to vote
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
In order to generate high-quality code for modern processors, a compiler must aggressively schedule instructions, maximizing resource utilization for execution efficiency. For a ...
142
click to vote
SIGCOMM
2006
ACM
15 years 10 months ago
2006
ACM
Researchers have proposed a variety of metrics to measure important graph properties, for instance, in social, biological, and computer networks. Values for a particular graph met...
142
click to vote
SPAA
2006
ACM
15 years 10 months ago
2006
ACM
Synchronization is often necessary in parallel computing, but it can create delays whenever the receiving processor is idle, waiting for the information to arrive. This is especia...
148
click to vote
VISUALIZATION
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, we describe a methodology and implementation for interactive dataset traversal using motion-controlled transfer functions. Dataset traversal here refers to the proc...