661 search results - page 50 / 133 » Combining Information using Hard Constraints |
ICIP
2010
IEEE
14 years 10 months ago
2010
IEEE
In biopsies, drainages, vertebroplasty, and other needle-based procedures, insight on the 3D position of a needle is crucial for correct navigation by the clinician. In this paper...
82
Voted
ISCAS
2002
IEEE
15 years 5 months ago
2002
IEEE
Video streaming over wireless links is a non-trivial problem due to the large and frequent changes in the quality of the underlying radio channel combined with latency constraints...
113
click to vote
EUROMICRO
1996
IEEE
15 years 4 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
SQJ
2010
14 years 7 months ago
2010
The identification of occurrences of design patterns in programs can help maintainers to understand the program design and implementation. It can also help them to make informed ch...
204
Voted
AADEBUG
2005
Springer
15 years 6 months ago
2005
Springer
Code coverage analysis, the process of finding code exercised by a particular set of test inputs, is an important component of software development and verification. Most tradit...