903 search results - page 147 / 181 » Non-well-founded trees in categories |
117
Voted
HYBRID
2010
Springer
15 years 8 months ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
167
click to vote
SBRN
2008
IEEE
15 years 8 months ago
2008
IEEE
In automated multi-label text categorization, an automatic categorization system should output a category set, whose size is unknown a priori, for each document under analysis. Ma...
103
click to vote
GLVLSI
2007
IEEE
15 years 8 months ago
2007
IEEE
A probabilistic power estimation technique for combinational circuits is presented. A novel set of simple waveforms is the kernel of this technique. The transition density of each...
112
click to vote
IJCNN
2007
IEEE
15 years 8 months ago
2007
IEEE
— In this paper, a method based on wavelet coefficients in low-pass bands is proposed for the image classification with adaptive processing of data structures to organize a large...
107
click to vote
CALCO
2007
Springer
15 years 8 months ago
2007
Springer
We discuss the treatment of initial datatypes and final process types in the wide-spectrum language HasCASL. In particular, we present specifications that illustrate how datatype...