4 search results - page 1 / 1 » SAT-based Abstraction Refinement for Real-time Systems |
ANSOFT
2002
13 years 4 months ago
2002
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
JSAC
2008
13 years 4 months ago
2008
Abstract-- We explore the performance and hardware complexity tradeoffs associated with performing iterative multipleinput multiple-output (MIMO) detection using a sphere decoder a...
ECCV
2004
Springer
14 years 6 months ago
2004
Springer
Abstract. This paper presents a method for tracking multiple skincolored objects in images acquired by a possibly moving camera. The proposed method encompasses a collection of tec...
SAC
2004
ACM
13 years 10 months ago
2004
ACM
for ideas, and then abstract away from these ideas to produce algorithmic processes that can create problem solutions in a bottom-up manner. We have previously described a top-dow...