4767 search results - page 680 / 954 » Structures for Abstract Rewriting |
101
Voted
TLCA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Programming languages theory is full of problems that reduce to proving the consistency of a logic, such as the normalization of typed lambda-calculi, the decidability of...
117
click to vote
CF
2009
ACM
15 years 7 months ago
2009
ACM
Hybrid architectures combining the strengths of generalpurpose processors with application-specific hardware accelerators can lead to a significant performance improvement. Our ...
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— In this paper the problem of designing a decentralized robust controller for a plant describing a dragfree satellite is addressed. From recent experiences in dragfree c...
120
Voted
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— In this paper the robust behavior in some piecewise affine systems with minimally spaced transition times is studied. Such systems are found e.g. in satellites and sat...
95
Voted
CEC
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract—While scalarization approaches to multicriteria optimization become infeasible in the case of many objectives, for few objectives the benefits of populationbased method...