2517 search results - page 2 / 504 » Specifying Weak Sets |
DELTA
2008
IEEE
14 years 11 months ago
2008
IEEE
This paper presents a technique that limits the maximum number of specified bits of any pattern in a given test set. The outlined method uses algorithms similar to ATPG, but explo...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
In this paper we discuss the use of the Answer Set Programming paradigm for representing and analysing specifications of agent-based institutions. We outline the features of insti...
COMPGEOM
2000
ACM
15 years 1 months ago
2000
ACM
105
click to vote
NCA
2008
IEEE
15 years 3 months ago
2008
IEEE
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
JSYML
2010
14 years 4 months ago
2010
The paper is aimed at studying the topological dimension for sets definable in weakly o-minimal structures in order to prepare background for further investigation of groups, grou...