903 search results - page 147 / 181 » Non-well-founded trees in categories |
164
click to vote
HYBRID
2010
Springer
16 years 18 days 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...
241
click to vote
SBRN
2008
IEEE
16 years 15 days 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...
149
click to vote
GLVLSI
2007
IEEE
16 years 13 days 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...
162
click to vote
IJCNN
2007
IEEE
16 years 12 days 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...
149
click to vote
CALCO
2007
Springer
16 years 9 days 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...