Sciweavers

1661 search results - page 26 / 333
» Real-time specification patterns
Sort
View
SNPD
2008
14 years 11 months ago
Towards Formal Modeling and Analysis of Networks of Embedded Medical Devices in Real-Time Maude
With the increasing number of medical devices and of accidents resulting from them being used in isolation in a hectic operating room, there is a trend towards integrating such de...
Peter Csaba Ölveczky
ICPR
2006
IEEE
15 years 11 months ago
A Moving Object Tracked by A Mobile Robot with Real-Time Obstacles Avoidance Capacity
This paper describes a robotic application that tracks a moving object by utilizing a mobile robot with multiple sensors. The robotic platform uses a visual camera to sense the mo...
Andreas Koschan, Chang Cheng, Chung-Hao Chen, Davi...
ASPDAC
2007
ACM
156views Hardware» more  ASPDAC 2007»
15 years 1 months ago
Implementation of a Real Time Programmable Encoder for Low Density Parity Check Code on a Reconfigurable Instruction Cell Archit
- This paper presents a real time programmable irregular Low Density Parity Check (LDPC) Encoder as specified in the IEEE P802.16E/D7 standard. The encoder is programmable for fram...
Zahid Khan, Tughrul Arslan
ICCV
2003
IEEE
15 years 11 months ago
A Sparse Probabilistic Learning Algorithm for Real-Time Tracking
This paper addresses the problem of applying powerful pattern recognition algorithms based on kernels to efficient visual tracking. Recently Avidan [1] has shown that object recog...
Oliver M. C. Williams, Andrew Blake, Roberto Cipol...
ICCV
1998
IEEE
15 years 11 months ago
A Real-Time Algorithm for Medical Shape Recovery
In this paper, we present a shape recovery technique in 2 0 and 3 0 with specific applications in visualizing and measuring anatomical shapes from medical images. This algorithm m...
Ravi Malladi, James A. Sethian