1857 search results - page 164 / 372 » Minimum Degree Orderings |
159
click to vote
CP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This article deals with global constraints for which the set of solutions can be recognized by an extended finite automaton whose size is bounded by a polynomial in n, w...
162
click to vote
GECCO
2004
Springer
15 years 12 months ago
2004
Springer
Network design involves several areas of engineering and science. Computer networks, electrical circuits, transportation problems, and phylogenetic trees are some examples. In gene...
160
click to vote
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...
165
click to vote
ICDCSW
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we propose a novel cache consistency maintenance scheme, called Ë Ð Ð ×ÝÒ ÖÓÒÓÙ× ÓÒ× ×Ø Ò Ý Ë Ñ (SACCS), for mobile environments. It relies on ...
162
click to vote
ICRA
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper proposes a novel path planning algorithm of 3-D articulated robots with moving bases based on a generalized potential field model. The approach computes, similar to th...