Sciweavers

Share
JLP
2006
99views more  JLP 2006»
9 years 8 months ago
An institution of modal logics for coalgebras
This paper presents a modular framework for the specification of certain inductivelydefined coalgebraic types. Modal logics for coalgebras of polynomial endofunctors on the catego...
Corina Cîrstea
AHS
2006
IEEE
95views Hardware» more  AHS 2006»
9 years 11 months ago
A Modular Framework for the Evolution of Circuits on Configurable Transistor Array Architectures
This paper gives an overview over the progress that has been made by the Heidelberg FPTA group within the field of analog evolvable hardware. Achievements are the design of a CMOS...
Martin Trefzer, Jörg Langeheine, Karlheinz Me...
RTA
2010
Springer
9 years 11 months ago
Modular Complexity Analysis via Relative Complexity
Abstract. In this paper we introduce a modular framework which allows to infer (feasible) upper bounds on the (derivational) complexity of term rewrite systems by combining differ...
Harald Zankl, Martin Korp
ECSQARU
2009
Springer
10 years 2 months ago
Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data
Abstract. We introduce a modular framework for formalizing reasoning with incomplete and inconsistent information. This framework is composed of non-deterministic semantic structur...
Ofer Arieli, Anna Zamansky
books