9871 search results - page 1648 / 1975 » On the Structure of Low Sets |
143
click to vote
VTS
1997
IEEE
15 years 11 months ago
1997
IEEE
We address the problem of rectifying an incorrect combinational circuit against a given specification. Based on the symbolic BDD techniques, we consider the rectification process,...
178
click to vote
HT
1997
ACM
15 years 11 months ago
1997
ACM
Information triage is the process of sorting through relevant materials, and organizing them to meet the needs of the task at hand. It is a practice that has become increasingly c...
195
click to vote
APSEC
1996
IEEE
15 years 11 months ago
1996
IEEE
Explosive increase in end-user computing on distributed systems requires that end-users develop application software by themselves. One solution is given as aformula of "adom...
155
click to vote
HPDC
1996
IEEE
15 years 11 months ago
1996
IEEE
In this paper we present a uni ed approach for delivering hypermedia/multimedia objects over broadband networks. Documents are stored in various multimedia servers, while the inli...
186
click to vote
EMMCVPR
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. In this paper a rigorous mathematical framework of deterministic annealing and mean-field approximation is presented for a general class of partitioning, clustering and ...