283 search results - page 31 / 57 » Error Detection Using BMC in a Parallel Environment |
DSVIS
2006
Springer
13 years 11 months ago
2006
Springer
We formally specify the interpretation stage in a dual state space human-computer interaction cycle. This is done by extending / reorganising our previous cognitive architecture. I...
JSAC
2008
13 years 7 months ago
2008
In this paper, we propose a novel method for detection, synchronization and Doppler scale estimation for underwater acoustic communication using orthogonal frequency division multi...
DICTA
2009
13 years 9 months ago
2009
Abstract--Object tracking systems require accurate segmentation of the objects from the background for effective tracking. Motion segmentation or optical flow can be used to segmen...
IPPS
2008
IEEE
14 years 2 months ago
2008
IEEE
Modern desktop grid environments and shared computing platforms have popularized the use of contributory resources, such as desktop computers, as computing substrates for a variet...
ICPADS
1998
IEEE
14 years 3 days ago
1998
IEEE
This paper presents a new conceptual model, the XBWModel. Distributed computing is becoming a cost effective way to implement safety critical control systems. To support the devel...