549 search results - page 90 / 110 » Verification condition generation for conditional informatio... |
ISVC
2009
Springer
15 years 4 months ago
2009
Springer
Lighting is a fundamental and important process in the 3D animation pipeline. Conventional lighting workflow is time-consuming and labor-intensive. A user must fiddle with a rang...
79
Voted
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
— In this paper, we describe a simulation-based approach to the verification of high dimensional nonlinear systems subject to disturbances and uncertainty in the initial conditi...
GLOBECOM
2008
IEEE
15 years 4 months ago
2008
IEEE
— A novel, practical and low-complexity multi-cell OFDMA downlink channel assignment method using a graphbased approach is proposed in this work. The inter-cell interference (ICI...
MM
2006
ACM
15 years 4 months ago
2006
ACM
Access to devices that integrate Global Positioning data with image and sound acquisition becomes more common, enabling people to build large collections of locative multimedia. A...
CEC
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract- On marginal winter nights, highway authorities face a difficult decision as to whether or not to salt the road network. The consequences of making a wrong decision are s...