4767 search results - page 390 / 954 » Structures for Abstract Rewriting |
186
click to vote
SOCO
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Bridging problem domain and solution in product line engineering is a time-consuming and error-prone process. Since both domains are structured differently (features vs....
170
click to vote
WG
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We present hardness results, approximation heuristics, and exact algorithms for bottleneck labeled optimization problems arising in the context of graph theory. This long...
175
click to vote
ICPP
2006
IEEE
16 years 23 days ago
2006
IEEE
— This paper presents Salsa, a novel, decentralized and asynchronous realization of the “replica exchange” algorithm for simulating the structure, function, folding, and dyna...
169
click to vote
ICRA
2006
IEEE
16 years 23 days ago
2006
IEEE
Abstract— This paper presents a framework for the dynamical formulation and control of humanoid systems. In this framework unactuated virtual joints are used to describe the huma...
184
click to vote
ACRI
2006
Springer
16 years 22 days ago
2006
Springer
Abstract. Realistic simulation of biological evolution by necessity requires simplification and reduction in the dimensionality of the corresponding dynamic system. Even when this...