Sciweavers

7380 search results - page 71 / 1476
» time 2008
Sort
View
ENTCS
2008
71views more  ENTCS 2008»
13 years 10 months ago
An Inverse Method for Parametric Timed Automata
Given a timed automaton with parametric timings, our objective is to describe a procedure for deriving constraints on the parametric timings in order to ensure that, for each valu...
Étienne André, Thomas Chatain, Laure...
WCET
2007
13 years 11 months ago
Timing Analysis of Body Area Network Applications
Body area network (BAN) applications have stringent timing requirements. The timing behavior of a BAN application is determined not only by the software complexity, inputs, and ar...
Liang Yun, Abhik Roychoudhury, Tulika Mitra
CSDA
2008
98views more  CSDA 2008»
13 years 10 months ago
Forecasting binary longitudinal data by a functional PC-ARIMA model
The purpose of this paper is to forecast the time evolution of a binary response variable from an associated continuous time series observed only at discrete time points that usual...
Ana M. Aguilera, Manuel Escabias, Mariano J. Valde...
VMV
2008
116views Visualization» more  VMV 2008»
13 years 11 months ago
Robust Real-Time SFM in a Combined Formulation of Tracking and Reconstruction
Recently it was observed, that a combined formulation of tracking and reconstruction increases the robustness and accuracy of both these steps in structure-from-motion problems [9...
Olaf Kähler, Joachim Denzler
TCS
2008
13 years 10 months ago
Dense open-shop schedules with release times
We study open-shop scheduling problems with job release times. The objective is to minimize the makespan. Dense schedules, easy to construct, are often used as approximate solutio...
Rongjun Chen, Wanzhen Huang, Guochun Tang