1179 search results - page 171 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
133
click to vote
CLIMA
2004
15 years 6 months ago
2004
Abstract. Multidimensional dynamic logic programs (MDLPs) are suitable to represent knowledge dynamic in time, or more generally, information coming from various sources, partially...
136
Voted
AIPS
2003
15 years 6 months ago
2003
Scheduling algorithms for real-time systems can be characterized in various ways, one of the most important ones of which is the underlying task model. Many concepts of real-time ...
116
click to vote
EOR
2006
15 years 4 months ago
2006
This paper addresses the railway rolling stock circulation problem. Given the departure and arrival times as well as the expected numbers of passengers, we have to assign the roll...
150
click to vote
ENGL
2007
15 years 4 months ago
2007
—This paper presents methodologies to select equities based on soft-computing models which focus on applying fundamental analysis for equities screening. This paper compares the ...
135
click to vote
AUTOMATICA
2005
15 years 4 months ago
2005
This paper presents a computational approach for the frequency-domain identification of multivariable, discrete-time transfer function models based on a cost function minimization...