20126 search results - page 77 / 4026 » Timed Transition Systems |
111
click to vote
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
— Wearable, mobile computing platforms are envisioned to be used in out-patient monitoring and care. These systems continuously perform signal filtering, transformations, and cla...
119
click to vote
ECML
2007
Springer
15 years 9 months ago
2007
Springer
In this paper we study the identification of sparse interaction networks as a machine learning problem. Sparsity means that we are provided with a small data set and a high number...
145
click to vote
TCS
2002
15 years 2 months ago
2002
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...
116
click to vote
FM
2001
Springer
15 years 7 months ago
2001
Springer
We present a novel result for a logic for symbolic transition systems based on LOTOS processes. The logic is adequate with respect to bisimulation de ned on symbolic transition sys...
123
Voted
GLOBECOM
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— We study the effect of the field size on the performance of random linear network coding for time division duplexing channels proposed in [1]. In particular, we study ...