11129 search results - page 1840 / 2226 » Modeling Search Computing Applications |
162
click to vote
ATMOS
2010
15 years 5 months ago
2010
The track allocation problem, also known as train routing problem or train timetabling problem, is to find a conflict-free set of train routes of maximum value in a railway netw...
129
click to vote
IWPC
2010
IEEE
15 years 5 months ago
2010
IEEE
The measure dep-degree is a simple indicator for structural problems and complex dependencies on code-level. We model low-level dependencies between program operations as use-def ...
138
click to vote
SIGPRO
2010
15 years 5 months ago
2010
This article considers the application of the unscented transformation to approximate fixed-interval optimal smoothing of continuous-time non-linear stochastic systems. The propo...
175
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Disunification is an extension of unification to first-order formulae over syntactic equality atoms. Instead of considering only syntactic equality, I extend a disunifica...
204
click to vote
FOCM
2011
15 years 1 months ago
2011
We develop a new mathematical model for describing a dynamical system at limited resolution (or finite scale), and we give precise meaning to the notion of a dynamical system havi...