4767 search results - page 293 / 954 » Structures for Abstract Rewriting |
162
click to vote
SARA
2007
Springer
16 years 22 days 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...
185
click to vote
VMCAI
2007
Springer
16 years 21 days 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 ...
158
click to vote
ICRA
2006
IEEE
16 years 19 days 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...
187
click to vote
IJCNN
2006
IEEE
16 years 19 days 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...
163
click to vote
ISPW
2006
IEEE
16 years 19 days 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...