4767 search results - page 397 / 954 » Structures for Abstract Rewriting |
140
click to vote
SAS
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Programming language technology can contribute to the development and understanding of Systems Biology by providing formal calculi for specifying and analysing the dynami...
163
Voted
SPATIALCOGNITION
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We present first ideas on how results about qualitative spatial reasoning can be exploited in reasoning about action and change. Current work concentrates on a line segm...
178
click to vote
WIA
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Hopcroft’s algorithm for minimizing a deterministic automaton has complexity O(n log n). We show that this complexity bound is tight. More precisely, we provide a famil...
167
click to vote
CEC
2003
IEEE
16 years 1 days ago
2003
IEEE
Abstract- The Maximum Homologous Crossover attempts to preserve similar structures from parents by aligning them according to their homology. In this paper, it is successfully test...
150
click to vote
ICRA
2003
IEEE
16 years 1 days ago
2003
IEEE
Abstract— This paper introduces a smooth control algorithm for controlling fully actuated distributed manipulation systems that operate by frictional contact. The control law sca...