2850 search results - page 519 / 570 » On Timed Models and Full Abstraction |
LFCS
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. Balanced search trees provide guaranteed worst-case time performance and hence they form a very important class of data structures. However, the self-balancing ability co...
MLMI
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. This paper proposes an analysis technique for wide-band audio applications based on the predictability of the temporal evolution of Quadrature Mirror Filter (QMF) sub-ban...
UCS
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. This paper describes daily life activity recognition using wearable acceleration sensors attached to four different parts of the human body. The experimental data set con...
GLOBECOM
2006
IEEE
14 years 5 months ago
2006
IEEE
Abstract— Ultra wideband technology shows promise for precision ranging due to its fine time resolution to resolve multipath fading and the presence of lower frequencies in the ...
ADAEUROPE
2005
Springer
14 years 4 months ago
2005
Springer
: In previous papers we had presented an application program interface (API) that enabled applications to use application-defined scheduling algorithms for Ada tasks in a way compa...