2645 search results - page 29 / 529 » time 2003 |
ISCAS
2003
IEEE
14 years 3 months ago
2003
IEEE
A closed form expression for the rise time of a gate driving a distributed RLC line is introduced that is within 8% of dynamic circuit simulations for a wide range of RLC loads. I...
EACL
2003
ACL Anthology
13 years 11 months ago
2003
ACL Anthology
We describe our investigations in generating textual summaries of physiological time series data to aid medical personnel in monitoring babies in neonatal intensive care units. Ou...
AC
2003
Springer
14 years 3 months ago
2003
Springer
This chapter is to provide a tutorial and pointers to results and related work on timed automata with a focus on semantical and algorithmic aspects of verification tools. We prese...
RTAS
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper addresses the scheduling problem of radar dwells in multi-function phase array radars. Well-known and new challenges make it difficult to provide predictable performan...
FORMATS
2003
Springer
14 years 3 months ago
2003
Springer
In this paper we report some progress in applying timed automata technology to large-scale problems. We focus on the problem of finding maximal stabilization time for combinationa...