10159 search results - page 1704 / 2032 » System Design Validation Using Formal Models |
173
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
In size preserving video tracking, the camera's focal length (zoom) is adjusted automatically to compensate for the changes in the target's image size caused by the rela...
153
click to vote
VLSID
2005
IEEE
16 years 7 months ago
2005
IEEE
In this paper, we present a simple analytical equation for capturing phase errors in 3-stage ring oscillators. The model, based on a simple but useful idealization of the ring osc...
195
click to vote
ICECCS
1999
IEEE
15 years 11 months ago
1999
IEEE
Designing a software system's architecture properly is one of the most important tasks of any software engineering project. Nevertheless there exists no common definition of ...
193
click to vote
SERP
2003
15 years 8 months ago
2003
In the face of extensive attention form both the research community and the industry, traceability there still lacks of a supporting methodology that enables traceability througho...
185
click to vote
CGF
2008
15 years 6 months ago
2008
This paper presents an online personalised non-photorealistic rendering (NPR) technique for 3D models generated from interactively sketched input. This technique has been integrat...