4767 search results - page 293 / 954 » Structures for Abstract Rewriting |
185
click to vote
SARA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In constraint satisfaction, local search is an incomplete method for finding a solution to a problem. Solving a general constraint satisfaction problem (CSP) is known to...
212
click to vote
VMCAI
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper we analyze the complexity of checking safety and termination properties, for a very simple, yet non-trivial, class of programs with singly-linked list data ...
179
click to vote
ICRA
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— The Deformatron robot is a homogeneous, modular robot. The Deformatron modules can play one of three roles in the physical structure of the robot: bone, tendon, and mus...
203
click to vote
IJCNN
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— The incomplete information about the Web structure causes inaccurate results of various ranking algorithms. In this paper, we propose a solution to this problem by form...
180
click to vote
ISPW
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract. In this paper, the mobility of software processes, a novel concept, is proposed. It is defined as the structural change in a software process resulting from interactions...