Sciweavers

91
Voted
CMG
1996
14 years 10 months ago
Discovering The Relationships Between Metrics
Consider yourself faced with learning about a new system. You have lots of measurements available, but you really don't know which measurements affect the values of others. H...
Bernard Domanski
CONCUR
2009
Springer
15 years 23 days ago
Algebra for Infinite Forests with an Application to the Temporal Logic EF
We define an extension of forest algebra for -forests. We show how the standard algebraic notions (free object, syntactic algebra, morphisms, etc.) extend to the infinite case. To ...
Mikolaj Bojanczyk, Tomasz Idziaszek