3082 search results - page 518 / 617 » Deviation Analysis: A New Use of Model Checking |
163
click to vote
IJCV
2002
15 years 4 months ago
2002
In an effort to articulate models for the intuitive representation and manipulation of 2D and 3D forms, Blum (1967, 1973) invented the notion of a skeleton. His insight was to con...
183
click to vote
SMI
2010
IEEE
15 years 2 months ago
2010
IEEE
Panoramic projections are often defined by the geometric surfaces used to derive the projections' equations (e.g., spherical and cylindrical panoramas). The parameterization o...
119
click to vote
INFOCOM
2009
IEEE
15 years 11 months ago
2009
IEEE
—Tracking of movements such as that of people, animals, vehicles, or of phenomena such as fire, can be achieved by deploying a wireless sensor network. So far only prototype sys...
141
click to vote
DAC
2002
ACM
16 years 5 months ago
2002
ACM
In the last decade, instruction-set simulators have become an essential development tool for the design of new programmable architectures. Consequently, the simulator performance ...
143
click to vote
CODES
2006
IEEE
15 years 8 months ago
2006
IEEE
Simulating chip-multiprocessor systems (CMP) can take a long time. For single-threaded workloads, earlier work has shown the utility of phase analysis, that is identification of r...