2410 search results - page 193 / 482 » Multiset Ordering Constraints |
181
click to vote
ATS
2005
IEEE
16 years 12 hour ago
2005
IEEE
Power reduction during test application is important from the viewpoint of chip reliability and for obtaining correct test results. One of the ways to reduce scan test power is to...
185
click to vote
ICMCS
2005
IEEE
15 years 12 months ago
2005
IEEE
Sensor networks are usually dense networks where the network diversity can be exploited in order to overcome failures. In this paper, we study the use of multiple description tech...
187
click to vote
ICRA
2005
IEEE
15 years 12 months ago
2005
IEEE
— To close the loop between motion and vision, tracked visual features must remain in the camera field of view (visibility constraint). To overcome the visibility constraint, vi...
179
click to vote
CADE
2004
Springer
15 years 11 months ago
2004
Springer
The dependency pair approach is one of the most powerful techniques for automated (innermost) termination proofs of term rewrite systems (TRSs). For any TRS, it generates inequalit...
164
click to vote
ER
2004
Springer
15 years 11 months ago
2004
Springer
Being part of domain engineering, domain analysis enables identifying domains and capturing their ontologies in order to assist and guide system developers to design domain-specifi...