4872 search results - page 308 / 975 » CBR for Modeling Complex Systems |
155
click to vote
ACMSE
2006
ACM
16 years 19 days ago
2006
ACM
Applications involving interactive modeling of deformable objects require highly iterative, floating-point intensive numerical simulations. As the complexity of these models incr...
189
click to vote
CSMR
2009
IEEE
15 years 11 months ago
2009
IEEE
Creating accurate models of information systems is an important but challenging task. It is generally well understood that such modeling encompasses general scientific issues, bu...
199
click to vote
IEEEPACT
2009
IEEE
16 years 1 months ago
2009
IEEE
—Analytical models have been used to estimate optimal values for parameters such as tile sizes in the context of loop nests. However, important algorithms such as fast Fourier tr...
184
click to vote
ACISICIS
2007
IEEE
16 years 1 months ago
2007
IEEE
ORN Additive is a prototype tool that was developed to show how the gap between database modeling and implementation can be reduced—more specifically, to show how associations d...
173
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
We study complexity issues related to the model-checking problem for LTL with registers (a.k.a. freeze LTL) over one-counter automata. We consider several classes of one-counter au...