3172 search results - page 45 / 635 » New developments of the Z-EDM algorithm |
133
Voted
IMR
1998
Springer
15 years 7 months ago
1998
Springer
In this paper we introduce and discuss a graph structure associated with longest-edge algorithms (algorithms based on the bisection of triangles by the longest-edge) which can be u...
EKAW
2004
Springer
15 years 9 months ago
2004
Springer
A new incremental knowledge acquisition approach for the effective development of efficient problem solvers for combinatorial problems based on probabilistic search algorithms is ...
82
Voted
ISCAS
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper reports the development of a low-power switchedcurrent algorithmic A/D converter based on a new algorithm, providing the bit conversion in three-cycles. The converter u...
102
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. The purpose of this paper is to provide efficient algorithms that decide membership for classes of several Boolean hierarchies for which efficiency (or even decidability)...
118
Voted
ENTCS
2008
15 years 3 months ago
2008
The broad availability of multi-core chips on standard desktop PCs provides strong motivation for the development of new algorithms for logic model checkers that can take advantag...