16666 search results - page 130 / 3334 » Descriptive and Computational Complexity |
130
click to vote
JCPHY
2011
14 years 7 months ago
2011
A computational approach is introduced for the study of the rheological properties of complex fluids and soft materials. The approach allows for a consistent treatment of microstr...
118
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The standard reasoning problem, concept satisfiability, in the basic description logic ALC is PSPACE-complete, and it is EXPTIMEcomplete in the presence of unrestricted axioms. Sev...
128
click to vote
COLING
2000
15 years 5 months ago
2000
This paper introduces a description language for syntactically annotated corpora which allows for encoding both the syntactic annotation to a corpus and the queries to a syntactic...
109
click to vote
ICCAD
2004
IEEE
16 years 29 days ago
2004
IEEE
It is common wisdom that synthesizing hardware from higher-level descriptions than Verilog will incur a performance penalty. The case study here shows that this need not be the ca...
128
click to vote
DATE
1999
IEEE
15 years 8 months ago
1999
IEEE
Methods for performing component matching by expressing an arithmetic specification and a bit-level description of an implementation as word-level polynomials have been demonstrat...