3082 search results - page 425 / 617 » Deviation Analysis: A New Use of Model Checking |
156
click to vote
VLSID
2002
IEEE
16 years 6 months ago
2002
IEEE
This paper introduces a new numerical approximation technique, called the Differential Quadrature Method (DQM), in order to derive the rational ABCD matrix representing the high-s...
167
click to vote
SIGGRAPH
1995
ACM
15 years 10 months ago
1995
ACM
Image-based rendering is a powerful new approach for generating real-time photorealistic computer graphics. It can provide convincing animations without an explicit geometric repr...
195
click to vote
AAAI
2007
15 years 8 months ago
2007
In many sensing applications we must continuously gather information to provide a good estimate of the state of the environment at every point in time. A robot may tour an environ...
155
click to vote
ANLP
1994
15 years 7 months ago
1994
A new technique to locate content-representing words for a given document image using representation of character shapes is described. A character shape code representation define...
172
click to vote
WCE
2007
15 years 7 months ago
2007
— In this paper a new approach to optimize nuclear power plant designs based on global risk reduction are described. In design the focus is on as components quality as redundancy...