3909 search results - page 599 / 782 » Extreme Model Checking |
162
click to vote
SIGGRAPH
1987
ACM
15 years 10 months ago
1987
ACM
Ray tracing produces point samples of an image from a 3-D model. Constructing an antialiased digital picture from point samples is difficult without resorting to extremely high sa...
175
click to vote
BMVC
2002
15 years 8 months ago
2002
A gesture recognition system which can reliably recognize single-hand gestures in real time on a 600Mhz notebook computer is described. The system has a vocabulary of 46 gestures ...
163
click to vote
AAAI
2008
15 years 8 months ago
2008
This paper highlights the crucial role that modern machine learning techniques can play in the optimization of treatment strategies for patients with chronic disorders. In particu...
171
click to vote
DSOM
2008
Springer
15 years 8 months ago
2008
Springer
Incident Management is the process through which IT support organizations manage to restore normal service operation after a service disruption. The complexity of IT support organi...
184
click to vote
EVOW
2008
Springer
15 years 8 months ago
2008
Springer
The design of computer architectures requires the setting of multiple parameters on which the final performance depends. The number of possible combinations make an extremely huge ...