15792 search results - page 2724 / 3159 » Computational Abstraction Steps |
143
click to vote
CHES
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. Several types of logic gates suitable for leakage-proof computations have been put forward [1,2,3,4]. This paper describes a method, called “backend duplication” to a...
171
click to vote
CIARP
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. In this paper we introduce a general framework for hierarchical clustering that deals with both static and dynamic data sets. From this framework, different hierarchical...
140
click to vote
CIARP
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. This paper presents a new approach to the question of surface grading based on soft colour-texture descriptors and well known classifiers. These descriptors come from gl...
170
click to vote
CIE
2005
Springer
16 years 16 days ago
2005
Springer
1 and 2, and in the last Section 4 of this abstract I will outline very briefly some conclusions about recursion and complexity which I believe that they support. 1 Partial Algebr...
173
click to vote
CONCUR
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. Reactive systems are often modelled as two person antagonistic games where one player represents the system while his adversary represents the environment. Undoubtedly, t...