634 search results - page 71 / 127 » Completion Procedures as Semidecision Procedures |
VTS
1996
IEEE
15 years 1 months ago
1996
IEEE
This paper presents an innovative method for inserting test points in the circuit-under-test to obtain complete fault coverage for a specified set of test patterns. Rather than us...
KR
1994
Springer
15 years 1 months ago
1994
Springer
This paper analyzes a language for actions and the deontic modalities over actions -- i.e., the modalities permitted, forbidden and obligatory. The work is based on: (1) an action...
RTA
1993
Springer
15 years 1 months ago
1993
Springer
We propose an extension of rewriting techniques to derive inclusion relations a ⊆ b between terms built from monotonic operators. Instead of using only a rewriting relation ⊆ â...
101
click to vote
IAT
2007
IEEE
15 years 1 months ago
2007
IEEE
The purpose of this paper is to introduce a multi-agent model for plan synthesis in which the production of a global shared plan is based on a promising unified framework based on...
3DPVT
2006
IEEE
15 years 1 months ago
2006
IEEE
We propose artificial potential fields as a support theory for a feature linking algorithm. This algorithm operates on 3D triangle meshes derived from multiple range scans of an o...