5622 search results - page 737 / 1125 » Solving architectural modelling problems using knowledge |
174
click to vote
ENTCS
2007
15 years 6 months ago
2007
Symbolic model checking is PSPACE complete. Since QBF is the standard PSPACE complete problem, it is most natural to encode symbolic model checking problems as QBF formulas and th...
140
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We study a variant of the well known Maxwell model for viscoelastic fluids, namely we consider the Maxwell fluid with viscosity and relaxation time depending on the pressure. Such...
169
click to vote
ASPDAC
2000
ACM
15 years 11 months ago
2000
ACM
— We present the architecture of the ATM banyan switch composed of pattern process and high-speed digital neural cell scheduler. An input buffer type ATM switch with a window-bas...
252
click to vote
VLDB
2007
ACM
16 years 7 months ago
2007
ACM
Correctly generating a structured query (e.g., an XQuery or a SQL query) requires the user to have a full understanding of the database schema, which can be a daunting task. Alter...
206
click to vote
JAIR
2008
15 years 6 months ago
2008
Experience in the physical sciences suggests that the only realistic means of understanding complex systems is through the use of mathematical models. Typically, this has come to ...