1682 search results - page 133 / 337 » Applying Conventional Testing Techniques for Class Testing |
128
Voted
KI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Knowledge compilation is a common technique for propositional logic knowledge bases. The idea is to transform a given knowledge base into a special normal form ([MR03],[D...
145
Voted
WCRE
2006
IEEE
15 years 9 months ago
2006
IEEE
Requirements views, such as coverage and status views, are an important asset for monitoring and managing software development. We have developed a method that automates the proce...
134
click to vote
VR
1999
IEEE
15 years 8 months ago
1999
IEEE
A technique is proposed for object manipulation with a virtual tool using multiple exact interactions. Exact test is introduced that uses real-time collision detection for both ha...
111
click to vote
ICCAD
1994
IEEE
15 years 8 months ago
1994
IEEE
- This paper presents a non-scan design-for-testability technique applicable to register-transfer(RT) level data path circuits, which are usually very hard-to-test due to the prese...
160
Voted
DCC
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper contains two contributions to very-low-bitrate video coding. First, we show that in contrast to common practice incremental techniques for rate-distortion optimization ...