1237 search results - page 208 / 248 » Partitions and the Fermi-Dirac Distribution |
119
click to vote
ECOOPW
2003
Springer
15 years 5 months ago
2003
Springer
The concept of a software product line is a promising approach for increasing planned reusability in industry. For planning future requirements, the integration of domain analysis ...
EUROPAR
2003
Springer
15 years 5 months ago
2003
Springer
An implementation of a parallel ScaLAPACK-style solver for the general Sylvester equation, op(A)X −Xop(B) = C, where op(A) denotes A or its transpose AT , is presented. The paral...
101
click to vote
ICFCA
2009
Springer
15 years 4 months ago
2009
Springer
This paper presents Binary Decision Diagrams (BDDs) applied to Formal Concept Analysis (FCA). The aim is to increase the FCA capability to handle large formal contexts. The main id...
114
click to vote
AGENTS
2001
Springer
15 years 4 months ago
2001
Springer
The research community is struggling with the right approach to integrate emerging agent technology with the exploding web page-based Internet. This paper presents the approach us...
SPIN
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. Model checking real programs has recently become an active research area. Programs however exhibit two characteristics that make model checking di cult: the complexity of...