1449 search results - page 231 / 290 » Time Synchronization |
ICASSP
2007
IEEE
14 years 3 months ago
2007
IEEE
Intravascular ultrasound (IVUS) is a catheter-based modality which is used to produce high-resolution, cross-sectional images of the interior of blood vessels. By capturing 2-D IV...
ERSHOV
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We address model checking problem for combination of Computation Tree Logic (CTL) and Propositional Logic of Knowledge (PLK) in finite systems with the perfect recall syn...
ERCIMDL
2007
Springer
14 years 3 months ago
2007
Springer
Modern digital music libraries contain textual, visual, and audio data describing music on various semantic levels. Exploiting the availability of different semantically interrela...
IPSN
2004
Springer
14 years 2 months ago
2004
Springer
We propose a distributed on-demand power-management protocol for collecting data in sensor networks. The protocol aims to reduce power consumption while supporting fluctuating dem...
NIME
2004
Springer
14 years 2 months ago
2004
Springer
On-the-fly programming is a style of programming in which the programmer/performer/composer augments and modifies the program while it is running, without stopping or restarting, ...