16666 search results - page 162 / 3334 » Descriptive and Computational Complexity |
173
click to vote
LATIN
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a probability logic (essentially a first order language extended with quantifiers that count the fraction of elements in a model that satisfy a first order ...
131
click to vote
AAAI
1994
15 years 7 months ago
1994
A description classifier organizes concepts and relations into a taxonomy based on the results of subsumption computations applied to pairs of relation definitions. Until now, des...
174
click to vote
ISCAS
2005
IEEE
16 years 1 days ago
2005
IEEE
Abstract— This paper presents an analog implementation of the complex wavelet transform using both the complex first order system (CFOS) and the Pad´e approximation. The comple...
144
click to vote
DAC
1999
ACM
16 years 7 months ago
1999
ACM
Abstract { This paper presents the machine description language LISA for the generation of bitand cycle accurate models of DSP processors. Based on a behavioral operation descripti...
209
click to vote
DSVIS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. A review of XML-compliant user interface description languages is produced that compares a significant selection of various languages addressing different goals, such a...