2116 search results - page 334 / 424 » Resource Analysis by Sup-interpretation |
134
click to vote
ICFCA
2009
Springer
15 years 8 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...
129
Voted
LCPC
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. The DEFACTO project - a Design Environment For Adaptive Computing TechnOlogy - is a system that maps computations, expressed in high-level languages such as C, directly o...
129
Voted
WADS
2001
Springer
15 years 8 months ago
2001
Springer
Methods for ranking World Wide Web resources according to their position in the link structure of the Web are receiving considerable attention, because they provide the first e...
128
Voted
ANSS
2000
IEEE
15 years 8 months ago
2000
IEEE
The abilityto predict the performance of a simulationapplicationbefore its implementationis an important factor to the adoption of parallel simulation technology in industry. Idea...
124
Voted
ATS
2000
IEEE
15 years 8 months ago
2000
IEEE
We present a new test generation procedure for sequential circuits using newly traversed state and newly detected fault information obtained between successive iterations of vecto...