270 search results - page 34 / 54 » A determinant property of Catalan numbers |
APN
1999
Springer
14 years 28 days ago
1999
Springer
Abstract. Symbolic techniques based on BDDs (Binary Decision Diagrams) have emerged as an e cient strategy for the analysis of Petri nets. The existing techniques for the symbolic ...
OOPSLA
2000
Springer
14 years 6 days ago
2000
Springer
Propagation-based call graph construction algorithms have been studied intensively in the 1990s, and differ primarily in the number of sets that are used to approximate run-time v...
RT
2000
Springer
14 years 6 days ago
2000
Springer
We present the concept of hierarchical instantiation for radiosity. This new method enables an efficient, yet accurate determination of the illumination in very large scenes, wher...
ELPUB
2008
ACM
13 years 10 months ago
2008
ACM
The International Development Research Centre (IDRC) has recently launched the OAI-PMH compliant IDRC Digital Library (IDL), a DSpace institutional repository. The digital library...
LREC
2010
13 years 10 months ago
2010
In this paper, we propose GermanPolarityClues, a new publicly available lexical resource for sentiment analysis for the German language. While sentiment analysis and polarity clas...