Sciweavers

2450 search results - page 124 / 490
» Time Mapping with Hypergraphs
Sort
View
IFM
2007
Springer
104views Formal Methods» more  IFM 2007»
15 years 4 months ago
Probabilistic Timed Behavior Trees
The Behavior Tree notation has been developed as a method for systematically and traceably capturing user requirements. In this paper we extend the notation with probabilistic beha...
Robert Colvin, Lars Grunske, Kirsten Winter
ICDM
2005
IEEE
147views Data Mining» more  ICDM 2005»
15 years 3 months ago
Partial Elastic Matching of Time Series
We consider the problem of elastic matching of time series. We propose an algorithm that determines a subsequence of a target time series that best matches a query series. In the ...
Longin Jan Latecki, Vasileios Megalooikonomou, Qia...
HYBRID
2005
Springer
15 years 3 months ago
Non-uniqueness in Reverse Time of Hybrid System Trajectories
Under standard Lipschitz conditions, trajectories of systems described by ordinary differential equations are well defined in both forward and reverse time. (The flow map is inv...
Ian A. Hiskens
WINET
2002
80views more  WINET 2002»
14 years 9 months ago
A Homogeneous PCS network with Markov Call Arrival Process and Phase Type Cell Residence Time
In this paper, the arrival of calls (i.e., new and handoff calls) in a personal communications services (PCS) network is modeled by a Markov arrival process (MAP) in which we allow...
Attahiru Sule Alfa, Wei Li
ECRTS
1998
IEEE
15 years 2 months ago
Facilitating worst-case execution times analysis for optimized code
In this paper we present co-transformation, a novel approach to the mapping of execution information from the source code of a program to the object code for the purpose of worst-...
Jakob Engblom, Andreas Ermedahl, Peter Altenbernd