2042 search results - page 331 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
ICTAI
2007
IEEE
14 years 3 months ago
2007
IEEE
We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described ...
PE
2010
Springer
13 years 7 months ago
2010
Springer
In this paper we consider server farms with a setup cost. This model is common in manufacturing systems and data centers, where there is a cost to turn servers on. Setup costs alw...
FLAIRS
2009
13 years 6 months ago
2009
While team action recognition has a relatively extended literature, less attention has been given to the detailed realtime analysis of the internal structure of the team actions. ...
ISSS
2002
IEEE
14 years 1 months ago
2002
IEEE
The object-oriented design process has been a hot topic in software development since it will improve product quality and productivity significantly, which is also a major issue i...
JNW
2008
13 years 8 months ago
2008
In this paper we analyse the performance of a relay based UMTS system in an urban environment using multiple hops on multiple frequency bands. Measurement based path loss, fading a...