1909 search results - page 206 / 382 » Generalized Filtering Decomposition |
ENTCS
2007
15 years 2 months ago
2007
We introduce a class of coalgebraic models and a family of modal logics that support the speci cation of spatial properties of distributed applications. The evaluation of a formul...
111
Voted
ANOR
2005
15 years 2 months ago
2005
Column generation has become a powerful tool in solving large scale integer programs. It is well known that most of the often reported compatibility issues between pricing subprobl...
118
Voted
TKDE
2008
15 years 2 months ago
2008
We present a method for explaining predictions for individual instances. The presented approach is general and can be used with all classification models that output probabilities...
116
Voted
TCAD
1998
15 years 2 months ago
1998
— Ordered Kronecker functional decision diagrams (OKFDD’s) are a data structure for efficient representation and manipulation of Boolean functions. OKFDD’s are a generalizat...
138
Voted
TCAD
2002
15 years 2 months ago
2002
The paper presents a novel strategy aimed at modelling instruction energy consumption of 32-bits microprocessors. Differently from former approaches, the proposed instruction-level...