16666 search results - page 162 / 3334 » Descriptive and Computational Complexity |
194
click to vote
LATIN
2004
Springer
16 years 10 days 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 ...
142
Voted
AAAI
1994
15 years 8 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...
183
click to vote
ISCAS
2005
IEEE
16 years 17 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...
160
Voted
DAC
1999
ACM
16 years 8 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...
223
Voted
DSVIS
2003
Springer
16 years 6 days 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...